Inventory rows ZY
The cards of the rows of the inventory whose ids start with ZY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
The Quants ZY00280PAD
| URI | m2://inv/ZY00280PAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Quants, The Quants (definition). Also Wikidata Q7758888
History
- 2026-11-02: add by m2/dev
Divisor point ZY04ZYFWJ3
| URI | m2://inv/ZY04ZYFWJ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#UU83, Divisor point (unknown)
History
- 2026-11-02: add by m2/dev
ZY08WYXYRT ZY08WYXYRT
| URI | m2://inv/ZY08WYXYRT |
|---|---|
| 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.20270#V9AG (definition). In GV0QGZH67P/e1, definition
History
- 2026-10-27: add by m2/v0.4.2
Characterizations of classical orthogonal polynomials ZY0CE7EE6Y
| URI | m2://inv/ZY0CE7EE6Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical orthogonal polynomials#9FWT, Characterizations of classical orthogonal polynomials (statement)
History
- 2026-11-02: add by m2/dev
Method of steepest descent ZY0EDETTD4
| URI | m2://inv/ZY0EDETTD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of steepest descent, Method of steepest descent (definition). Also Wikidata Q1997812
History
- 2026-11-02: add by m2/dev
Examples ZY0K3XR75B
| URI | m2://inv/ZY0K3XR75B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein manifold#5A42, Examples (example)
History
- 2026-11-02: add by m2/dev
Single-comparison estimator ZY0MSF5GXR
| URI | m2://inv/ZY0MSF5GXR |
|---|---|
| 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#ETNI, Single-comparison estimator (statement). In 31MQPCA8SH/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Another formula for the circumference of a circle ZY0TRDDGSE
| URI | m2://inv/ZY0TRDDGSE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Madhava series#82LA, Another formula for the circumference of a circle (statement)
History
- 2026-11-02: add by m2/dev
Statistics & Probability Letters ZY10WTFWER
| URI | m2://inv/ZY10WTFWER |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#0ZOW, Statistics & Probability Letters (unknown)
History
- 2026-11-02: add by m2/dev
Batched matrix-query algorithm ZY1A2BKNBP
| URI | m2://inv/ZY1A2BKNBP |
|---|---|
| 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.12641#DATR, Batched matrix-query algorithm (definition). In X5BYGZZHPF/e1, definition E.1
History
- 2026-10-28: add by m2/v0.4.2
Choropleth map ZY1CTEHPPC
| URI | m2://inv/ZY1CTEHPPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#11SJ, Choropleth map (definition)
History
- 2026-11-02: add by m2/dev
Risk theory ZY1HF6Y5XF
| URI | m2://inv/ZY1HF6Y5XF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5TRK, Risk theory (topic)
History
- 2026-11-02: add by m2/dev
Identity Instantiation of Semantic Typing ZY1S7K0AGW
| URI | m2://inv/ZY1S7K0AGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#3Z9W, Identity Instantiation of Semantic Typing (statement). In CPYWHRTPKC/e1, lemma 6.38
History
- 2026-10-27: add by m2/v0.4.2
Implementations ZY1ZW75B29
| URI | m2://inv/ZY1ZW75B29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carry-less product#UBMC, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Temporal gauge ZY206ZXCST
| URI | m2://inv/ZY206ZXCST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauge fixing#5JHS, Temporal gauge (unknown)
History
- 2026-11-02: add by m2/dev
ZY2419PS50 ZY2419PS50
| URI | m2://inv/ZY2419PS50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.14879#UL87 (statement). In 3VZ55B2N0D/e1, lemma 6.17
History
- 2026-10-27: add by m2/v0.4.0
Keith Martin Ball ZY29AAVVCE
| URI | m2://inv/ZY29AAVVCE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CTRT, Keith Martin Ball (unknown)
History
- 2026-11-02: add by m2/dev
Pietro Paoli ZY2AWWQEAF
| URI | m2://inv/ZY2AWWQEAF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pietro Paoli, Pietro Paoli (topic). Also Wikidata Q12954830
History
- 2026-11-02: add by m2/dev
Phragmen–Brouwer theorem ZY2BQTJ7AB
| URI | m2://inv/ZY2BQTJ7AB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phragmen–Brouwer theorem, Phragmen–Brouwer theorem (statement). Also Wikidata Q7188035
History
- 2026-11-02: add by m2/dev
ZY2TR6ZVZN ZY2TR6ZVZN
| URI | m2://inv/ZY2TR6ZVZN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/swapsum.tex#ex:1QQindicator (example). In RZP28ERRZV, example, section 70.1
History
- 2026-11-01: add by m2/v0.6.13
ZY37TJCS4P ZY37TJCS4P
| URI | m2://inv/ZY37TJCS4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.15812#43HR (statement). In GAAZD3SGPN/e1, corollary
History
- 2026-10-27: add by m2/v0.3.5
ZY3A6WJNVT ZY3A6WJNVT
| URI | m2://inv/ZY3A6WJNVT |
|---|---|
| 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.02628#R4KC (statement). In G4S9C5M1A4/e1, corollary 6.5
History
- 2026-10-29: add by m2/v0.4.12
ZY3FSQNCYG ZY3FSQNCYG
| URI | m2://inv/ZY3FSQNCYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#1HNN (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZY3G6WAEPP ZY3G6WAEPP
| URI | m2://inv/ZY3G6WAEPP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-238 (exercise). In VNMV985MXX, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
Rasterschlüssel 44 ZY3PQZH4ZK
| URI | m2://inv/ZY3PQZH4ZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rasterschlüssel 44, Rasterschlüssel 44 (definition). Also Wikidata Q1815501
History
- 2026-11-02: add by m2/dev
Implementations ZY3QFBZ00Y
| URI | m2://inv/ZY3QFBZ00Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kerberized Internet Negotiation of Keys#M2QV, Implementations (definition)
History
- 2026-11-02: add by m2/dev
History of ring theory ZY3R4G97TZ
| URI | m2://inv/ZY3R4G97TZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring theory#U5H2, History of ring theory (unknown)
History
- 2026-11-02: add by m2/dev
string field theory ZY3SBZWB43
| URI | m2://inv/ZY3SBZWB43 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1051921, string field theory (unknown). Also nLab string field theory
History
- 2026-10-26: add by m2/dev
Generalizations ZY3WBYTQ3V
| URI | m2://inv/ZY3WBYTQ3V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal curvature#LHRT, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Hacker's Delight ZY3WDBN164
| URI | m2://inv/ZY3WDBN164 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#TAOK, Hacker's Delight (unknown)
History
- 2026-11-02: add by m2/dev
ZY400GZF4N ZY400GZF4N
| URI | m2://inv/ZY400GZF4N |
|---|---|
| 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.14374#0BM1 (statement). In YPTC532FEG/e1, fact 4
History
- 2026-10-28: add by m2/v0.4.2
Theory of everything ZY41KDQNF4
| URI | m2://inv/ZY41KDQNF4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#MMCI, Theory of everything (unknown)
History
- 2026-11-02: add by m2/dev
Definition ZY47AJ2KB1
| URI | m2://inv/ZY47AJ2KB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian probability space#GXDI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Remark ZY482SGBK3
| URI | m2://inv/ZY482SGBK3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius plane#YSO1, Remark (unknown)
History
- 2026-11-02: add by m2/dev
ZY48JG9HQC ZY48JG9HQC
| URI | m2://inv/ZY48JG9HQC |
|---|---|
| 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#5G6R (definition). In PEXJPV3NP8/e1, definition 2.12
History
- 2026-10-27: add by m2/v0.3.5
Sergei Tabachnikov ZY49X35RAY
| URI | m2://inv/ZY49X35RAY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3GB2, Sergei Tabachnikov (topic)
History
- 2026-11-02: add by m2/dev
ZY4AMVGZCN ZY4AMVGZCN
| URI | m2://inv/ZY4AMVGZCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#definition-1 (definition). In RZP28ERRZV, definition, section 24.1
History
- 2026-11-01: add by m2/v0.6.13
Grégoire de Saint-Vincent ZY4HG2JD4D
| URI | m2://inv/ZY4HG2JD4D |
|---|---|
| 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 Q1394819, Grégoire de Saint-Vincent (unknown). Also ProofWiki Mathematician:Grégoire_de_Saint-Vincent
History
- 2026-10-26: add by m2/dev
ZY4JJDQMVX ZY4JJDQMVX
| URI | m2://inv/ZY4JJDQMVX |
|---|---|
| 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.35467#7FRV (statement). In FK89DQ9J4S/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
ZY4R3D40K1 ZY4R3D40K1
| URI | m2://inv/ZY4R3D40K1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19463#K254 (statement). In Q4HWFFK0R9/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
ADE classification ZY4R78ETXW
| URI | m2://inv/ZY4R78ETXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#CJP8, ADE classification (definition)
History
- 2026-11-02: add by m2/dev
Properties ZY4RE5E8E2
| URI | m2://inv/ZY4RE5E8E2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski content#X2RA, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZY4Z37EF04 ZY4Z37EF04
| URI | m2://inv/ZY4Z37EF04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.38243#GBKB (statement). In R03K2N7FRF/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
ZY51ZHGA5K ZY51ZHGA5K
| URI | m2://inv/ZY51ZHGA5K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-4.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Applications ZY53YSNCDF
| URI | m2://inv/ZY53YSNCDF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum cryptography#12F6, Applications (example)
History
- 2026-11-02: add by m2/dev
Thin-film interference ZY58E36KZM
| URI | m2://inv/ZY58E36KZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thin-film interference, Thin-film interference (definition). Also Wikidata Q221764
History
- 2026-11-02: add by m2/dev
unary function ZY5AT4SVH5
| URI | m2://inv/ZY5AT4SVH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#7MAH, unary function (definition)
History
- 2026-11-02: add by m2/dev
Formal statement ZY5J81TK38
| URI | m2://inv/ZY5J81TK38 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant (mathematics)#A6W2, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Conditional KL bound from joint Laplace estimation ZY5PK2CVQR
| URI | m2://inv/ZY5PK2CVQR |
|---|---|
| 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.14615#J3A7, Conditional KL bound from joint Laplace estimation (statement). In 7D5MMP8XB5/e1, lemma 2.12
History
- 2026-10-28: add by m2/v0.4.2
Balanced split conformity measure ZY5XKE2J73
| URI | m2://inv/ZY5XKE2J73 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23350#ICNP, Balanced split conformity measure (definition)
History
- 2026-11-02: add by m2/v0.6.17
ZY653T8KVR ZY653T8KVR
| URI | m2://inv/ZY653T8KVR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21733#K37R (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples ZY67TF487E
| URI | m2://inv/ZY67TF487E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic function of a matrix#P621, Examples (example)
History
- 2026-11-02: add by m2/dev
Alternating factorial ZY6BNMTTV7
| URI | m2://inv/ZY6BNMTTV7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3890817, Alternating factorial (concept). Also MathWorld AlternatingFactorial
- wikipedia: Wikipedia Alternating factorial, Alternating factorial (definition). Also Wikidata Q3890817
History
- 2026-10-26: add by m2/dev
Turaev ZY6QQGRJC6
| URI | m2://inv/ZY6QQGRJC6 |
|---|---|
| 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 2111.07409#34CN, Turaev (definition). In KWH4QJDPWC/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.4.0
Joyal's theta category ZY6S8HPD8K
| URI | m2://inv/ZY6S8HPD8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joyal's theta category, Joyal's theta category (definition). Also Wikidata Q133865368
History
- 2026-11-02: add by m2/dev
ZY6TY1Y0NQ ZY6TY1Y0NQ
| URI | m2://inv/ZY6TY1Y0NQ |
|---|---|
| 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.27114#JS9J (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZY74DQAQDV ZY74DQAQDV
| URI | m2://inv/ZY74DQAQDV |
|---|---|
| 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.22296#7PM4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
YAK ZY7B2P29VC
| URI | m2://inv/ZY7B2P29VC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia YAK (cryptography), YAK (definition). Also Wikidata Q8045815
History
- 2026-11-02: add by m2/dev
ZY7EGXGSP2 ZY7EGXGSP2
| URI | m2://inv/ZY7EGXGSP2 |
|---|---|
| Kind | example |
| 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 2610.06045#8H4S (example). In SVKM0852RJ/e1, example 4
History
- 2026-10-29: add by m2/v0.4.10
ZY7GKYPM1X ZY7GKYPM1X
| URI | m2://inv/ZY7GKYPM1X |
|---|---|
| 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 2202.03009#YWFE (statement). In GYEQJ534W1/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
ZY7HDMYAGE ZY7HDMYAGE
| URI | m2://inv/ZY7HDMYAGE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-9 (proof). In N54F33XE07, proof, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
ZY7JBV65MR ZY7JBV65MR
| URI | m2://inv/ZY7JBV65MR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#YW2V (statement)
History
- 2026-11-02: add by m2/v0.6.18
Heike Hofmann ZY7KH5SFPB
| URI | m2://inv/ZY7KH5SFPB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#HKSU, Heike Hofmann (topic)
History
- 2026-11-02: add by m2/dev
Wilcoxon signed-rank test ZY7YJ7CM3S
| URI | m2://inv/ZY7YJ7CM3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Wilcoxon signed-rank test 38SETDT2HN |
Mentions
- wikidata: Wikidata Q1751970, Wilcoxon signed-rank test (unknown). Also MathWorld WilcoxonSignedRankTest
- wikipedia: Wikipedia Wilcoxon signed-rank test, Wilcoxon signed-rank test (definition). Also Wikidata Q1751970
History
- 2026-10-26: add by m2/dev
Berezinskii–Kosterlitz–Thouless transition ZY85253SWD
| URI | m2://inv/ZY85253SWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berezinskii–Kosterlitz–Thouless transition, Berezinskii–Kosterlitz–Thouless transition (definition). Also Wikidata Q898780
History
- 2026-11-02: add by m2/dev
International Mathematical Olympiad ZY85K86FRK
| URI | m2://inv/ZY85K86FRK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Mathematical Olympiad, International Mathematical Olympiad (definition). Also Wikidata Q7983
History
- 2026-11-02: add by m2/dev
ZY85R1VPYJ ZY85R1VPYJ
| URI | m2://inv/ZY85R1VPYJ |
|---|---|
| Kind | example |
| 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 2404.18690#Y50C (example). In MDCJJJRQ2X/e1, example 4.1
History
- 2026-10-27: add by m2/v0.3.5
ZY8CHGEMNS ZY8CHGEMNS
| URI | m2://inv/ZY8CHGEMNS |
|---|---|
| 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 2609.19945#FFFT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties ZY8GDFNTBZ
| URI | m2://inv/ZY8GDFNTBZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vickrey auction#5BVL, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZY8H3PJZBC ZY8H3PJZBC
| URI | m2://inv/ZY8H3PJZBC |
|---|---|
| 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.06340#Q9T6 (statement). In PKNZPECH82/e1, lemma 10.4
History
- 2026-10-29: add by m2/v0.4.10
ZY8H7RRG3N ZY8H7RRG3N
| URI | m2://inv/ZY8H7RRG3N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/provability-propositional.tex#prop:provability-lor (statement). In PKGMM3P5QY, prop, section 17.8
History
- 2026-11-01: add by m2/v0.6.13
ZY8JKGFTJD ZY8JKGFTJD
| URI | m2://inv/ZY8JKGFTJD |
|---|---|
| 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 2212.01916#IL9E (example). In XTGB5Z08YH/e1, example 3.3
History
- 2026-10-27: add by m2/v0.4.0
ZY8KZBKDMS ZY8KZBKDMS
| URI | m2://inv/ZY8KZBKDMS |
|---|---|
| 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.36113#MUNZ (statement). In FSGSVD0XYH/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
ZY8P2KVRCZ ZY8P2KVRCZ
| URI | m2://inv/ZY8P2KVRCZ |
|---|---|
| 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.21005#GH45 (example). In E63NRC7MBE/e1, example 2.9
History
- 2026-10-27: add by m2/v0.4.2
ZY8PW9060N ZY8PW9060N
| URI | m2://inv/ZY8PW9060N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#lem:pre_sheaf_stalk (statement). In RZP28ERRZV, lemma, section 25.6
History
- 2026-11-01: add by m2/v0.6.13
ZY8QN28CR2 ZY8QN28CR2
| URI | m2://inv/ZY8QN28CR2 |
|---|---|
| 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#KTXD (statement). In H3FDP8S1Z7/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
John Edwin Luecke ZY8SNG8Q4G
| URI | m2://inv/ZY8SNG8Q4G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Edwin Luecke, John Edwin Luecke (topic). Also Wikidata Q6231442
History
- 2026-11-02: add by m2/dev
ZY92HXBYPE ZY92HXBYPE
| URI | m2://inv/ZY92HXBYPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.14879#KR2A (statement). In 3VZ55B2N0D/e1, lemma 5.18
History
- 2026-10-27: add by m2/v0.4.0
Abel's theorem ZY9317EFGS
| URI | m2://inv/ZY9317EFGS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#64GO, Abel's theorem (statement)
History
- 2026-11-02: add by m2/dev
ZY95BG8FG6 ZY95BG8FG6
| URI | m2://inv/ZY95BG8FG6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-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 2609.39254#9B6B (definition). In A59MZ9H284/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
ZY96EAAC6S ZY96EAAC6S
| URI | m2://inv/ZY96EAAC6S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-27 (exercise). In E9HS8K3A52, exercise, section 6.9.1
History
- 2026-11-01: add by m2/v0.6.13
Oren Patashnik ZY96XMGCGE
| URI | m2://inv/ZY96XMGCGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oren Patashnik, Oren Patashnik (topic). Also Wikidata Q93068
History
- 2026-11-02: add by m2/dev
Packing blocks ZY97CCHTWG
| URI | m2://inv/ZY97CCHTWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.01109#7OUG, Packing blocks (statement). In V35F0T5RQ2/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
ZY98TFE1EC ZY98TFE1EC
| URI | m2://inv/ZY98TFE1EC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#prob:cantor_intersect (exercise). In RZP28ERRZV, problem, section 95.6
History
- 2026-11-01: add by m2/v0.6.13
J. H. Conway ZY9BW4FD7G
| URI | m2://inv/ZY9BW4FD7G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#TR40, J. H. Conway (topic)
History
- 2026-11-02: add by m2/dev
medial deltoidal hexecontahedron ZY9JAM7QSZ
| URI | m2://inv/ZY9JAM7QSZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6806036, medial deltoidal hexecontahedron (unknown). Also MathWorld MedialDeltoidalHexecontahedron
- wikipedia: Wikipedia Medial deltoidal hexecontahedron, Medial deltoidal hexecontahedron (object). Also Wikidata Q6806036
History
- 2026-10-26: add by m2/dev
ZY9QWC3Z80 ZY9QWC3Z80
| URI | m2://inv/ZY9QWC3Z80 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szilassi polyhedron#NDVZ (problem)
History
- 2026-11-02: add by m2/dev
ZY9T0GM53K ZY9T0GM53K
| URI | m2://inv/ZY9T0GM53K |
|---|---|
| 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.00789#84BZ (definition). In 4WPYBTARS2/e1, definition 2.30
History
- 2026-10-29: add by m2/v0.4.12
ZY9Z2CT1CM ZY9Z2CT1CM
| URI | m2://inv/ZY9Z2CT1CM |
|---|---|
| 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 0910.5574#C2I8 (statement). In 2TJRBRKYAY/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
ZYA33AG50P ZYA33AG50P
| URI | m2://inv/ZYA33AG50P |
|---|---|
| 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.12295#810F (statement). In 6DZPR52HRP/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Michael's continuous selection ZYA33N0PC3
| URI | m2://inv/ZYA33N0PC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04179#53GO, Michael's continuous selection (statement). In D64RQ09KBP/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.12
Isaak Bacharach ZYA9F2H3KS
| URI | m2://inv/ZYA9F2H3KS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#SEI2, Isaak Bacharach (topic)
History
- 2026-11-02: add by m2/dev
Real modules ZYABRJVM86
| URI | m2://inv/ZYABRJVM86 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-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.15869#UEJM, Real modules (example). In 5VRP29WZEK/e1, example 4.5
History
- 2026-10-28: add by m2/v0.4.2
ZYAF8CDY8W ZYAF8CDY8W
| URI | m2://inv/ZYAF8CDY8W |
|---|---|
| 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#I2QX (statement). In GG2ZZV6KEQ/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
ZYATFS6ETF ZYATFS6ETF
| URI | m2://inv/ZYATFS6ETF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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 2610.18302#BR1T (example). In VJTRH1S4JA/e1, example 2.6
History
- 2026-10-28: add by m2/v0.4.2
ZYB428SC7G ZYB428SC7G
| URI | m2://inv/ZYB428SC7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/milestone.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 70.5
History
- 2026-11-01: add by m2/v0.6.13
Duhem–Margules equation ZYB56W2C56
| URI | m2://inv/ZYB56W2C56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duhem–Margules equation, Duhem–Margules equation (definition). Also Wikidata Q373151
History
- 2026-11-02: add by m2/dev
ZYB77ZXB91 ZYB77ZXB91
| URI | m2://inv/ZYB77ZXB91 |
|---|---|
| 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.13295#VQ8J (statement). In 8Q7QXTWD0S/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
ZYBDE09B23 ZYBDE09B23
| URI | m2://inv/ZYBDE09B23 |
|---|---|
| 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.00786#ZZAK (statement). In XKEE0DK6N3/e1, proposition 5.5
History
- 2026-10-29: add by m2/v0.4.12
Modular elliptic curve ZYBEGTG6HT
| URI | m2://inv/ZYBEGTG6HT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular elliptic curve, Modular elliptic curve (definition). Also Wikidata Q2728886
History
- 2026-11-02: add by m2/dev
ZYBFMSAZ7V ZYBFMSAZ7V
| URI | m2://inv/ZYBFMSAZ7V |
|---|---|
| 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.12131#EYQ7 (statement). In NYT07WF46A/e1, theorem 3.10
History
- 2026-10-28: add by m2/v0.4.2
Surrogate model ZYBRTA0SE1
| URI | m2://inv/ZYBRTA0SE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surrogate model, Surrogate model (definition). Also Wikidata Q7646884
History
- 2026-11-02: add by m2/dev
ZYBT4MFR5Q ZYBT4MFR5Q
| URI | m2://inv/ZYBT4MFR5Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#00NG (statement). In TB1294GY5X/e1, theorem C.2
History
- 2026-10-27: add by m2/v0.4.2
ZYBTAS5KWG ZYBTAS5KWG
| URI | m2://inv/ZYBTAS5KWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19171#KE3K (statement). In SJWP1EE3T8/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Method ZYBXQHJ36W
| URI | m2://inv/ZYBXQHJ36W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Repeated median regression#TJFP, Method (definition)
History
- 2026-11-02: add by m2/dev
ZYBZY5JSVQ ZYBZY5JSVQ
| URI | m2://inv/ZYBZY5JSVQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38051#GZZ6 (example). In 81CGKD8RTP/e1, example 7
History
- 2026-10-30: add by m2/v0.4.12
Subcontrary mean ZYC13CFD9V
| URI | m2://inv/ZYC13CFD9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A3V3, Subcontrary mean (definition)
History
- 2026-11-02: add by m2/dev
Bernardo Cockburn ZYC1443HTJ
| URI | m2://inv/ZYC1443HTJ |
|---|---|
| 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#POMP, Bernardo Cockburn (unknown)
History
- 2026-11-02: add by m2/dev
Law of cosines for the tetrahedron ZYCA8QZ3C0
| URI | m2://inv/ZYCA8QZ3C0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometry of a tetrahedron#W2WB, Law of cosines for the tetrahedron (statement)
History
- 2026-11-02: add by m2/dev
Counterexamples in Topology ZYCBJM5J9S
| URI | m2://inv/ZYCBJM5J9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#T8ZG, Counterexamples in Topology (definition)
History
- 2026-11-02: add by m2/dev
Ione Roseveare ZYCC3CF1CP
| URI | m2://inv/ZYCC3CF1CP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ione Roseveare, Ione Roseveare (topic). Also Wikidata Q41793740
History
- 2026-11-02: add by m2/dev
ZYCKKWG1WT ZYCKKWG1WT
| URI | m2://inv/ZYCKKWG1WT |
|---|---|
| Kind | statement |
| 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 2601.15403#H9ZX (statement). In BSWNH3NW1M/e1, corollary 4.13
History
- 2026-10-27: add by m2/v0.4.0
Cantic octagonal tiling ZYCX7A5RYQ
| URI | m2://inv/ZYCX7A5RYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantic octagonal tiling, Cantic octagonal tiling (definition). Also Wikidata Q16851687
History
- 2026-11-02: add by m2/dev
Defeasible reasoning ZYD5T965FQ
| URI | m2://inv/ZYD5T965FQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Defeasible reasoning, Defeasible reasoning (definition). Also Wikidata Q840067
History
- 2026-11-02: add by m2/dev
Truncated 5-cell ZYD6PQPHKT
| URI | m2://inv/ZYD6PQPHKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated 5-cell, Truncated 5-cell (definition). Also Wikidata Q3890342
History
- 2026-11-02: add by m2/dev
ZYD7GF6ZRP ZYD7GF6ZRP
| URI | m2://inv/ZYD7GF6ZRP |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX, 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 2609.31523#DHJH (problem). In 2BET1RE1F6/e1, problem 1.4
History
- 2026-10-31: add by m2/v0.5.6
ZYDJZ908NW ZYDJZ908NW
| URI | m2://inv/ZYDJZ908NW |
|---|---|
| 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 2512.19872#FRWG (statement). In DG9TF5X0EG/e1, proposition 6
History
- 2026-10-27: add by m2/v0.4.0
Ramsey number ZYDQ90S37W
| URI | m2://inv/ZYDQ90S37W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Ramsey number 01DSVCRF6X |
Mentions
- wikidata: Wikidata Q16424100, Ramsey number (unknown). Also EoM Ramsey_number, MathWorld RamseyNumber
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Extensions ZYE32533P5
| URI | m2://inv/ZYE32533P5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product-form solution#4TAL, Extensions (statement)
History
- 2026-11-02: add by m2/dev
sidereal day ZYE3RTCB5C
| URI | m2://inv/ZYE3RTCB5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1778552, sidereal day (definition). Also ProofWiki Definition:Sidereal_Day
History
- 2026-10-26: add by m2/dev
Eberhard Zeidler ZYE4YA719V
| URI | m2://inv/ZYE4YA719V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eberhard Zeidler (mathematician), Eberhard Zeidler (topic). Also Wikidata Q1279530
History
- 2026-11-02: add by m2/dev
ZYE7PDA2SX ZYE7PDA2SX
| URI | m2://inv/ZYE7PDA2SX |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#ASZ3 (statement). In 4SZNPS3Z00/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.6
curie ZYE9MS58K3
| URI | m2://inv/ZYE9MS58K3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q229354, curie (definition). Also ProofWiki Definition:Curie_(Unit)
History
- 2026-10-26: add by m2/dev
ZYECTNFM9D ZYECTNFM9D
| URI | m2://inv/ZYECTNFM9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13699#J39Y (statement). In ZSMAQ666K7/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Eight queens puzzle ZYEKZNYTM0
| URI | m2://inv/ZYEKZNYTM0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q623317, Eight queens puzzle (statement). Also MathWorld QueensProblem, ProofWiki 8_Mutually_Non-Attacking_Queens_on_Chessboard
- wikipedia: Wikipedia Eight queens puzzle, Eight queens puzzle (problem). Also Wikidata Q623317
History
- 2026-10-26: add by m2/dev
Diophantine geometry ZYEQK0BBBJ
| URI | m2://inv/ZYEQK0BBBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11Dxx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16526038, Diophantine geometry (topic). Also EoM Diophantine_geometry
- wikipedia: Wikipedia Diophantine geometry, Diophantine geometry (definition). Also Wikidata Q16526038
History
- 2026-10-26: add by m2/dev
YΔ- and ΔY-transformation ZYERDDC99N
| URI | m2://inv/ZYERDDC99N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia YΔ- and ΔY-transformation, YΔ- and ΔY-transformation (definition). Also Wikidata Q123311675
History
- 2026-11-02: add by m2/dev
Statistics Indonesia ZYETPCFAEG
| URI | m2://inv/ZYETPCFAEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics Indonesia, Statistics Indonesia (definition). Also Wikidata Q3449895
History
- 2026-11-02: add by m2/dev
Patrice Ossona de Mendez ZYF108YN0A
| URI | m2://inv/ZYF108YN0A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patrice Ossona de Mendez, Patrice Ossona de Mendez (topic). Also Wikidata Q21055200
History
- 2026-11-02: add by m2/dev
derivation of tempered distributions ZYF3F857VM
| URI | m2://inv/ZYF3F857VM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Tempered distributions > derivation of tempered distributions, derivation of tempered distributions (unknown). Also Mathlib TemperedDistribution.instLineDeriv
History
- 2026-10-26: add by m2/dev
ZYF3SF1GQZ ZYF3SF1GQZ
| URI | m2://inv/ZYF3SF1GQZ |
|---|---|
| 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#U57H (statement). In BDN507RN7J/e1, proposition 3.8.9
History
- 2026-10-30: add by m2/v0.4.12
kernel ZYFD89VTP1
| URI | m2://inv/ZYFD89VTP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#E21Z, kernel (definition)
History
- 2026-11-02: add by m2/dev
Arason invariant ZYGEF8CMMS
| URI | m2://inv/ZYGEF8CMMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arason invariant, Arason invariant (definition). Also Wikidata Q17004227
History
- 2026-11-02: add by m2/dev
Second moment ZYGKAMNX0Z
| URI | m2://inv/ZYGKAMNX0Z |
|---|---|
| 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#55RN, Second moment (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZYGPZ632TA ZYGPZ632TA
| URI | m2://inv/ZYGPZ632TA |
|---|---|
| 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 2609.28501#4XOH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Example ZYGQJ1ERBV
| URI | m2://inv/ZYGQJ1ERBV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor (algebraic geometry)#2QB4, Example (example)
History
- 2026-11-02: add by m2/dev
Coefficient twist ZYGR3Z2KSV
| URI | m2://inv/ZYGR3Z2KSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#S38K, Coefficient twist (statement). In 328KGRNN0W/e1, lemma 5.9
History
- 2026-10-30: add by m2/v0.4.12
ZYGVF31ZY8 ZYGVF31ZY8
| URI | m2://inv/ZYGVF31ZY8 |
|---|---|
| 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.21529#VIND (problem)
History
- 2026-11-02: add by m2/v0.6.18
Paul Dourish ZYGXK5WHAV
| URI | m2://inv/ZYGXK5WHAV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VOAY, Paul Dourish (unknown)
History
- 2026-11-02: add by m2/dev
Covariant derivative ZYGZMYWZKX
| URI | m2://inv/ZYGZMYWZKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#R79R, Covariant derivative (definition)
History
- 2026-11-02: add by m2/dev
ZYH5ETRA6Y ZYH5ETRA6Y
| URI | m2://inv/ZYH5ETRA6Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#NNRY (definition). In M4JGP708F4/e1, definition 4.6
History
- 2026-10-29: add by m2/v0.4.12
ZYH7YQ1YH2 ZYH7YQ1YH2
| URI | m2://inv/ZYH7YQ1YH2 |
|---|---|
| Kind | conjecture |
| 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.18744#H3HH (conjecture). In AE07JDH5D3/e1, conjecture 1.2
History
- 2026-10-28: add by m2/v0.4.2
Examples ZYH8SMEBH7
| URI | m2://inv/ZYH8SMEBH7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crossed product#DR4J, Examples (example)
History
- 2026-11-02: add by m2/dev
ZYHG3NSSPW ZYHG3NSSPW
| URI | m2://inv/ZYHG3NSSPW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33651#KP7V (example). In 69DBD2HKGK/e1, example 7.8
History
- 2026-10-30: add by m2/v0.4.12
Applications ZYHGT5KH3R
| URI | m2://inv/ZYHGT5KH3R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck inequality#21V7, Applications (example)
History
- 2026-11-02: add by m2/dev
ZYHH6YY420 ZYHH6YY420
| URI | m2://inv/ZYHH6YY420 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#4ZN8 (statement). In XJ59TDP4HA/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Finite fields ZYHQ1VTMBD
| URI | m2://inv/ZYHQ1VTMBD |
|---|---|
| Kind | example |
| 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.18154#AB3I, Finite fields (example). In 4W7ARR1DAR/e1, example A.2
History
- 2026-10-28: add by m2/v0.4.2
Solomon's knot ZYJ1DSBQB7
| URI | m2://inv/ZYJ1DSBQB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solomon's knot, Solomon's knot (definition). Also Wikidata Q13392508
History
- 2026-11-02: add by m2/dev
ZYJ7N16X2Y ZYJ7N16X2Y
| URI | m2://inv/ZYJ7N16X2Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#thm-3 (statement). In E59CDZA4DP, thm, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Günter Hotz ZYJHEBWKXZ
| URI | m2://inv/ZYJHEBWKXZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#HE1C, Günter Hotz (unknown)
History
- 2026-11-02: add by m2/dev
|D| ZYJKWK3WJR
| URI | m2://inv/ZYJKWK3WJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#LR8Q, |D| (definition)
History
- 2026-11-02: add by m2/dev
ZYJPYTZR98 ZYJPYTZR98
| URI | m2://inv/ZYJPYTZR98 |
|---|---|
| Kind | problem |
| 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.26745#MVG7 (problem)
History
- 2026-11-01: add by m2/v0.6.15
ZYK20RTF2T ZYK20RTF2T
| URI | m2://inv/ZYK20RTF2T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28075#8GV0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Degree bound along a tree-like edge ZYK8MYMHVW
| URI | m2://inv/ZYK8MYMHVW |
|---|---|
| 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.21454#RVGN, Degree bound along a tree-like edge (statement). In ZP2RJFZ3V2/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.4.2
ZYKBWTZC59 ZYKBWTZC59
| URI | m2://inv/ZYKBWTZC59 |
|---|---|
| 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#8AE6 (statement). In XXQAW3ZBDF/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
Scheinerman's conjecture ZYKPBXXJ22
| URI | m2://inv/ZYKPBXXJ22 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scheinerman's conjecture, Scheinerman's conjecture (statement). Also Wikidata Q7431096
History
- 2026-11-02: add by m2/dev
ZYKRHRR91D ZYKRHRR91D
| URI | m2://inv/ZYKRHRR91D |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-18 (proof). In E59CDZA4DP, proof, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
ZYM4KSQ93R ZYM4KSQ93R
| URI | m2://inv/ZYM4KSQ93R |
|---|---|
| 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 2610.05142#W0KN (definition). In 8A0HVCGRR8/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.10
ZYM7TPZM2H ZYM7TPZM2H
| URI | m2://inv/ZYM7TPZM2H |
|---|---|
| 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#S6QL (statement). In 22JZ68FGCW/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
Randomized algorithm ZYM9XT18AY
| URI | m2://inv/ZYM9XT18AY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomized algorithm, Randomized algorithm (definition). Also Wikidata Q583461
History
- 2026-11-02: add by m2/dev
ZYMBRQVF4S ZYMBRQVF4S
| URI | m2://inv/ZYMBRQVF4S |
|---|---|
| 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.04675#TA4N (statement). In RDXNFF2CZP/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Jing Ning ZYMCWEMMJ5
| URI | m2://inv/ZYMCWEMMJ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#EDUS, Jing Ning (topic)
History
- 2026-11-02: add by m2/dev
Barbara Wohlmuth ZYMJS9JD2P
| URI | m2://inv/ZYMJS9JD2P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barbara Wohlmuth, Barbara Wohlmuth (topic). Also Wikidata Q9648304
History
- 2026-11-02: add by m2/dev
Laws of gravitation and relativity ZYMRHJ2X44
| URI | m2://inv/ZYMRHJ2X44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific law#KCHX, Laws of gravitation and relativity (statement)
History
- 2026-11-02: add by m2/dev
Theorem ZYMRQ2BFRV
| URI | m2://inv/ZYMRQ2BFRV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block design#XNJF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
ZYMVZ2X2BB ZYMVZ2X2BB
| URI | m2://inv/ZYMVZ2X2BB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-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 2401.14143#TYD9 (definition). In 7WV4JVGEN1/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.0
Atle Selberg ZYMYZVQAH6
| URI | m2://inv/ZYMYZVQAH6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#WNI5, Atle Selberg (topic)
History
- 2026-11-02: add by m2/dev
Seifert–Weber space ZYN5W862CC
| URI | m2://inv/ZYN5W862CC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#G555, Seifert–Weber space (definition)
History
- 2026-11-02: add by m2/dev
ZYN83Z993A ZYN83Z993A
| URI | m2://inv/ZYN83Z993A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#5955 (definition). In 7ZBQ8WGQVB/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
ZYNC39VFPA ZYNC39VFPA
| URI | m2://inv/ZYNC39VFPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#V7JY (statement). In XBHQRTBH62/e1, lemma 1.10
History
- 2026-10-31: add by m2/v0.5.6
ZYNDQX1MJ4 ZYNDQX1MJ4
| URI | m2://inv/ZYNDQX1MJ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/formation-sequences.tex#ex-1 (example). In PKGMM3P5QY, ex, section 62.3
History
- 2026-11-01: add by m2/v0.6.13
Hemitesseract ZYNG9FKVNT
| URI | m2://inv/ZYNG9FKVNT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemitesseract, Hemitesseract (object). Also Wikidata Q128765580
History
- 2026-11-02: add by m2/dev
ZYNNKJ8494 ZYNNKJ8494
| URI | m2://inv/ZYNNKJ8494 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-14 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
ZYNP4HZ53Z ZYNP4HZ53Z
| URI | m2://inv/ZYNP4HZ53Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#3MM4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
determinant of vectors ZYP1G2013B
| URI | m2://inv/ZYP1G2013B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Multilinearity > determinant of vectors, determinant of vectors (unknown). Also Mathlib Module.Basis.det
History
- 2026-10-26: add by m2/dev
Engelbert Schücking ZYPBKA3VKJ
| URI | m2://inv/ZYPBKA3VKJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#EP8G, Engelbert Schücking (unknown)
History
- 2026-11-02: add by m2/dev
Formulas on the moduli space ZYPDE9EDD1
| URI | m2://inv/ZYPDE9EDD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagram map#3T38, Formulas on the moduli space (statement)
History
- 2026-11-02: add by m2/dev
ZYPJEZWXBX ZYPJEZWXBX
| URI | m2://inv/ZYPJEZWXBX |
|---|---|
| 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.23994#F3KZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Stanisław Mazur ZYPKK9VSMT
| URI | m2://inv/ZYPKK9VSMT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanisław Mazur, Stanisław Mazur (topic). Also Wikidata Q637176
History
- 2026-11-02: add by m2/dev
ZYPPSEKABR ZYPPSEKABR
| URI | m2://inv/ZYPPSEKABR |
|---|---|
| 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.20568#8X0Z (statement). In BCD0ATARNZ/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
immediate inference ZYPTS7XAV6
| URI | m2://inv/ZYPTS7XAV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#FGDG, immediate inference (definition)
History
- 2026-11-02: add by m2/dev
possibly infinite tensor product ZYQ04MDACW
| URI | m2://inv/ZYQ04MDACW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141726204, possibly infinite tensor product (unknown). Also nLab infinitary tensor product
History
- 2026-10-26: add by m2/dev
A numerical latitude: $r=\pi/4$ in the standard $S^6$ ZYQ0KV3EKQ
| URI | m2://inv/ZYQ0KV3EKQ |
|---|---|
| Kind | example |
| 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.00078#ETGD, A numerical latitude: $r=\pi/4$ in the standard $S^6$ (example). In KXYGWSGP9M/e1, example 5.1
History
- 2026-10-30: add by m2/v0.4.12
ZYQ0PAVGNB ZYQ0PAVGNB
| URI | m2://inv/ZYQ0PAVGNB |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#IDDE (problem). In 29D4TTE3J2/e1, problem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Seven Sisters ZYQ2CAWAXJ
| URI | m2://inv/ZYQ2CAWAXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#RLKJ, Seven Sisters (unknown)
History
- 2026-11-02: add by m2/dev
dihedral symmetry ZYQ6M8ZKYE
| URI | m2://inv/ZYQ6M8ZKYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform polyhedra#JN1G, dihedral symmetry (definition)
History
- 2026-11-02: add by m2/dev
ZYQCZVHY37 ZYQCZVHY37
| URI | m2://inv/ZYQCZVHY37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10559#CR3R (statement). In WEP0PNJW09/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
ZYQQA94J9M ZYQQA94J9M
| URI | m2://inv/ZYQQA94J9M |
|---|---|
| Kind | definition |
| 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.35323#AOCV (definition). In 5CKPXBWSCX/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
ZYQQYHV16B ZYQQYHV16B
| URI | m2://inv/ZYQQYHV16B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-49 (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
Statement ZYQTEN3S50
| URI | m2://inv/ZYQTEN3S50 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agnew's theorem#ITPO, Statement (statement)
History
- 2026-11-02: add by m2/dev
Totally real field ZYR0XQH1C4
| URI | m2://inv/ZYR0XQH1C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#6T46, Totally real field (definition)
History
- 2026-11-02: add by m2/dev
ZYR37WYRDP ZYR37WYRDP
| URI | m2://inv/ZYR37WYRDP |
|---|---|
| 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.09300#HS2N (statement). In JP589KS01S/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
pneumatics ZYR88J71EX
| URI | m2://inv/ZYR88J71EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q211500, pneumatics (definition). Also ProofWiki Definition:Pneumatics
History
- 2026-10-26: add by m2/dev
ZYRCHJ0ATJ ZYRCHJ0ATJ
| URI | m2://inv/ZYRCHJ0ATJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-16 (example). In E9HS8K3A52, example, section 10.9.1
History
- 2026-11-01: add by m2/v0.6.13
Applications ZYRDSASTFX
| URI | m2://inv/ZYRDSASTFX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Bruijn torus#XH2Z, Applications (example)
History
- 2026-11-02: add by m2/dev
ZYRJWXM33R ZYRJWXM33R
| URI | m2://inv/ZYRJWXM33R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/affine-projective.tex#exercise-4 (exercise). In RZP28ERRZV, exercise, section 82.2
History
- 2026-11-01: add by m2/v0.6.13
Submental triangle ZYRNHKHEKF
| URI | m2://inv/ZYRNHKHEKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#BKB0, Submental triangle (unknown)
History
- 2026-11-02: add by m2/dev
Entropic sector bound ZYRQYKNZPM
| URI | m2://inv/ZYRQYKNZPM |
|---|---|
| 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.04271#25TJ, Entropic sector bound (statement). In WBXAW9G4JB/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.12
Definition and properties ZYRV1ANXCB
| URI | m2://inv/ZYRV1ANXCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein–Sato polynomial#1E24, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Applications ZYS0NP3BRD
| URI | m2://inv/ZYS0NP3BRD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum network#A52N, Applications (example)
History
- 2026-11-02: add by m2/dev
orthonormal basis ZYS2PWM983
| URI | m2://inv/ZYS2PWM983 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Orthonormal basis 0FWJ0VW561 |
Mentions
- wikidata: Wikidata Q2365325, orthonormal basis (unknown). Also MathWorld OrthonormalBasis
- wikipedia: Wikipedia Orthonormal basis, Orthonormal basis (definition). Also Wikidata Q2365325
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
ZYSBH9CV5W ZYSBH9CV5W
| URI | m2://inv/ZYSBH9CV5W |
|---|---|
| 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.13914#RI64 (statement). In M974J0V5EZ/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
ZYSGG3Y4X0 ZYSGG3Y4X0
| URI | m2://inv/ZYSGG3Y4X0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#KL97 (statement). In CY1FE8W1ZW/e1, lemma 0.161
History
- 2026-10-27: add by m2/v0.4.0
Attainment of the path bound ZYSS5NCJ1C
| URI | m2://inv/ZYSS5NCJ1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38041#Q4J3, Attainment of the path bound (statement). In 54NQGN1BWM/e1, proposition 6.7
History
- 2026-10-30: add by m2/v0.4.12
Examples ZYSXHCYFYV
| URI | m2://inv/ZYSXHCYFYV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbifold#KQG0, Examples (example)
History
- 2026-11-02: add by m2/dev
ZYT1A265WD ZYT1A265WD
| URI | m2://inv/ZYT1A265WD |
|---|---|
| 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 2205.09049#LU5Y (definition). In 37S7MNMZ2F/e1, definition 17
History
- 2026-10-27: add by m2/v0.3.5
Density estimation ZYT1H1HFPA
| URI | m2://inv/ZYT1H1HFPA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density estimation, Density estimation (definition). Also Wikidata Q17088227
History
- 2026-11-02: add by m2/dev
Rounding functions ZYT40GCKN4
| URI | m2://inv/ZYT40GCKN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ZFAS, Rounding functions (definition)
History
- 2026-11-02: add by m2/dev
ZYTA3JK14W ZYTA3JK14W
| URI | m2://inv/ZYTA3JK14W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.06683#W9XM (statement). In NH7VBYH6PH/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Tom Porter ZYTBSZ27Y9
| URI | m2://inv/ZYTBSZ27Y9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G1ZK, Tom Porter (unknown)
History
- 2026-11-02: add by m2/dev
ZYTCWVERYX ZYTCWVERYX
| URI | m2://inv/ZYTCWVERYX |
|---|---|
| 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 2312.14445#2GGS (statement). In V56MKF0KW2/e1, proposition 2.8
History
- 2026-10-27: add by m2/v0.3.5
Action on polynomials ZYTD0NEYYN
| URI | m2://inv/ZYTD0NEYYN |
|---|---|
| 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.20593#KIBK, Action on polynomials (statement). In 7GMD8J4200/e1, proposition 4
History
- 2026-10-27: add by m2/v0.4.2
Interface conditions for electromagnetic fields ZYTVAPV5BQ
| URI | m2://inv/ZYTVAPV5BQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interface conditions for electromagnetic fields, Interface conditions for electromagnetic fields (definition). Also Wikidata Q6046288
History
- 2026-11-02: add by m2/dev
Definition ZYTWQTXZ47
| URI | m2://inv/ZYTWQTXZ47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated distribution#1RWT, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZYTZFRHSKP ZYTZFRHSKP
| URI | m2://inv/ZYTZFRHSKP |
|---|---|
| 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#VTU3 (statement). In 5E9G06XJKC/e1, lemma D.16
History
- 2026-10-28: add by m2/v0.4.2
ZYV01PW4B1 ZYV01PW4B1
| URI | m2://inv/ZYV01PW4B1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#EAYF (statement). In F3BKXXPR3K/e1, proposition 3.27
History
- 2026-10-27: add by m2/v0.4.2
Seidenberg's theorem ZYV1AFKGEN
| URI | m2://inv/ZYV1AFKGEN |
|---|---|
| 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#CESG, Seidenberg's theorem (statement). In ZA6XNBA90V/e1, theorem 1.15
History
- 2026-10-27: add by m2/v0.3.5
Localization sequence ZYV2CNDKZH
| URI | m2://inv/ZYV2CNDKZH |
|---|---|
| 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.32599#R6G6, Localization sequence (statement). In E1Y93JNBJA/e1, lemma 3.5
History
- 2026-10-31: add by m2/v0.5.6
Conjectures ZYV92TP4XS
| URI | m2://inv/ZYV92TP4XS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#4JV3, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
Lucas pseudoprime ZYVM2V9A7F
| URI | m2://inv/ZYVM2V9A7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3343106, Lucas pseudoprime (unknown). Also MathWorld LucasPseudoprime
- wikipedia: Wikipedia Lucas pseudoprime, Lucas pseudoprime (definition). Also Wikidata Q3343106
History
- 2026-10-26: add by m2/dev
poset complex ZYVQGTHT8D
| URI | m2://inv/ZYVQGTHT8D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#5SJ6, poset complex (definition). In PF5JJ9DS8Q/e1, definition 2.4.2
History
- 2026-10-28: add by m2/v0.4.2
ZYVQRHTQ9N ZYVQRHTQ9N
| URI | m2://inv/ZYVQRHTQ9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2209.00811#GQD8 (statement). In 9T4X83HHQS/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Bing–Borsuk conjecture ZYVSWJ29T6
| URI | m2://inv/ZYVSWJ29T6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#WI26, Bing–Borsuk conjecture (definition)
History
- 2026-11-02: add by m2/dev
Alfvén time ZYVTVSXR55
| URI | m2://inv/ZYVTVSXR55 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfvén wave#DHOD, Alfvén time (unknown)
History
- 2026-11-02: add by m2/dev
Stéphane Mallat ZYVYB6S6W0
| URI | m2://inv/ZYVYB6S6W0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stéphane Mallat, Stéphane Mallat (topic). Also Wikidata Q952195
History
- 2026-11-02: add by m2/dev
ZYVZNF31SS ZYVZNF31SS
| URI | m2://inv/ZYVZNF31SS |
|---|---|
| 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 2610.08935#X6YN (definition). In G02N9D40B9/e1, definition 5.2.1
History
- 2026-10-29: add by m2/v0.4.10
Random sequential adsorption ZYW6XM9ZDA
| URI | m2://inv/ZYW6XM9ZDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random sequential adsorption, Random sequential adsorption (definition). Also Wikidata Q48996427
History
- 2026-11-02: add by m2/dev
Brouwer fixed-point theorem ZYW8103SX6
| URI | m2://inv/ZYW8103SX6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#I9AJ, Brouwer fixed-point theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalizations ZYWBY43G8R
| URI | m2://inv/ZYWBY43G8R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frame fields in general relativity#JLNU, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Kurt Heegner ZYWCV98M1R
| URI | m2://inv/ZYWCV98M1R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurt Heegner, Kurt Heegner (topic). Also Wikidata Q72980
History
- 2026-11-02: add by m2/dev
Riemann-Hurwitz formula ZYWGS7GGSW
| URI | m2://inv/ZYWGS7GGSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric function theory#01IE, Riemann-Hurwitz formula (statement)
History
- 2026-11-02: add by m2/dev
Example ZYWJB04A9Y
| URI | m2://inv/ZYWJB04A9Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boole's inequality#I2IP, Example (example)
History
- 2026-11-02: add by m2/dev
ZYWZX4MMJA ZYWZX4MMJA
| URI | m2://inv/ZYWZX4MMJA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-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 2004.12552#7X5T (example). In TWPE10CZ1S/e1, example 2.6
History
- 2026-10-27: add by m2/v0.3.5
Countably $\Hak$-rectifiable ZYX0R645TF
| URI | m2://inv/ZYX0R645TF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#M8G7, Countably $\Hak$-rectifiable (definition)
History
- 2026-11-01: add by m2/v0.6.15
ZYX3QZ8QSX ZYX3QZ8QSX
| URI | m2://inv/ZYX3QZ8QSX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06556#E678 (example). In KW8C7VE9XR/e1, example 38
History
- 2026-10-29: add by m2/v0.4.10
ZYX7JSHTXB ZYX7JSHTXB
| URI | m2://inv/ZYX7JSHTXB |
|---|---|
| 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#EYRL (statement). In E7W2HDNEKJ/e1, proposition 10.13
History
- 2026-10-30: add by m2/v0.4.12
ZYXHW1FZW7 ZYXHW1FZW7
| URI | m2://inv/ZYXHW1FZW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#thm:good_pair (statement). In RZP28ERRZV, theorem, section 53.4
History
- 2026-11-01: add by m2/v0.6.13
ZYXK97ZSE8 ZYXK97ZSE8
| URI | m2://inv/ZYXK97ZSE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22058#SW51 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Exact CSS/GKP correspondence ZYXV0BAR78
| URI | m2://inv/ZYXV0BAR78 |
|---|---|
| Kind | statement |
| 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#MS3I, Exact CSS/GKP correspondence (statement). In YZNK67K060/e1, proposition 4.12
History
- 2026-10-29: add by m2/v0.4.12
Algebraic geometry and analytic geometry ZYXVB8TF51
| URI | m2://inv/ZYXVB8TF51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#LYTM, Algebraic geometry and analytic geometry (definition)
History
- 2026-11-02: add by m2/dev
ZYXZ5E2EC7 ZYXZ5E2EC7
| URI | m2://inv/ZYXZ5E2EC7 |
|---|---|
| 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.04069#3FQ4 (statement). In ZA7WXGZYWC/e1, corollary 4.7
History
- 2026-10-29: add by m2/v0.4.12
ZYXZPN015W ZYXZPN015W
| URI | m2://inv/ZYXZPN015W |
|---|---|
| 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.21491#DEQ9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZYY2X8MN03 ZYY2X8MN03
| URI | m2://inv/ZYY2X8MN03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03856#W8ID (statement). In HTBRYNPHSJ/e1, corollary 6.9
History
- 2026-10-29: add by m2/v0.4.12
ZYY48VH6N3 ZYY48VH6N3
| URI | m2://inv/ZYY48VH6N3 |
|---|---|
| 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.04323#JMGL (statement). In 3Z0D2NCJ0B/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.12
Class existence theorem ZYYKV7ZQPJ
| URI | m2://inv/ZYYKV7ZQPJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#C6WF, Class existence theorem (statement)
History
- 2026-11-02: add by m2/dev
Definitions ZYYMS1B6RH
| URI | m2://inv/ZYYMS1B6RH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric space aimed at its subspace#30EB, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Finite-rank approximation ZYYQ8S0QWP
| URI | m2://inv/ZYYQ8S0QWP |
|---|---|
| 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.13385#XM4C, Finite-rank approximation (statement). In J99CBQ3QYD/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Compatible couplings ZYYS9W1ACV
| URI | m2://inv/ZYYS9W1ACV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13464#SYP8, Compatible couplings (definition). In P40KK40XFP/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Pareto principle ZYYTGZJFZS
| URI | m2://inv/ZYYTGZJFZS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto principle, Pareto principle (statement). Also Wikidata Q182667
History
- 2026-11-02: add by m2/dev
Isabelle Chalendar ZYYV145ERW
| URI | m2://inv/ZYYV145ERW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isabelle Chalendar, Isabelle Chalendar (topic). Also Wikidata Q102311532
History
- 2026-11-02: add by m2/dev
ZYZ9WQ762K ZYZ9WQ762K
| URI | m2://inv/ZYZ9WQ762K |
|---|---|
| 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 2609.32088#54XC (definition). In 7781ARDE06/e1, definition 3.4
History
- 2026-10-31: add by m2/v0.5.6
Catherine Searle ZYZD0R15KH
| URI | m2://inv/ZYZD0R15KH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catherine Searle, Catherine Searle (topic). Also Wikidata Q102195268
History
- 2026-11-02: add by m2/dev
ZYZGW53DMT ZYZGW53DMT
| URI | m2://inv/ZYZGW53DMT |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29498#U09F (problem)
History
- 2026-11-01: add by m2/v0.6.15
simple group ZYZJQFQJWT
| URI | m2://inv/ZYZJQFQJWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 47600) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#T6OK, simple group (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Hilbert space ZYZZSS88QJ
| URI | m2://inv/ZYZZSS88QJ |
|---|---|
| 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.05388#WYNW, Hilbert space (statement). In 4HJK1986EJ/e1, corollary B.2
History
- 2026-10-29: add by m2/v0.4.10