Inventory rows TY
The cards of the rows of the inventory whose ids start with TY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Segre characteristic TY014TMWG4
| URI | m2://inv/TY014TMWG4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121120103, Segre characteristic (concept). Also EoM Segre_characteristic_of_a_square_matrix, MathWorld SegreCharacteristic
History
- 2026-10-26: add by m2/dev
Terminology TY087F01QR
| URI | m2://inv/TY087F01QR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dilemma#UL82, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Elitzur's theorem TY09XAW2F6
| URI | m2://inv/TY09XAW2F6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#N5FS, Elitzur's theorem (statement)
History
- 2026-11-02: add by m2/dev
Unknotting number TY0BCR03HC
| URI | m2://inv/TY0BCR03HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#1IXO, Unknotting number (definition)
History
- 2026-11-02: add by m2/dev
TY0CDVS6HG TY0CDVS6HG
| URI | m2://inv/TY0CDVS6HG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26581#132D (statement)
History
- 2026-11-01: add by m2/v0.6.15
TY0CQ8VVPB TY0CQ8VVPB
| URI | m2://inv/TY0CQ8VVPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#32FU (statement). In Q5Z178SAHP/e1, theorem 5.4
History
- 2026-10-30: add by m2/v0.4.12
Exact face decomposition TY0DBJ1D25
| URI | m2://inv/TY0DBJ1D25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#YZHD, Exact face decomposition (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kernel profiles are an LCL specialization TY0KMKTNA0
| URI | m2://inv/TY0KMKTNA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#XF3V, Kernel profiles are an LCL specialization (statement). In 7MVPNFPRKB/e1, proposition 11.4
History
- 2026-10-30: add by m2/v0.4.12
Examples TY0RB954XD
| URI | m2://inv/TY0RB954XD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archimedean ordered vector space#O3MT, Examples (example)
History
- 2026-11-02: add by m2/dev
Formal definitions TY0T168XMN
| URI | m2://inv/TY0T168XMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spray (mathematics)#1EC9, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Exactness of labeling TY0TKXY644
| URI | m2://inv/TY0TKXY644 |
|---|---|
| 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.10393#K7WX, Exactness of labeling (statement). In ZGS97E3PB7/e1, proposition B.3
History
- 2026-10-29: add by m2/v0.4.10
Brazilian Journal of Probability and Statistics TY0YQ8FJXD
| URI | m2://inv/TY0YQ8FJXD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#G8LL, Brazilian Journal of Probability and Statistics (unknown)
- wikipedia: Wikipedia List of statistics journals#2K2G, Brazilian Journal of Probability and Statistics (unknown)
History
- 2026-11-02: add by m2/dev
Stereotype TY11VEHGKB
| URI | m2://inv/TY11VEHGKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stereotype, Stereotype (definition). Also Wikidata Q167172
History
- 2026-11-02: add by m2/dev
stable model of Atkin--Lehner quotients TY12A9GH2P
| URI | m2://inv/TY12A9GH2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#JB16, stable model of Atkin--Lehner quotients (statement). In JXTG8KP95P/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
Castelnuovo's theorem TY170T94MB
| URI | m2://inv/TY170T94MB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational surface#JVRK, Castelnuovo's theorem (statement)
History
- 2026-11-02: add by m2/dev
Josephus problem TY1HR1HF0P
| URI | m2://inv/TY1HR1HF0P |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1064357, Josephus problem (problem). Also MathWorld JosephusProblem, ProofWiki Definition:Josephus_Problem
- wikipedia: Wikipedia Josephus problem, Josephus problem (problem). Also Wikidata Q1064357
History
- 2026-10-26: add by m2/dev
Giuseppe Bruno TY20FTA1KN
| URI | m2://inv/TY20FTA1KN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#R5DL, Giuseppe Bruno (topic)
History
- 2026-11-02: add by m2/dev
Ghubār Numerals TY23YJDKCJ
| URI | m2://inv/TY23YJDKCJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arabic numerals#B7MF, Ghubār Numerals (unknown)
History
- 2026-11-02: add by m2/dev
TY281ZB042 TY281ZB042
| URI | m2://inv/TY281ZB042 |
|---|---|
| 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.30018#UGCH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Construction TY28WWHHKH
| URI | m2://inv/TY28WWHHKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombicuboctahedron#HOZ5, Construction (definition)
History
- 2026-11-02: add by m2/dev
TY2DT8F06N TY2DT8F06N
| URI | m2://inv/TY2DT8F06N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20368#N52J (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples TY2ER622ZZ
| URI | m2://inv/TY2ER622ZZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antimagic square#KHBR, Examples (example)
History
- 2026-11-02: add by m2/dev
Partition problem TY2GD4031P
| URI | m2://inv/TY2GD4031P |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in fair division#7LEQ, Partition problem (problem)
History
- 2026-11-02: add by m2/dev
Reversible cellular automaton TY2NQ7Y3PH
| URI | m2://inv/TY2NQ7Y3PH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reversible cellular automaton, Reversible cellular automaton (definition). Also Wikidata Q7318293
History
- 2026-11-02: add by m2/dev
TY2PMWBGPV TY2PMWBGPV
| URI | m2://inv/TY2PMWBGPV |
|---|---|
| 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.00660#ZXVS (statement). In FF8A8FP4FB/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
Saturated family TY332XBBZ3
| URI | m2://inv/TY332XBBZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saturated family, Saturated family (definition). Also Wikidata Q96405017
History
- 2026-11-02: add by m2/dev
TY35A4Z035 TY35A4Z035
| URI | m2://inv/TY35A4Z035 |
|---|---|
| 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.38267#FMLQ (statement). In 518V871EKW/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
TY36PRMPGW TY36PRMPGW
| URI | m2://inv/TY36PRMPGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#89GP (statement)
History
- 2026-11-01: add by m2/v0.6.15
TY3GG8V558 TY3GG8V558
| URI | m2://inv/TY3GG8V558 |
|---|---|
| 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.22272#H0CW (statement). In 4VZV5V0YD6/e1, lemma 10
History
- 2026-10-27: add by m2/v0.4.0
divergent, sequence in a metric space TY3JHRJKQK
| URI | m2://inv/TY3JHRJKQK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.3.1/divergent-sequence-in-a-metric-space, divergent, sequence in a metric space (concept). In E59CDZA4DP, index, section 4.3.1
History
- 2026-11-01: add by m2/v0.6.13
Generalizations TY3KQMJPGN
| URI | m2://inv/TY3KQMJPGN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Even and odd functions#QERO, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
TY3N84CDFV TY3N84CDFV
| URI | m2://inv/TY3N84CDFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31389#UMPM (statement). In YS0YFQEYE1/e1, lemma 7
History
- 2026-10-31: add by m2/v0.5.6
Hall TY3PVE82HQ
| URI | m2://inv/TY3PVE82HQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#QWH0, Hall (statement). In X765ZXXVC3/e1, theorem 2.14
History
- 2026-10-29: add by m2/v0.4.12
TY3SP7GBYH TY3SP7GBYH
| URI | m2://inv/TY3SP7GBYH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-21 (exercise). In E59CDZA4DP, exercise, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
TY3V1PD3A3 TY3V1PD3A3
| URI | m2://inv/TY3V1PD3A3 |
|---|---|
| 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.10086#C9U9 (statement). In NP9X9CAK19/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
TY40DRH7CH TY40DRH7CH
| URI | m2://inv/TY40DRH7CH |
|---|---|
| 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.19285#QI5X (statement). In 6DJR9DKY5W/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Properties TY4C5JWWPV
| URI | m2://inv/TY4C5JWWPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine transformation#H3X0, Properties (statement)
History
- 2026-11-02: add by m2/dev
TY550WJEWP TY550WJEWP
| URI | m2://inv/TY550WJEWP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-19 (exercise). In E9HS8K3A52, exercise, section 2.2.8
History
- 2026-11-01: add by m2/v0.6.13
History of syntactic theory TY55HFER0R
| URI | m2://inv/TY55HFER0R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syntax#VT20, History of syntactic theory (unknown)
History
- 2026-11-02: add by m2/dev
Napoleon's problem TY562BHKND
| URI | m2://inv/TY562BHKND |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2670506, Napoleon's problem (problem). Also MathWorld NapoleonsProblem
- wikipedia: Wikipedia Napoleon's problem, Napoleon's problem (problem). Also Wikidata Q2670506
History
- 2026-10-26: add by m2/dev
TY565M19MB TY565M19MB
| URI | m2://inv/TY565M19MB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2403.16814#QIGY (statement). In MN03Z3PRFT/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
TY58R5R5GE TY58R5R5GE
| URI | m2://inv/TY58R5R5GE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00843#HDPW (statement). In 1K7M5TD0M2/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Applications TY5G57KNY9
| URI | m2://inv/TY5G57KNY9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Weibull distribution#NPUQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties TY5GWETDG9
| URI | m2://inv/TY5GWETDG9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert space#XSDE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Arithmetic group TY5RXF5A61
| URI | m2://inv/TY5RXF5A61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic group, Arithmetic group (definition). Also Wikidata Q4791126
History
- 2026-11-02: add by m2/dev
harmonic polynomial TY5YQ30D22
| URI | m2://inv/TY5YQ30D22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Harmonic polynomial MVYFSYMECG |
Mentions
- wikidata: Wikidata Q4133834, harmonic polynomial (unknown). Also EoM Harmonic_polynomial
- wikipedia: Wikipedia Harmonic polynomial, Harmonic polynomial (definition). Also Wikidata Q4133834
History
- 2026-10-26: add by m2/dev
Newland transform TY62NJEJ76
| URI | m2://inv/TY62NJEJ76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of wavelet-related transforms#TH5G, Newland transform (definition)
History
- 2026-11-02: add by m2/dev
TY664EVXVT TY664EVXVT
| URI | m2://inv/TY664EVXVT |
|---|---|
| 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.03327#GDSH (example). In EBNXA84CPM/e1, example 4.3
History
- 2026-10-29: add by m2/v0.4.12
Order dual TY66N2CN3V
| URI | m2://inv/TY66N2CN3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order dual (functional analysis), Order dual (definition). Also Wikidata Q96397662
History
- 2026-11-02: add by m2/dev
projection of the error TY69J23SGH
| URI | m2://inv/TY69J23SGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22413#DXC1, projection of the error (statement)
History
- 2026-11-02: add by m2/v0.6.17
Keller--Plamondon--Qin TY6AAD2WJH
| URI | m2://inv/TY6AAD2WJH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#TXIK, Keller--Plamondon--Qin (statement)
History
- 2026-11-02: add by m2/v0.6.18
Vladimir Vapnik TY6CRXNAJD
| URI | m2://inv/TY6CRXNAJD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#A0V3, Vladimir Vapnik (unknown)
History
- 2026-11-02: add by m2/dev
Morris method TY6N1BY7MJ
| URI | m2://inv/TY6N1BY7MJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#E6YW, Morris method (definition)
History
- 2026-11-02: add by m2/dev
TY6RJJCVX4 TY6RJJCVX4
| URI | m2://inv/TY6RJJCVX4 |
|---|---|
| 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.38659#11XV (statement). In DCJ23ZYXGK/e1, lemma E.2
History
- 2026-10-30: add by m2/v0.4.12
Manifolds of lightly compressible fronts TY6T5EMXTM
| URI | m2://inv/TY6T5EMXTM |
|---|---|
| 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.01883#DPID, Manifolds of lightly compressible fronts (statement). In CYV4P9TDV0/e1, corollary 5.11
History
- 2026-10-29: add by m2/v0.4.12
TY6WK6KGX6 TY6WK6KGX6
| URI | m2://inv/TY6WK6KGX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30664#772P (statement). In ZZGDNKDVJW/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
TY6XHF0VGP TY6XHF0VGP
| URI | m2://inv/TY6XHF0VGP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book preliminaries.tex#ex:without-K (exercise). In N54F33XE07, ex, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Variance inflation factor TY7101GY5M
| URI | m2://inv/TY7101GY5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3QPM, Variance inflation factor (definition)
History
- 2026-11-02: add by m2/dev
Visible spectrum from curve data TY72D0BC6N
| URI | m2://inv/TY72D0BC6N |
|---|---|
| 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.08011#QNQQ, Visible spectrum from curve data (statement). In K0BXT951HT/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
TY7PHH6009 TY7PHH6009
| URI | m2://inv/TY7PHH6009 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-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.04305#ABPW (statement). In Y1DR0DPWD0/e1, proposition 6.6
History
- 2026-10-29: add by m2/v0.4.12
Enigma plug board TY7TWPM47V
| URI | m2://inv/TY7TWPM47V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enigma machine#WQWY, Enigma plug board (unknown)
History
- 2026-11-02: add by m2/dev
Even level, odd $\ell$ TY7XWQJY47
| URI | m2://inv/TY7XWQJY47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#L11O, Even level, odd $\ell$ (statement). In JXTG8KP95P/e1, corollary 5.26
History
- 2026-10-30: add by m2/v0.4.12
CalSci TY7Y73D9BQ
| URI | m2://inv/TY7Y73D9BQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numbers (TV series)#5ZV8, CalSci (unknown)
History
- 2026-11-02: add by m2/dev
Examples TY802A7X9J
| URI | m2://inv/TY802A7X9J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LOCC#5RB7, Examples (example)
History
- 2026-11-02: add by m2/dev
Klaus Schmidt TY8F23M7R6
| URI | m2://inv/TY8F23M7R6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klaus Schmidt (mathematician), Klaus Schmidt (topic). Also Wikidata Q1745666
History
- 2026-11-02: add by m2/dev
Short path extension TY8PH3FBPB
| URI | m2://inv/TY8PH3FBPB |
|---|---|
| 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.05442#72PX, Short path extension (statement). In WEPE51JCHZ/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
TY8QWTQSGA TY8QWTQSGA
| URI | m2://inv/TY8QWTQSGA |
|---|---|
| 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.21461#4W9J (definition). In DWQANBV7B7/e1, definition
History
- 2026-10-27: add by m2/v0.4.2
Feuerbach triangle TY8Y7P4S7C
| URI | m2://inv/TY8Y7P4S7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4497552, Feuerbach triangle (unknown). Also MathWorld FeuerbachTriangle
History
- 2026-10-26: add by m2/dev
Welfare maximization TY90749V7E
| URI | m2://inv/TY90749V7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Welfare maximization, Welfare maximization (definition). Also Wikidata Q116413605
History
- 2026-11-02: add by m2/dev
TY95B32E8V TY95B32E8V
| URI | m2://inv/TY95B32E8V |
|---|---|
| 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 2609.24553#7PNX (example)
History
- 2026-11-01: add by m2/v0.6.15
Constructions TY98446M8Q
| URI | m2://inv/TY98446M8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equilateral triangle#LZPK, Constructions (definition)
History
- 2026-11-02: add by m2/dev
semigroup TY9AR3EF66
| URI | m2://inv/TY9AR3EF66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Semigroup 0XMEM406JM |
Mentions
- wikidata: Wikidata Q207348, semigroup (definition). Also EoM Semi-group, MathWorld Semigroup, ProofWiki Definition:Semigroup
- wikipedia: Wikipedia Semigroup, Semigroup (definition). Also Wikidata Q207348
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Georgia TY9GSRBH1Q
| URI | m2://inv/TY9GSRBH1Q |
|---|---|
| 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 Q230, Georgia (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Georgia
History
- 2026-10-26: add by m2/dev
real numbers TY9J7NV8RP
| URI | m2://inv/TY9J7NV8RP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#CYSW, real numbers (definition)
History
- 2026-11-02: add by m2/dev
Example TY9J7WY9EX
| URI | m2://inv/TY9J7WY9EX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-value#KRIE, Example (example)
History
- 2026-11-02: add by m2/dev
Lobachevsky coordinates TY9PWCE4E4
| URI | m2://inv/TY9PWCE4E4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordinate systems for the hyperbolic plane#YPZ0, Lobachevsky coordinates (unknown)
History
- 2026-11-02: add by m2/dev
Variational principle TY9VEVTDH4
| URI | m2://inv/TY9VEVTDH4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smoothed-particle hydrodynamics#AGOQ, Variational principle (statement)
History
- 2026-11-02: add by m2/dev
Inverse distance weighting TY9X6G4RF4
| URI | m2://inv/TY9X6G4RF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#21FS, Inverse distance weighting (definition)
- wikipedia: Wikipedia List of numerical analysis topics#D0L9, Inverse distance weighting (definition)
History
- 2026-11-02: add by m2/dev
TYAA1CR1P2 TYAA1CR1P2
| URI | m2://inv/TYAA1CR1P2 |
|---|---|
| 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.23128#0K9Q (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications TYAN0MJT65
| URI | m2://inv/TYAN0MJT65 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Egyptian fraction#8Z8P, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties TYARPW0Z6D
| URI | m2://inv/TYARPW0Z6D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime ideal#QCR3, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bitcoin Gold TYAT5SDYPQ
| URI | m2://inv/TYAT5SDYPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitcoin Gold, Bitcoin Gold (definition). Also Wikidata Q42148852
History
- 2026-11-02: add by m2/dev
Random polytope TYAYJREY7P
| URI | m2://inv/TYAYJREY7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random polytope, Random polytope (definition). Also Wikidata Q114243499
History
- 2026-11-02: add by m2/dev
Theorem TYAZ2PVWYG
| URI | m2://inv/TYAZ2PVWYG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Embedding problem#O0DH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Rape in Australia TYB44ZSKKZ
| URI | m2://inv/TYB44ZSKKZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#XBKB, Rape in Australia (unknown)
History
- 2026-11-02: add by m2/dev
TYB6JZBD9R TYB6JZBD9R
| URI | m2://inv/TYB6JZBD9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.16523#M77S (statement). In CJPFYRFY41/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
symmetry group TYB7JCMMKV
| URI | m2://inv/TYB7JCMMKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Symmetry group 0ZG3Z5JZ85 |
Mentions
- wikidata: Wikidata Q902019, symmetry group (unknown). Also MathWorld SymmetryGroup
- wikipedia: Wikipedia Symmetry group, Symmetry group (definition). Also Wikidata Q902019
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
The dominant saddle of the half-index is $V^*$ TYBAZM0N21
| URI | m2://inv/TYBAZM0N21 |
|---|---|
| Kind | statement |
| 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 2610.18512#NF4N, The dominant saddle of the half-index is $V^*$ (statement). In 11JNM66Z09/e1, proposition 9.2
History
- 2026-10-28: add by m2/v0.4.2
TYBE9W8VN5 TYBE9W8VN5
| URI | m2://inv/TYBE9W8VN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:pinsn (statement). In N54F33XE07, thm, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
Toric variety TYBH3PA3WT
| URI | m2://inv/TYBH3PA3WT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#ONLZ, Toric variety (definition)
History
- 2026-11-02: add by m2/dev
TYBKA9GVSR TYBKA9GVSR
| URI | m2://inv/TYBKA9GVSR |
|---|---|
| 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 2507.12309#1ANN (statement). In ZR53K3E0FR/e1, theorem
History
- 2026-10-27: add by m2/v0.3.6
10-demicube TYBQ96JVPV
| URI | m2://inv/TYBQ96JVPV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 10-demicube, 10-demicube (object). Also Wikidata Q4545900
History
- 2026-11-02: add by m2/dev
TYBTW7TTM5 TYBTW7TTM5
| URI | m2://inv/TYBTW7TTM5 |
|---|---|
| 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.01818#MSUB (statement). In DA31J9XJ4J/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
A. J. Ayer TYC01KHJN0
| URI | m2://inv/TYC01KHJN0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#HXKW, A. J. Ayer (unknown)
History
- 2026-11-02: add by m2/dev
TYC1H9SAWJ TYC1H9SAWJ
| URI | m2://inv/TYC1H9SAWJ |
|---|---|
| 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 2308.05715#7875 (statement). In FC0SB9JFWH/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.3.5
Dual q-Hahn polynomials TYCAASAY1A
| URI | m2://inv/TYCAASAY1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#YGAR, Dual q-Hahn polynomials (definition)
History
- 2026-11-02: add by m2/dev
TYCB5ZG3SA TYCB5ZG3SA
| URI | m2://inv/TYCB5ZG3SA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04761#LI4T (definition). In SJC0GJQCFQ/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
Euler's line TYCE6FH0FB
| URI | m2://inv/TYCE6FH0FB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#YEVS, Euler's line (definition)
History
- 2026-11-02: add by m2/dev
Existence of an optimal deep kernel hedge TYCPVANWDX
| URI | m2://inv/TYCPVANWDX |
|---|---|
| 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.34474#51EH, Existence of an optimal deep kernel hedge (statement). In R8417G6ABM/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
TYCQAZ82W0 TYCQAZ82W0
| URI | m2://inv/TYCQAZ82W0 |
|---|---|
| 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.24845#NLKX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alpha beta filter TYCVS0K5GT
| URI | m2://inv/TYCVS0K5GT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4GPG, Alpha beta filter (definition)
History
- 2026-11-02: add by m2/dev
TYCZV0RZSW TYCZV0RZSW
| URI | m2://inv/TYCZV0RZSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#AEFI (statement). In 3A4K47Y9F2/e1, lemma 6.15
History
- 2026-10-27: add by m2/v0.4.0
Closed loop is locally exponentially stable under gain error TYD0YGFX35
| URI | m2://inv/TYD0YGFX35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08764#94JW, Closed loop is locally exponentially stable under gain error (statement). In QVFHS1C9BW/e1, theorem \thethrm
History
- 2026-10-29: add by m2/v0.4.10
Mixed-form operators TYD1RDXYA7
| URI | m2://inv/TYD1RDXYA7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#QR8H, Mixed-form operators (example)
History
- 2026-11-02: add by m2/v0.6.17
Kuwada {type informational bound for aging along a gradient flow TYD3VN2VJ0
| URI | m2://inv/TYD3VN2VJ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-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.21775#UZDE, Kuwada {type informational bound for aging along a gradient flow (statement). In KM3Q791JY0/e1, lemma 4.27
History
- 2026-10-27: add by m2/v0.4.2
TYD5211ZVH TYD5211ZVH
| URI | m2://inv/TYD5211ZVH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-31 (proof). In N54F33XE07, proof, section 1.11
History
- 2026-11-01: add by m2/v0.6.13
TYD71H6T0K TYD71H6T0K
| URI | m2://inv/TYD71H6T0K |
|---|---|
| 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.40274#V4FS (statement). In 7ZDNJC9MST/e1, theorem 7.6
History
- 2026-10-30: add by m2/v0.4.12
TYDC0ATJWX TYDC0ATJWX
| URI | m2://inv/TYDC0ATJWX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#PKEV (definition). In NSP90G5XCQ/e1, definition 2.19
History
- 2026-10-29: add by m2/v0.4.12
Luis Antonio Santalo TYDCAJEDWZ
| URI | m2://inv/TYDCAJEDWZ |
|---|---|
| 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#GOB2, Luis Antonio Santalo (unknown)
History
- 2026-11-02: add by m2/dev
TYDCTRQ5Y9 TYDCTRQ5Y9
| URI | m2://inv/TYDCTRQ5Y9 |
|---|---|
| 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 2303.10963#A67S (statement). In F32XWYWG8E/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
TYDF0QH1FB TYDF0QH1FB
| URI | m2://inv/TYDF0QH1FB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#WVPG (example). In 3THDT8WNF7/e1, example 14
History
- 2026-10-29: add by m2/v0.4.12
Sobolev norm concentration for the Ising pure $k$-spin Hamiltonian TYDFTCM676
| URI | m2://inv/TYDFTCM676 |
|---|---|
| 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.16705#PPPI, Sobolev norm concentration for the Ising pure $k$-spin Hamiltonian (statement). In B48YQVGAF5/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
RDU decisions weights and LIL TYE1A8D7XR
| URI | m2://inv/TYE1A8D7XR |
|---|---|
| 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.25026#B9ZE, RDU decisions weights and LIL (statement)
History
- 2026-11-01: add by m2/v0.6.15
TYE3GE9G5K TYE3GE9G5K
| URI | m2://inv/TYE3GE9G5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13528#8ZF7 (statement). In TSBJEBS7SP/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
TYECCNAR36 TYECCNAR36
| URI | m2://inv/TYECCNAR36 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#example-5 (example). In RZP28ERRZV, example, section 55.2
History
- 2026-11-01: add by m2/v0.6.13
Amelia Haviland TYEWSW9KPM
| URI | m2://inv/TYEWSW9KPM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amelia Haviland, Amelia Haviland (topic). Also Wikidata Q29613458
History
- 2026-11-02: add by m2/dev
TYEYK258T3 TYEYK258T3
| URI | m2://inv/TYEYK258T3 |
|---|---|
| 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.19694#2J68 (statement). In EP0M4RSZ9P/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
KWallet TYF41P2EY4
| URI | m2://inv/TYF41P2EY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KWallet, KWallet (definition). Also Wikidata Q917895
History
- 2026-11-02: add by m2/dev
Applications TYF6D9G5KS
| URI | m2://inv/TYF6D9G5KS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy associative algebra#N60Q, Applications (example)
History
- 2026-11-02: add by m2/dev
Ana Kupresanin TYFCRRWPSR
| URI | m2://inv/TYFCRRWPSR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#12D4, Ana Kupresanin (unknown)
History
- 2026-11-02: add by m2/dev
TYFCX9ZQ33 TYFCX9ZQ33
| URI | m2://inv/TYFCX9ZQ33 |
|---|---|
| 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.21929#DEK0 (statement). In 2PP4XRVS0J/e1, corollary 9.8
History
- 2026-10-27: add by m2/v0.4.2
Trefoil TYFF1SE0QT
| URI | m2://inv/TYFF1SE0QT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#COJ2, Trefoil (unknown)
History
- 2026-11-02: add by m2/dev
Applications TYFN3K6KX7
| URI | m2://inv/TYFN3K6KX7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cepstrum#ONNF, Applications (example)
History
- 2026-11-02: add by m2/dev
TYFS8K8ZY7 TYFS8K8ZY7
| URI | m2://inv/TYFS8K8ZY7 |
|---|---|
| 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.32446#Z5HH (statement). In W1KVJEGJ1W/e1, lemma F.1
History
- 2026-10-31: add by m2/v0.5.6
Fixed-state heat-kernel asymptotic TYFY1VZ8N2
| URI | m2://inv/TYFY1VZ8N2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27335#HS39, Fixed-state heat-kernel asymptotic (statement)
History
- 2026-11-01: add by m2/v0.6.15
countermodel TYG1J3D108
| URI | m2://inv/TYG1J3D108 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LTSR, countermodel (definition)
History
- 2026-11-02: add by m2/dev
Circulation problem TYG5RXV76F
| URI | m2://inv/TYG5RXV76F |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circulation problem, Circulation problem (problem). Also Wikidata Q5121696
History
- 2026-11-02: add by m2/dev
Uniform Convergence TYG7N91P3K
| URI | m2://inv/TYG7N91P3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37489#IJNZ, Uniform Convergence (statement). In 5ZC91T5PHQ/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Gertrude Mary Cox TYG8Y9W7QF
| URI | m2://inv/TYG8Y9W7QF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gertrude Mary Cox, Gertrude Mary Cox (topic). Also Wikidata Q450290
History
- 2026-11-02: add by m2/dev
Exact degeneracy of the unrestricted criterion TYG94NGJ75
| URI | m2://inv/TYG94NGJ75 |
|---|---|
| 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.37917#UK5C, Exact degeneracy of the unrestricted criterion (statement). In YYN10BJG1Q/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
TYGBYME638 TYGBYME638
| URI | m2://inv/TYGBYME638 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00914#UFCG (statement). In TQ9CKHBTWN/e1, corollary 3.5
History
- 2026-10-29: add by m2/v0.4.12
Examples TYGWA4GFG7
| URI | m2://inv/TYGWA4GFG7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free group#I5A0, Examples (example)
History
- 2026-11-02: add by m2/dev
TYHDXHFE13 TYHDXHFE13
| URI | m2://inv/TYHDXHFE13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32906#0D5Q (statement). In R589MXXHX4/e1, lemma 6.1
History
- 2026-10-31: add by m2/v0.5.6
BIT Numerical Mathematics TYHPQ44HSN
| URI | m2://inv/TYHPQ44HSN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#RE6Q, BIT Numerical Mathematics (unknown)
History
- 2026-11-02: add by m2/dev
TYHR758ZGF TYHR758ZGF
| URI | m2://inv/TYHR758ZGF |
|---|---|
| Kind | conjecture |
| 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 2610.21533#D2MZ (conjecture). In N3Z6JFEPCF/e1, conjecture A
History
- 2026-10-27: add by m2/v0.4.2
TYHSV8ZPA9 TYHSV8ZPA9
| URI | m2://inv/TYHSV8ZPA9 |
|---|---|
| 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.21507#5TDS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications TYHVA5XWPJ
| URI | m2://inv/TYHVA5XWPJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#TAS7, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition TYHWBDFDC8
| URI | m2://inv/TYHWBDFDC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential dichotomy#X8MP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Constructions TYHXYX17RS
| URI | m2://inv/TYHXYX17RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nut graph (graph theory)#CBS8, Constructions (definition)
History
- 2026-11-02: add by m2/dev
TYHZ0HBTVK TYHZ0HBTVK
| URI | m2://inv/TYHZ0HBTVK |
|---|---|
| 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#V753 (statement). In RDXNFF2CZP/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.12
Legendre's formula TYJ08MSNB6
| URI | m2://inv/TYJ08MSNB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre's formula, Legendre's formula (statement). Also Wikidata Q23041626
History
- 2026-11-02: add by m2/dev
Bárány, Imre TYJ1EVY49X
| URI | m2://inv/TYJ1EVY49X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#FDMC, Bárány, Imre (unknown)
History
- 2026-11-02: add by m2/dev
Arrowhead matrix TYJ4M7XYW2
| URI | m2://inv/TYJ4M7XYW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrowhead matrix, Arrowhead matrix (definition). Also Wikidata Q4796198
History
- 2026-11-02: add by m2/dev
Denis Auroux TYJ9FZHP5Z
| URI | m2://inv/TYJ9FZHP5Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2296424, Denis Auroux (unknown). Also nLab Denis Auroux
- wikipedia: Wikipedia Denis Auroux, Denis Auroux (topic). Also Wikidata Q2296424
History
- 2026-10-26: add by m2/dev
TYJB62SVVA TYJB62SVVA
| URI | m2://inv/TYJB62SVVA |
|---|---|
| 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.17411#7AWN (statement). In 73QW05MWQB/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
TYJS6B23ZJ TYJS6B23ZJ
| URI | m2://inv/TYJS6B23ZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28774#X6UW (statement)
History
- 2026-11-01: add by m2/v0.6.15
TYJW8FBADK TYJW8FBADK
| URI | m2://inv/TYJW8FBADK |
|---|---|
| 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.28597#M0YX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Constructions TYK015HNWE
| URI | m2://inv/TYK015HNWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aperiodic set of prototiles#BRQ3, Constructions (definition)
History
- 2026-11-02: add by m2/dev
7-3 rhombille tiling TYK33DTTQJ
| URI | m2://inv/TYK33DTTQJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triheptagonal tiling#1IHN, 7-3 rhombille tiling (unknown)
History
- 2026-11-02: add by m2/dev
Multivariate statistics TYK4Y9TQM7
| URI | m2://inv/TYK4Y9TQM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GOHE, Multivariate statistics (definition)
History
- 2026-11-02: add by m2/dev
TYK6DMJPA3 TYK6DMJPA3
| URI | m2://inv/TYK6DMJPA3 |
|---|---|
| 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.14154#R6BK (statement). In 8X6PXX2TRA/e1, theorem 9.6
History
- 2026-10-28: add by m2/v0.4.2
Hee Oh TYK8QNGDQX
| URI | m2://inv/TYK8QNGDQX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hee Oh, Hee Oh (topic). Also Wikidata Q15649160
History
- 2026-11-02: add by m2/dev
over-penalization TYKCP0GEV7
| URI | m2://inv/TYKCP0GEV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17678#IJFZ, over-penalization (statement). In V753EAWQ3S/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.2
TYKDSS8V4T TYKDSS8V4T
| URI | m2://inv/TYKDSS8V4T |
|---|---|
| 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.03837#5TGK (statement). In TX88QS0A8M/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Examples TYKH30KQDQ
| URI | m2://inv/TYKH30KQDQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PSPACE-complete#XAXG, Examples (example)
History
- 2026-11-02: add by m2/dev
TYKYB1RDKC TYKYB1RDKC
| URI | m2://inv/TYKYB1RDKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22240#W34J (statement)
History
- 2026-11-02: add by m2/v0.6.17
TYM0MJ0AY2 TYM0MJ0AY2
| URI | m2://inv/TYM0MJ0AY2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise:CabRcomplete (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
TYM92FQDBP TYM92FQDBP
| URI | m2://inv/TYM92FQDBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#5F1Z (statement)
History
- 2026-11-02: add by m2/v0.6.18
Klein graphs TYMFCK325R
| URI | m2://inv/TYMFCK325R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein graphs, Klein graphs (definition). Also Wikidata Q130610107
History
- 2026-11-02: add by m2/dev
dg $\mathbb N$-modules TYMXTYFKBD
| URI | m2://inv/TYMXTYFKBD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#YD9Y, dg $\mathbb N$-modules (definition). In SMJMAQ2S3J/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.0
Erdős–Moser equation TYNBCR252T
| URI | m2://inv/TYNBCR252T |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#XEP4, Erdős–Moser equation (conjecture)
History
- 2026-11-02: add by m2/dev
Tucker decomposition TYNQ8M3CYR
| URI | m2://inv/TYNQ8M3CYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K34H, Tucker decomposition (definition)
History
- 2026-11-02: add by m2/dev
Edge-contracted icosahedron TYNW8GBQT4
| URI | m2://inv/TYNW8GBQT4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge-contracted icosahedron, Edge-contracted icosahedron (object). Also Wikidata Q17008793
History
- 2026-11-02: add by m2/dev
TYP5VC5QB1 TYP5VC5QB1
| URI | m2://inv/TYP5VC5QB1 |
|---|---|
| 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 2402.08944#AQMZ (statement). In D8QFZG5R1D/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.6
Maurice Fréchet TYP7HGP4XT
| URI | m2://inv/TYP7HGP4XT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#C9FA, Maurice Fréchet (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QLY5, Maurice Fréchet (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VH1V, Maurice Fréchet (topic)
History
- 2026-11-02: add by m2/dev
Yvonne Braithwaite Burke TYPFWNRPHS
| URI | m2://inv/TYPFWNRPHS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#0ZKE, Yvonne Braithwaite Burke (unknown)
History
- 2026-11-02: add by m2/dev
Law of cotangents TYPKG7F28N
| URI | m2://inv/TYPKG7F28N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of cotangents, Law of cotangents (statement). Also Wikidata Q373593
History
- 2026-11-02: add by m2/dev
TYQ62A09X6 TYQ62A09X6
| URI | m2://inv/TYQ62A09X6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#IC6T (statement). In YVK8EFSYNJ/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
TYQ77W3PM8 TYQ77W3PM8
| URI | m2://inv/TYQ77W3PM8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14803#2CDZ (definition). In VAEVDTBD3B/e1, definition 4.7
History
- 2026-10-28: add by m2/v0.4.2
first Feigenbaum constant TYQ7C3CKYM
| URI | m2://inv/TYQ7C3CKYM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120336524, first Feigenbaum constant (object). Also OEIS A006890
History
- 2026-10-26: add by m2/dev
TYQGW4HHGW TYQGW4HHGW
| URI | m2://inv/TYQGW4HHGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2307.06098#KC3M (statement). In DK1V8M7DS4/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Vector Calculus TYQRRVMPPE
| URI | m2://inv/TYQRRVMPPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#NUXY, Vector Calculus (definition)
History
- 2026-11-02: add by m2/dev
TYQYS6EEKP TYQYS6EEKP
| URI | m2://inv/TYQYS6EEKP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#P38U (statement). In X38P26DK6S/e1, theorem 6.6
History
- 2026-10-27: add by m2/v0.4.0
Buckmaster equation TYR461K34S
| URI | m2://inv/TYR461K34S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buckmaster equation, Buckmaster equation (definition). Also Wikidata Q65048860
History
- 2026-11-02: add by m2/dev
Signal-flow graph TYRA7KRAA2
| URI | m2://inv/TYRA7KRAA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal-flow graph, Signal-flow graph (definition). Also Wikidata Q1786523
History
- 2026-11-02: add by m2/dev
TYRPNBRVG3 TYRPNBRVG3
| URI | m2://inv/TYRPNBRVG3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-73 (exercise). In E9HS8K3A52, exercise, section 10.7.3
History
- 2026-11-01: add by m2/v0.6.13
TYRVEPZ8K1 TYRVEPZ8K1
| URI | m2://inv/TYRVEPZ8K1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#ERJ6 (example). In 42XHT97E64/e1, example 8.9
History
- 2026-10-29: add by m2/v0.4.12
TYRZ9D5TPD TYRZ9D5TPD
| URI | m2://inv/TYRZ9D5TPD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20316#UP4O (definition). In YRJS76169Z/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.4.2
statistical ensemble TYSCZRAQ36
| URI | m2://inv/TYSCZRAQ36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q898535, statistical ensemble (unknown). Also EoM Statistical_ensemble, nLab statistical ensemble
- wikipedia: Wikipedia Ensemble (mathematical physics), Ensemble (definition). Also Wikidata Q898535
History
- 2026-10-26: add by m2/dev
TYSPDF2WFX TYSPDF2WFX
| URI | m2://inv/TYSPDF2WFX |
|---|---|
| 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.02219#EKLQ (statement). In 8XMASJX0GZ/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
TYSQKYJ5GK TYSQKYJ5GK
| URI | m2://inv/TYSQKYJ5GK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06746#01AQ (statement). In B8A6BPP922/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
List scheduling TYSR6KHVTG
| URI | m2://inv/TYSR6KHVTG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#D3H9, List scheduling (definition)
History
- 2026-11-02: add by m2/dev
Atlantic City algorithm TYSW95531R
| URI | m2://inv/TYSW95531R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atlantic City algorithm, Atlantic City algorithm (definition). Also Wikidata Q17513892
History
- 2026-11-02: add by m2/dev
GIT quotient TYT21BVMT9
| URI | m2://inv/TYT21BVMT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GIT quotient, GIT quotient (definition). Also Wikidata Q17097947
History
- 2026-11-02: add by m2/dev
Eduard Heine TYT9CBZDNN
| URI | m2://inv/TYT9CBZDNN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#ZJ0J, Eduard Heine (topic)
History
- 2026-11-02: add by m2/dev
Cohl Furey TYT9RP6M24
| URI | m2://inv/TYT9RP6M24 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohl Furey, Cohl Furey (topic). Also Wikidata Q55760062
History
- 2026-11-02: add by m2/dev
TYTA8BC4WY TYTA8BC4WY
| URI | m2://inv/TYTA8BC4WY |
|---|---|
| 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 2411.16655#QU4O (statement). In EJHAXRV685/e1, proposition
History
- 2026-10-27: add by m2/v0.3.5
TYTD05JQAP TYTD05JQAP
| URI | m2://inv/TYTD05JQAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.14455#X762 (statement). In VDE5R8HBS1/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
Examples TYTQQ7J8F0
| URI | m2://inv/TYTQQ7J8F0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helix#BVSX, Examples (example)
History
- 2026-11-02: add by m2/dev
Monomial structures TYTVY0N2EQ
| URI | m2://inv/TYTVY0N2EQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#H513, Monomial structures (definition). In TB1294GY5X/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.4.2
Suzuki sporadic group TYV5W6A21T
| URI | m2://inv/TYV5W6A21T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#6D0Q, Suzuki sporadic group (definition)
History
- 2026-11-02: add by m2/dev
Definition TYVCY07WWA
| URI | m2://inv/TYVCY07WWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near polygon#8BYT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Compatibility of the unit models TYVCZEEHFJ
| URI | m2://inv/TYVCZEEHFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#1WE2, Compatibility of the unit models (statement). In 7NS75J7HAM/e1, lemma 7.13
History
- 2026-10-31: add by m2/v0.5.6
Hans Hamburger TYVDY345T7
| URI | m2://inv/TYVDY345T7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Hamburger, Hans Hamburger (topic). Also Wikidata Q106635
History
- 2026-11-02: add by m2/dev
Vera Serganova TYVHN0NATG
| URI | m2://inv/TYVHN0NATG |
|---|---|
| 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#3PHP, Vera Serganova (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J5PM, Vera Serganova (unknown)
History
- 2026-11-02: add by m2/dev
Example TYVJY5FJQ3
| URI | m2://inv/TYVJY5FJQ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov's criterion#SVZU, Example (example)
History
- 2026-11-02: add by m2/dev
Amplifier TYVP9P8ER9
| URI | m2://inv/TYVP9P8ER9 |
|---|---|
| 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 math/0003117#GZ8P, Amplifier (statement). In WD2NCBV9F0/e1, lemma 11.7
History
- 2026-10-27: add by m2/v0.3.5
TYVQA67R1X TYVQA67R1X
| URI | m2://inv/TYVQA67R1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31352#UFU4 (statement). In SQZGKRDVBX/e1, lemma 4.5
History
- 2026-10-31: add by m2/v0.5.6
Lewis algebra TYVT82QHTN
| URI | m2://inv/TYVT82QHTN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interior algebra#AFQ8, Lewis algebra (unknown)
History
- 2026-11-02: add by m2/dev
TYVTBYXB3W TYVTBYXB3W
| URI | m2://inv/TYVTBYXB3W |
|---|---|
| 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.03337#B4DU (statement). In VH7EZDGTNA/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
TYW0H94PVK TYW0H94PVK
| URI | m2://inv/TYW0H94PVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11785#GUNH (statement). In 2XSZDXZ52E/e1, proposition 2.9
History
- 2026-10-28: add by m2/v0.4.3
TYWJWYBB50 TYWJWYBB50
| URI | m2://inv/TYWJWYBB50 |
|---|---|
| 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.20588#MV75 (statement)
History
- 2026-11-02: add by m2/v0.6.18
octonary TYWK3A5BYZ
| URI | m2://inv/TYWK3A5BYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#RXKT, octonary (definition)
History
- 2026-11-02: add by m2/dev
matrix group TYWKFZD3J2
| URI | m2://inv/TYWKFZD3J2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1050120, matrix group (unknown). Also MathWorld MatrixGroup, nLab matrix group
- wikipedia: Wikipedia Linear group, Linear group (definition). Also Wikidata Q1050120
History
- 2026-10-26: add by m2/dev
556 (number) TYWQCSZNGQ
| URI | m2://inv/TYWQCSZNGQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#T1P0, 556 (number) (unknown)
History
- 2026-11-02: add by m2/dev
AD LDS TYWZ1FW1QV
| URI | m2://inv/TYWZ1FW1QV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Active Directory#98W9, AD LDS (unknown)
History
- 2026-11-02: add by m2/dev
McNaughton's theorem TYX44196GC
| URI | m2://inv/TYX44196GC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McNaughton's theorem, McNaughton's theorem (statement). Also Wikidata Q6802493
History
- 2026-11-02: add by m2/dev
TYX8GN40M3 TYX8GN40M3
| URI | m2://inv/TYX8GN40M3 |
|---|---|
| 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.23332#Y6G6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definitions and notation TYXC8V8CV8
| URI | m2://inv/TYXC8V8CV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed graph#H5IF, Definitions and notation (definition)
History
- 2026-11-02: add by m2/dev
OGF ⟷ EGF conversion formulas TYXF507X2A
| URI | m2://inv/TYXF507X2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function transformation#DLIQ, OGF ⟷ EGF conversion formulas (statement)
History
- 2026-11-02: add by m2/dev
Product Gamma Measures TYXHH6TFZN
| URI | m2://inv/TYXHH6TFZN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#R0VA, Product Gamma Measures (example)
History
- 2026-11-02: add by m2/v0.6.17
TYXQ2B5ZPP TYXQ2B5ZPP
| URI | m2://inv/TYXQ2B5ZPP |
|---|---|
| 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 2405.05684#TARF (statement). In 1PR73ECTZB/e1, proposition 36
History
- 2026-10-27: add by m2/v0.3.5
Stefano degli Angeli TYXTB7WRNZ
| URI | m2://inv/TYXTB7WRNZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefano degli Angeli, Stefano degli Angeli (topic). Also Wikidata Q3498009
History
- 2026-11-02: add by m2/dev
Strong bidual TYXWY9TVQH
| URI | m2://inv/TYXWY9TVQH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong dual space#HW5V, Strong bidual (unknown)
History
- 2026-11-02: add by m2/dev
Universally measurable set TYXXFEEXEM
| URI | m2://inv/TYXXFEEXEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universally measurable set, Universally measurable set (definition). Also Wikidata Q7894192
History
- 2026-11-02: add by m2/dev
Georg Kreisel TYXZAW8ZMB
| URI | m2://inv/TYXZAW8ZMB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#APMU, Georg Kreisel (topic)
History
- 2026-11-02: add by m2/dev
TYY9KEGY91 TYY9KEGY91
| URI | m2://inv/TYY9KEGY91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01924#FZUD (statement). In CB89152EQW/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
Theorem TYYHXH4MDX
| URI | m2://inv/TYYHXH4MDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable vector-valued functions from Euclidean space#HEIS, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Christian views on religious pluralism TYYWQF9AT5
| URI | m2://inv/TYYWQF9AT5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Religious pluralism#O6ET, Christian views on religious pluralism (unknown)
History
- 2026-11-02: add by m2/dev
Binary subtraction TYYZ2RQ35S
| URI | m2://inv/TYYZ2RQ35S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary number#P34A, Binary subtraction (unknown)
History
- 2026-11-02: add by m2/dev
Applications TYZFEBGKDA
| URI | m2://inv/TYZFEBGKDA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipse#J7IN, Applications (example)
History
- 2026-11-02: add by m2/dev
Stopped evaluation TYZFWE1M02
| URI | m2://inv/TYZFWE1M02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#B1K9, Stopped evaluation (statement). In B29M4E6KGC/e1, lemma G.7
History
- 2026-10-28: add by m2/v0.4.2
Arakelov divisor TYZP0GMH0E
| URI | m2://inv/TYZP0GMH0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#VICL, Arakelov divisor (definition)
History
- 2026-11-02: add by m2/dev
TYZQ6M021K TYZQ6M021K
| URI | m2://inv/TYZQ6M021K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37739#V1UP (statement). In F5XF5VXTXY/e1, lemma 6.12
History
- 2026-10-30: add by m2/v0.4.12
Definition TYZQ88FF58
| URI | m2://inv/TYZQ88FF58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted Lie algebra#E2PR, Definition (definition)
History
- 2026-11-02: add by m2/dev
TYZRJW43TN TYZRJW43TN
| URI | m2://inv/TYZRJW43TN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19296#JX2M (statement). In WFR2WNW8NB/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
TYZSN05BQ6 TYZSN05BQ6
| URI | m2://inv/TYZSN05BQ6 |
|---|---|
| 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.17411#3D2N (statement). In 73QW05MWQB/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
TYZSRH78GW TYZSRH78GW
| URI | m2://inv/TYZSRH78GW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#8L6V (definition). In ESDKTYDHC8/e1, definition 34
History
- 2026-10-29: add by m2/v0.4.12
TYZZ5D1Y4G TYZZ5D1Y4G
| URI | m2://inv/TYZZ5D1Y4G |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#G0VG (example). In JXTG8KP95P/e1, example 8.4
History
- 2026-10-30: add by m2/v0.4.12