Inventory rows TZ
The cards of the rows of the inventory whose ids start with TZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Judy Green TZ045VE6RG
| URI | m2://inv/TZ045VE6RG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judy Green (mathematician), Judy Green (topic). Also Wikidata Q43384727
History
- 2026-11-02: add by m2/dev
Loupekine's second snark TZ0C7TFQ6Q
| URI | m2://inv/TZ0C7TFQ6Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3477046, Loupekine's second snark (unknown). Also House of Graphs 1217
History
- 2026-10-26: add by m2/dev
Kraus-geometric converse bounds TZ0F6Y2XQ3
| URI | m2://inv/TZ0F6Y2XQ3 |
|---|---|
| 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.40054#OXBR, Kraus-geometric converse bounds (statement). In CA4C9PFM1E/e1, lemma 3.2.1
History
- 2026-10-30: add by m2/v0.4.12
TZ0J2A1PR3 TZ0J2A1PR3
| URI | m2://inv/TZ0J2A1PR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.21337#JM4U (statement). In EPZN0JTG2Z/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
Properties TZ0K7AS8NV
| URI | m2://inv/TZ0K7AS8NV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequent#MMSM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Third-order fixed-depth consequence TZ0PC2A14Z
| URI | m2://inv/TZ0PC2A14Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#ZEAR, Third-order fixed-depth consequence (statement). In RHBS9QDHC3/e1, corollary 4.12
History
- 2026-10-28: add by m2/v0.4.2
Gamma matrices TZ0PDDNSVM
| URI | m2://inv/TZ0PDDNSVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1151645, Gamma matrices (unknown). Also MathWorld DiracMatrices
- wikipedia: Wikipedia Gamma matrices, Gamma matrices (definition). Also Wikidata Q1151645
History
- 2026-10-26: add by m2/dev
TZ0RW598E0 TZ0RW598E0
| URI | m2://inv/TZ0RW598E0 |
|---|---|
| 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#XRW4 (statement). In 3A4K47Y9F2/e1, lemma 4.36
History
- 2026-10-27: add by m2/v0.4.0
TZ0V507SJV TZ0V507SJV
| URI | m2://inv/TZ0V507SJV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25897#96DM (example)
History
- 2026-11-01: add by m2/v0.6.15
Boolean matrix TZ0X6GN7D7
| URI | m2://inv/TZ0X6GN7D7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#9ETO, Boolean matrix (definition)
History
- 2026-11-02: add by m2/dev
Sun-Joo Shin TZ12N3RZNZ
| URI | m2://inv/TZ12N3RZNZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#ZN52, Sun-Joo Shin (unknown)
History
- 2026-11-02: add by m2/dev
TZ14H56J7J TZ14H56J7J
| URI | m2://inv/TZ14H56J7J |
|---|---|
| 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.32078#5TO9 (statement). In 5PN85N6EJF/e1, proposition E.3
History
- 2026-10-31: add by m2/v0.5.6
TZ15DRKNV0 TZ15DRKNV0
| URI | m2://inv/TZ15DRKNV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2609.36021#OOGV (statement). In CB68ATPEV9/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
OpenPGP card TZ15RHSWCW
| URI | m2://inv/TZ15RHSWCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OpenPGP card, OpenPGP card (definition). Also Wikidata Q7095843
History
- 2026-11-02: add by m2/dev
TZ179HCB4N TZ179HCB4N
| URI | m2://inv/TZ179HCB4N |
|---|---|
| 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.40054#6OBA (statement). In CA4C9PFM1E/e1, lemma 2.2.10
History
- 2026-10-30: add by m2/v0.4.12
A Gaussian-terminal obstruction to initial-state contraction TZ1BBECCA3
| URI | m2://inv/TZ1BBECCA3 |
|---|---|
| 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.38228#8FJU, A Gaussian-terminal obstruction to initial-state contraction (statement). In 9YAE8FNQST/e1, proposition 16.19
History
- 2026-10-30: add by m2/v0.4.12
TZ1HYYQBPQ TZ1HYYQBPQ
| URI | m2://inv/TZ1HYYQBPQ |
|---|---|
| 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.08912#X1M4 (statement). In DK5QY64NGH/e1, lemma 7.9
History
- 2026-10-29: add by m2/v0.4.10
Pontryagin class TZ1PQFADZP
| URI | m2://inv/TZ1PQFADZP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Pontryagin class DN11FKWN63 |
Mentions
- wikidata: Wikidata Q40007, Pontryagin class (concept). Also MathWorld PontryaginClass, nLab Pontryagin class
- wikipedia: Wikipedia Pontryagin class, Pontryagin class (definition). Also Wikidata Q40007
History
- 2026-10-26: add by m2/dev
addition TZ1RX4G8H7
| URI | m2://inv/TZ1RX4G8H7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#B1DL, addition (definition)
History
- 2026-11-02: add by m2/dev
Definition TZ1S23BGVD
| URI | m2://inv/TZ1S23BGVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shifted log-logistic distribution#YSX5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algorithms for formal concept analysis TZ1W4NKRYN
| URI | m2://inv/TZ1W4NKRYN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal concept analysis#6M7F, Algorithms for formal concept analysis (unknown)
History
- 2026-11-02: add by m2/dev
\(\beta\)-weighted slope semistability TZ1ZSMHKSV
| URI | m2://inv/TZ1ZSMHKSV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#YGMG, \(\beta\)-weighted slope semistability (definition)
History
- 2026-11-02: add by m2/v0.6.17
Partial permutation TZ217CZ2VN
| URI | m2://inv/TZ217CZ2VN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial permutation, Partial permutation (definition). Also Wikidata Q1401935
History
- 2026-11-02: add by m2/dev
Waldegrave problem TZ247BFVR1
| URI | m2://inv/TZ247BFVR1 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Waldegrave problem, Waldegrave problem (problem). Also Wikidata Q24255700
History
- 2026-11-02: add by m2/dev
TZ248GQWR8 TZ248GQWR8
| URI | m2://inv/TZ248GQWR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18094#H32W (statement). In AYANBEWSFH/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Quadratic map TZ269PHAJ8
| URI | m2://inv/TZ269PHAJ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex quadratic polynomial#OFZ9, Quadratic map (unknown)
History
- 2026-11-02: add by m2/dev
Fred Hoyle TZ2A96SHJX
| URI | m2://inv/TZ2A96SHJX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#07DU, Fred Hoyle (unknown)
History
- 2026-11-02: add by m2/dev
Mizar system TZ2BGRYC3N
| URI | m2://inv/TZ2BGRYC3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#Z27X, Mizar system (definition)
History
- 2026-11-02: add by m2/dev
TZ2WTFBQNG TZ2WTFBQNG
| URI | m2://inv/TZ2WTFBQNG |
|---|---|
| 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.24902#AYEV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rodrigues formula for the Jacobi mixed form TZ306JAC5Y
| URI | m2://inv/TZ306JAC5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.26110#CR5F, Rodrigues formula for the Jacobi mixed form (statement)
History
- 2026-11-01: add by m2/v0.6.15
TZ32DJ37RT TZ32DJ37RT
| URI | m2://inv/TZ32DJ37RT |
|---|---|
| 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.14450#L3J7 (statement). In ZHTGQT07PE/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
TZ343ERGN2 TZ343ERGN2
| URI | m2://inv/TZ343ERGN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15535#NDVA (statement). In 73A9KWZJRD/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
TZ36C5VKMG TZ36C5VKMG
| URI | m2://inv/TZ36C5VKMG |
|---|---|
| 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 2204.00678#TBMY (statement). In RX70Y35BYJ/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
↦ TZ397V8J1G
| URI | m2://inv/TZ397V8J1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#28V4, ↦ (definition)
History
- 2026-11-02: add by m2/dev
Outline of Gottfried Wilhelm Leibniz TZ39PZD8P2
| URI | m2://inv/TZ39PZD8P2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of Gottfried Wilhelm Leibniz, Outline of Gottfried Wilhelm Leibniz (topic). Also Wikidata Q55628145
History
- 2026-11-02: add by m2/dev
DNSS point TZ3SJ7ZFZM
| URI | m2://inv/TZ3SJ7ZFZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#4YWT, DNSS point (unknown)
History
- 2026-11-02: add by m2/dev
TZ3V69JJ2V TZ3V69JJ2V
| URI | m2://inv/TZ3V69JJ2V |
|---|---|
| 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 2610.17737#PFR3 (statement). In 8SXY7Y68HV/e1, theorem E
History
- 2026-10-28: add by m2/v0.4.2
cotangent TZ3WJQQEYM
| URI | m2://inv/TZ3WJQQEYM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.4.2/cotangent, cotangent (concept). In 907G4C4EJ1, index, section 2.4.2
History
- 2026-11-01: add by m2/v0.6.13
TZ3ZA9XKQD TZ3ZA9XKQD
| URI | m2://inv/TZ3ZA9XKQD |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 01-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33529#7SOB (unknown). In RQZGQG3PBR/e1, unknown II.12.15
History
- 2026-10-30: add by m2/v0.4.12
TZ43GKTNG2 TZ43GKTNG2
| URI | m2://inv/TZ43GKTNG2 |
|---|---|
| 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.31276#QZEV (statement). In WYDHWYFRFK/e1, theorem 4.4
History
- 2026-10-31: add by m2/v0.5.6
TZ4583Z3CJ TZ4583Z3CJ
| URI | m2://inv/TZ4583Z3CJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17026#J8LL (example). In 76G7J23DNZ/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
TZ49QWBGJ5 TZ49QWBGJ5
| URI | m2://inv/TZ49QWBGJ5 |
|---|---|
| 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#9D4K (statement). In H3FDP8S1Z7/e1, theorem 5.8
History
- 2026-10-27: add by m2/v0.3.5
Robert P. Dilworth TZ4B3748GV
| URI | m2://inv/TZ4B3748GV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P0JI, Robert P. Dilworth (topic)
History
- 2026-11-02: add by m2/dev
substitution TZ4J6ZFYM2
| URI | m2://inv/TZ4J6ZFYM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GSR2, substitution (definition)
History
- 2026-11-02: add by m2/dev
path complement graph TZ4QMQFB8M
| URI | m2://inv/TZ4QMQFB8M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136039958, path complement graph (unknown). Also MathWorld PathComplementGraph
History
- 2026-10-26: add by m2/dev
Generalized smoothness under SGC TZ4YJ8DZTB
| URI | m2://inv/TZ4YJ8DZTB |
|---|---|
| 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.12641#1XLI, Generalized smoothness under SGC (statement). In X5BYGZZHPF/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
Bound Variables TZ4ZSNGGN1
| URI | m2://inv/TZ4ZSNGGN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex#defn-1, Bound Variables (definition). In PKGMM3P5QY, defn, section 19.9
History
- 2026-11-01: add by m2/v0.6.13
Conditional valuation of a European call TZ58BF2HPK
| URI | m2://inv/TZ58BF2HPK |
|---|---|
| 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.18180#K69Q, Conditional valuation of a European call (statement). In NJGS7D1EPH/e1, proposition 8.5
History
- 2026-10-28: add by m2/v0.4.2
Paul Jean Joseph Barbarin TZ58N2W3R0
| URI | m2://inv/TZ58N2W3R0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Jean Joseph Barbarin, Paul Jean Joseph Barbarin (topic). Also Wikidata Q47463275
History
- 2026-11-02: add by m2/dev
Grouped Dirichlet distribution TZ59E999R8
| URI | m2://inv/TZ59E999R8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grouped Dirichlet distribution, Grouped Dirichlet distribution (definition). Also Wikidata Q18207554
History
- 2026-11-02: add by m2/dev
Delaunay elements TZ5H7G3RYR
| URI | m2://inv/TZ5H7G3RYR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital elements#N5SI, Delaunay elements (unknown)
History
- 2026-11-02: add by m2/dev
TZ5JJSJ26Z TZ5JJSJ26Z
| URI | m2://inv/TZ5JJSJ26Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.27366#5IEJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Circle bound TZ5SYQMS91
| URI | m2://inv/TZ5SYQMS91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35325#X5QN, Circle bound (statement). In GHT5WXFA4E/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
TZ5TTQZ5S5 TZ5TTQZ5S5
| URI | m2://inv/TZ5TTQZ5S5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9801068#1BRG (statement). In PMMWXCJVAZ/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.3.5
\texttt{Entropy exponential convergence by log-Sobolev inequality TZ60DP36Z5
| URI | m2://inv/TZ60DP36Z5 |
|---|---|
| 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.06343#TY2O, \texttt{Entropy exponential convergence by log-Sobolev inequality (statement). In R8176XJ535/e1, theorem 1.9
History
- 2026-10-29: add by m2/v0.4.10
TZ64STHRQ5 TZ64STHRQ5
| URI | m2://inv/TZ64STHRQ5 |
|---|---|
| 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 2609.33476#8ATU (statement). In DAQW640R25/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
TZ679KRZG3 TZ679KRZG3
| URI | m2://inv/TZ679KRZG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36509#CCKX (statement). In DPJ15KW23C/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Irving Segal TZ6AFD3MKA
| URI | m2://inv/TZ6AFD3MKA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#PWGW, Irving Segal (unknown)
History
- 2026-11-02: add by m2/dev
TZ6B4HPTMC TZ6B4HPTMC
| URI | m2://inv/TZ6B4HPTMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#6RO1 (statement). In WRE0P7V6Z3/e1, lemma 14.6
History
- 2026-10-30: add by m2/v0.4.12
$(\eta,\delta)$-approximate covering number TZ6FHYEXB1
| URI | m2://inv/TZ6FHYEXB1 |
|---|---|
| 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.11834#RB94, $(\eta,\delta)$-approximate covering number (definition). In SMC03CWP4R/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.3
Kan extension TZ6HJT4WPZ
| URI | m2://inv/TZ6HJT4WPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Kan extension RN9D96ESWN |
Mentions
- wikidata: Wikidata Q1723418, Kan extension (unknown). Also nLab Kan extension
- wikipedia: Wikipedia Kan extension, Kan extension (definition). Also Wikidata Q1723418
History
- 2026-10-26: add by m2/dev
Probability matching TZ6QAQM70E
| URI | m2://inv/TZ6QAQM70E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability matching, Probability matching (definition). Also Wikidata Q7246881
History
- 2026-11-02: add by m2/dev
TZ6W2X95QX TZ6W2X95QX
| URI | m2://inv/TZ6W2X95QX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-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 2610.17441#F81P (example). In 9Q8S0NWHP2/e1, example 4.3
History
- 2026-10-28: add by m2/v0.4.2
Morse Index TZ6W38ZTQE
| URI | m2://inv/TZ6W38ZTQE |
|---|---|
| Kind | definition |
| 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.01937#BJV4, Morse Index (definition). In BAEDMM7YM5/e1, definition 9
History
- 2026-10-29: add by m2/v0.4.12
RL TZ6WF2E4F6
| URI | m2://inv/TZ6WF2E4F6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#5NH1, RL (definition)
History
- 2026-11-02: add by m2/dev
Tangential trapezoid TZ6ZDV1VEK
| URI | m2://inv/TZ6ZDV1VEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangential trapezoid, Tangential trapezoid (definition). Also Wikidata Q7682884
History
- 2026-11-02: add by m2/dev
TZ70YET589 TZ70YET589
| URI | m2://inv/TZ70YET589 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-27 (proof). In E59CDZA4DP, proof, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
TZ7519C5R0 TZ7519C5R0
| URI | m2://inv/TZ7519C5R0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-5.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
TZ7859XAB8 TZ7859XAB8
| URI | m2://inv/TZ7859XAB8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.14044#B4II (definition). In 5452SJRWDT/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
List of formulas in elementary geometry TZ7EQNPYBB
| URI | m2://inv/TZ7EQNPYBB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulas in elementary geometry, List of formulas in elementary geometry (topic). Also Wikidata Q6621303
History
- 2026-11-02: add by m2/dev
convolution TZ7FJC639X
| URI | m2://inv/TZ7FJC639X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Convolution 2Z29JN3VES |
Mentions
- wikidata: Wikidata Q210857, convolution (unknown). Also MathWorld Convolution, nLab convolution product
- wikipedia: Wikipedia Convolution, Convolution (definition). Also Wikidata Q210857
History
- 2026-10-26: add by m2/dev
A bound for every descendant TZ7JA7YEG5
| URI | m2://inv/TZ7JA7YEG5 |
|---|---|
| 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.06925#HWH3, A bound for every descendant (statement). In P0NV7337EK/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.10
TZ7K1600SG TZ7K1600SG
| URI | m2://inv/TZ7K1600SG |
|---|---|
| Kind | statement |
| 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 2609.27125#FKYS (statement)
History
- 2026-11-01: add by m2/v0.6.15
TZ7KRGKN38 TZ7KRGKN38
| URI | m2://inv/TZ7KRGKN38 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop-4 (statement). In E59CDZA4DP, prop, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
TZ7P81M2BP TZ7P81M2BP
| URI | m2://inv/TZ7P81M2BP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10828#Q04P (statement). In 8PTDFHV8SQ/e1, proposition 9.1
History
- 2026-10-28: add by m2/v0.4.3
Al-Mahani TZ7QBGA4VJ
| URI | m2://inv/TZ7QBGA4VJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Mahani, Al-Mahani (topic). Also Wikidata Q2594199
History
- 2026-11-02: add by m2/dev
TZ7VKCWD6Y TZ7VKCWD6Y
| URI | m2://inv/TZ7VKCWD6Y |
|---|---|
| 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.12908#O2IX (statement). In TNC658NVMQ/e1, proposition 8.6
History
- 2026-10-28: add by m2/v0.4.2
TZ7ZDVXSHK TZ7ZDVXSHK
| URI | m2://inv/TZ7ZDVXSHK |
|---|---|
| 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.11968#4EJF (statement). In X6E7P2ACAS/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.3
Gauss–Legendre algorithm TZ802G11KY
| URI | m2://inv/TZ802G11KY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2448949, Gauss–Legendre algorithm (unknown). Also MathWorld PiFormulas
- wikipedia: Wikipedia Gauss–Legendre algorithm, Gauss–Legendre algorithm (definition). Also Wikidata Q2448949
History
- 2026-10-26: add by m2/dev
Less-is-better effect TZ869D6V72
| URI | m2://inv/TZ869D6V72 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#OA0W, Less-is-better effect (unknown)
History
- 2026-11-02: add by m2/dev
Tryphon T. Georgiou TZ8DCCDXTZ
| URI | m2://inv/TZ8DCCDXTZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tryphon T. Georgiou, Tryphon T. Georgiou (topic). Also Wikidata Q62518767
History
- 2026-11-02: add by m2/dev
TZ8DGF0YX6 TZ8DGF0YX6
| URI | m2://inv/TZ8DGF0YX6 |
|---|---|
| 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.18287#85ZA (statement). In ZXZN6RMN38/e1, theorem 8
History
- 2026-10-28: add by m2/v0.4.2
TZ8DKYS2XT TZ8DKYS2XT
| URI | m2://inv/TZ8DKYS2XT |
|---|---|
| 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 2112.05010#XZP6 (statement). In 4SZNPS3Z00/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.6
Fredrik Gripenstierna TZ8P05ZAND
| URI | m2://inv/TZ8P05ZAND |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fredrik Gripenstierna, Fredrik Gripenstierna (topic). Also Wikidata Q19689979
History
- 2026-11-02: add by m2/dev
Mixing paradox TZ8S0Y6RPM
| URI | m2://inv/TZ8S0Y6RPM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbs paradox#WY5W, Mixing paradox (statement)
History
- 2026-11-02: add by m2/dev
TZ8XQ1X2CT TZ8XQ1X2CT
| URI | m2://inv/TZ8XQ1X2CT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#B4CJ (statement). In WK2YHYEDZ9/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
TZ8YWNXEF9 TZ8YWNXEF9
| URI | m2://inv/TZ8YWNXEF9 |
|---|---|
| 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 1011.5443#MFDP (statement). In VQ0K2GV62A/e1, theorem 6.6
History
- 2026-10-27: add by m2/v0.3.5
TZ8ZN0TY5N TZ8ZN0TY5N
| URI | m2://inv/TZ8ZN0TY5N |
|---|---|
| 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 2610.11946#I7I9 (statement). In VQ96F8CY5M/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.3
TZ90PD0V13 TZ90PD0V13
| URI | m2://inv/TZ90PD0V13 |
|---|---|
| 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.15881#0RGJ (statement). In RK0JCSYK33/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Scannell--Wolf TZ98GHYVEC
| URI | m2://inv/TZ98GHYVEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#2ECX, Scannell--Wolf (statement). In VNE8N0D2FB/e1, theorem 4.15
History
- 2026-10-31: add by m2/v0.5.6
TZ99102K3J TZ99102K3J
| URI | m2://inv/TZ99102K3J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#WA6M (definition). In HX63A1PH1W/e1, definition 8.31
History
- 2026-10-28: add by m2/v0.4.3
Decreasing sequence TZ99WYVC4F
| URI | m2://inv/TZ99WYVC4F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequence#4MM1, Decreasing sequence (unknown)
History
- 2026-11-02: add by m2/dev
true TZ9DYY43DD
| URI | m2://inv/TZ9DYY43DD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of rules of inference#8DDL, true (definition)
History
- 2026-11-02: add by m2/dev
Cleo TZ9E3YVQD0
| URI | m2://inv/TZ9E3YVQD0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cleo (mathematician), Cleo (topic). Also Wikidata Q132818621
History
- 2026-11-02: add by m2/dev
fundamental theorem of finitely generated abelian groups TZ9MZ4TQPA
| URI | m2://inv/TZ9MZ4TQPA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1589600, fundamental theorem of finitely generated abelian groups (statement). Also nLab fundamental theorem of finitely generated abelian groups
History
- 2026-10-26: add by m2/dev
James A. Maynard TZA0CD2T2H
| URI | m2://inv/TZA0CD2T2H |
|---|---|
| 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#H54U, James A. Maynard (topic)
History
- 2026-11-02: add by m2/dev
Quasitopological space TZA0EF0PB1
| URI | m2://inv/TZA0EF0PB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasitopological space, Quasitopological space (definition). Also Wikidata Q7269538
History
- 2026-11-02: add by m2/dev
TZA42ERYEQ TZA42ERYEQ
| URI | m2://inv/TZA42ERYEQ |
|---|---|
| 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.19806#XR8N (statement). In 64WX3WHW4H/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
TZA587S231 TZA587S231
| URI | m2://inv/TZA587S231 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10736#9UWO (statement). In NCYKB4QG5P/e1, proposition 6.8
History
- 2026-10-28: add by m2/v0.4.3
TZA93SXEPT TZA93SXEPT
| URI | m2://inv/TZA93SXEPT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07890#T32S (definition). In 6F3GSDT2V1/e1, definition 3.12
History
- 2026-10-29: add by m2/v0.4.10
Evaluating polynomials by the remainder theorem TZAB3HKZDP
| URI | m2://inv/TZAB3HKZDP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synthetic division#0GIP, Evaluating polynomials by the remainder theorem (statement)
History
- 2026-11-02: add by m2/dev
Edge-to-edge tiling TZAN8DBMA8
| URI | m2://inv/TZAN8DBMA8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tessellation#D904, Edge-to-edge tiling (unknown)
History
- 2026-11-02: add by m2/dev
TZB92A9ACB TZB92A9ACB
| URI | m2://inv/TZB92A9ACB |
|---|---|
| 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.29677#ZERF (statement)
History
- 2026-11-01: add by m2/v0.6.15
TZBB86KQ6B TZBB86KQ6B
| URI | m2://inv/TZBB86KQ6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.12141#43OS (statement). In V980ZMH759/e1, theorem 3.12
History
- 2026-10-27: add by m2/v0.4.0
TZBCYKFZMM TZBCYKFZMM
| URI | m2://inv/TZBCYKFZMM |
|---|---|
| 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 2602.03909#E3U3 (statement). In WWFAVFGPQQ/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.0
TZBN3AASY7 TZBN3AASY7
| URI | m2://inv/TZBN3AASY7 |
|---|---|
| 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 2511.05069#G87B (statement). In SFQBJBTW8K/e1, theorem 9.5
History
- 2026-10-27: add by m2/v0.3.5
Fritz Noether TZBNX510JT
| URI | m2://inv/TZBNX510JT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fritz Noether, Fritz Noether (topic). Also Wikidata Q68527
History
- 2026-11-02: add by m2/dev
TZC2K85KTH TZC2K85KTH
| URI | m2://inv/TZC2K85KTH |
|---|---|
| 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 2604.05177#89FF (statement). In G04BKQV6YM/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Examples TZCJVQP54T
| URI | m2://inv/TZCJVQP54T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom#2VKV, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications TZCTV89BE2
| URI | m2://inv/TZCTV89BE2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Band matrix#K3LO, Applications (example)
History
- 2026-11-02: add by m2/dev
Movie plot security TZCY3MW102
| URI | m2://inv/TZCY3MW102 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruce Schneier#ILPX, Movie plot security (unknown)
History
- 2026-11-02: add by m2/dev
Lebrun manifold TZCYG3ZKY3
| URI | m2://inv/TZCYG3ZKY3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebrun manifold, Lebrun manifold (definition). Also Wikidata Q6511432
History
- 2026-11-02: add by m2/dev
Chosen prefix collision attack TZCZ9VWBQN
| URI | m2://inv/TZCZ9VWBQN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collision attack#LFZY, Chosen prefix collision attack (unknown)
History
- 2026-11-02: add by m2/dev
TZD0CYKR8D TZD0CYKR8D
| URI | m2://inv/TZD0CYKR8D |
|---|---|
| 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.23617#QGYC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Global regular solutions for $\delta=1$ TZD3HERXCR
| URI | m2://inv/TZD3HERXCR |
|---|---|
| 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.13248#0U04, Global regular solutions for $\delta=1$ (statement). In MGMC5SREP3/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
TZD5DFWV1E TZD5DFWV1E
| URI | m2://inv/TZD5DFWV1E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-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.09319#DUU9 (definition). In GMRT5GHBZS/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
TZDBAX5DY2 TZDBAX5DY2
| URI | m2://inv/TZDBAX5DY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2310.17520#DJ2T (statement). In 93AJXFH963/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Roy Adler TZDBNNCR4F
| URI | m2://inv/TZDBNNCR4F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roy Adler, Roy Adler (topic). Also Wikidata Q15223656
History
- 2026-11-02: add by m2/dev
TZDCGP80KR TZDCGP80KR
| URI | m2://inv/TZDCGP80KR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 19.6
History
- 2026-11-01: add by m2/v0.6.13
TZDM56QH62 TZDM56QH62
| URI | m2://inv/TZDM56QH62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#card:semiring (statement). In N54F33XE07, lem, section C.2
History
- 2026-11-01: add by m2/v0.6.13
universal, property, of a modality TZDMCTDM0Y
| URI | m2://inv/TZDMCTDM0Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/universal-property-of-a-modality, universal, property, of a modality (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Dehn–Sommerville equations TZDQJ5XJBE
| URI | m2://inv/TZDQJ5XJBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehn–Sommerville equations, Dehn–Sommerville equations (definition). Also Wikidata Q4027001
History
- 2026-11-02: add by m2/dev
TZE3NFXK6S TZE3NFXK6S
| URI | m2://inv/TZE3NFXK6S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.03373#HMO0 (statement). In ZA7DBT3NWR/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
TZEBKH0V58 TZEBKH0V58
| URI | m2://inv/TZEBKH0V58 |
|---|---|
| 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.19545#49HW (statement). In MKNMVBEYK2/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Exponential-logarithmic distribution TZEDW337R9
| URI | m2://inv/TZEDW337R9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MV6U, Exponential-logarithmic distribution (definition)
History
- 2026-11-02: add by m2/dev
Native space associated with an admissible operator $\Lop$ TZEFM9H8PQ
| URI | m2://inv/TZEFM9H8PQ |
|---|---|
| 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.14920#0DC7, Native space associated with an admissible operator $\Lop$ (statement). In 1F8ENX770M/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Victor L. Shapiro TZEQJ69PBG
| URI | m2://inv/TZEQJ69PBG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor L. Shapiro, Victor L. Shapiro (topic). Also Wikidata Q56599692
History
- 2026-11-02: add by m2/dev
TZEX6ME1XV TZEX6ME1XV
| URI | m2://inv/TZEX6ME1XV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24739#KW5Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
TZF4FBCWHA TZF4FBCWHA
| URI | m2://inv/TZF4FBCWHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35383#4V89 (statement). In HSR4748706/e1, corollary 2.6
History
- 2026-10-30: add by m2/v0.4.12
Lorenz-96 TZFB3DVGWG
| URI | m2://inv/TZFB3DVGWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#QLFD, Lorenz-96 (definition)
History
- 2026-11-02: add by m2/dev
Tangle rotation TZFWEHK24M
| URI | m2://inv/TZFWEHK24M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#OW7B, Tangle rotation (unknown)
History
- 2026-11-02: add by m2/dev
TZG1CJ1PG7 TZG1CJ1PG7
| URI | m2://inv/TZG1CJ1PG7 |
|---|---|
| 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 2511.07697#RX2V (statement). In 57P5P33HS3/e1, corollary 5
History
- 2026-10-27: add by m2/v0.3.5
Examples TZG1G4EHND
| URI | m2://inv/TZG1G4EHND |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sextic equation#1XKV, Examples (example)
History
- 2026-11-02: add by m2/dev
Wall theorems TZGF00PY2D
| URI | m2://inv/TZGF00PY2D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wall theorems, Wall theorems (statement). Also Wikidata Q141128372
History
- 2026-11-02: add by m2/dev
TZGKF8CPKX TZGKF8CPKX
| URI | m2://inv/TZGKF8CPKX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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 2310.15716#JQL3 (definition). In 7WDA4MEWE2/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.6
Computational Diffie–Hellman assumption TZGR0A8GWG
| URI | m2://inv/TZGR0A8GWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational Diffie–Hellman assumption, Computational Diffie–Hellman assumption (definition). Also Wikidata Q5157285
History
- 2026-11-02: add by m2/dev
preorder TZGRYR41T0
| URI | m2://inv/TZGRYR41T0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Preorder 0VABYWJWH9 |
Mentions
- wikidata: Wikidata Q1425985, preorder (unknown). Also MathWorld Preorder, nLab preorder
- wikipedia: Wikipedia Preorder, Preorder (definition). Also Wikidata Q1425985
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
TZGSFD2TTM TZGSFD2TTM
| URI | m2://inv/TZGSFD2TTM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#0P3I (definition). In M0SQY5EZN5/e1, definition 4.3.1
History
- 2026-10-27: add by m2/v0.3.5
Twists of elliptic curves TZGV0M4APX
| URI | m2://inv/TZGV0M4APX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twists of elliptic curves, Twists of elliptic curves (definition). Also Wikidata Q7858596
History
- 2026-11-02: add by m2/dev
Definition TZH0W6PC1F
| URI | m2://inv/TZH0W6PC1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contiguity (probability theory)#57GC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lebanon TZH36SF34R
| URI | m2://inv/TZH36SF34R |
|---|---|
| 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 Q822, Lebanon (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Lebanon
History
- 2026-10-26: add by m2/dev
TZH53BNZED TZH53BNZED
| URI | m2://inv/TZH53BNZED |
|---|---|
| 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.11905#WSVU (statement). In QQFXT31CA5/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.3
Examples TZHH37FEQG
| URI | m2://inv/TZHH37FEQG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's theorem of revolving orbits#T5DP, Examples (example)
History
- 2026-11-02: add by m2/dev
Katherine J. Thompson TZHN21DGZ6
| URI | m2://inv/TZHN21DGZ6 |
|---|---|
| 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#XLJ6, Katherine J. Thompson (topic)
History
- 2026-11-02: add by m2/dev
TZHTKF81K1 TZHTKF81K1
| URI | m2://inv/TZHTKF81K1 |
|---|---|
| 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.31910#FSUG (statement). In E4EK1XXPY4/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
Root existence TZHVQHWBFC
| URI | m2://inv/TZHVQHWBFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#118W, Root existence (statement). In 88GEN3Z5VG/e1, theorem 8.1
History
- 2026-10-29: add by m2/v0.4.10
Discriminant parity TZJC65FHHR
| URI | m2://inv/TZJC65FHHR |
|---|---|
| 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.08753#OBJI, Discriminant parity (statement). In J9P361Z1CX/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
Extremal monomorphism TZJCV0BVR2
| URI | m2://inv/TZJCV0BVR2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monomorphism#4K0C, Extremal monomorphism (unknown)
History
- 2026-11-02: add by m2/dev
Irwin–Hall distribution TZJGGCNXW9
| URI | m2://inv/TZJGGCNXW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7SAE, Irwin–Hall distribution (definition)
History
- 2026-11-02: add by m2/dev
Sumner's conjecture TZJPH47CRZ
| URI | m2://inv/TZJPH47CRZ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sumner's conjecture, Sumner's conjecture (conjecture). Also Wikidata Q7637935
History
- 2026-11-02: add by m2/dev
TZJRGWBZW4 TZJRGWBZW4
| URI | m2://inv/TZJRGWBZW4 |
|---|---|
| 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.35275#2DUE (statement). In B0NV0JBAKB/e1, lemma A.4
History
- 2026-10-30: add by m2/v0.4.12
History of metamathematics TZJV3S31Y9
| URI | m2://inv/TZJV3S31Y9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metamathematics#6JIV, History of metamathematics (unknown)
History
- 2026-11-02: add by m2/dev
Positive integral $D(n)$-triple TZJYDZJCPJ
| URI | m2://inv/TZJYDZJCPJ |
|---|---|
| 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.03121#A5AJ, Positive integral $D(n)$-triple (definition). In T50D36FB04/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
TZKA14NH2N TZKA14NH2N
| URI | m2://inv/TZKA14NH2N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise:counterexamplediffunder (exercise). In E59CDZA4DP, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
Gene H. Golub TZKMC4487Q
| URI | m2://inv/TZKMC4487Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gene H. Golub, Gene H. Golub (topic). Also Wikidata Q1384851
History
- 2026-11-02: add by m2/dev
TZKPYEPXYX TZKPYEPXYX
| URI | m2://inv/TZKPYEPXYX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#prob:prime_preimage (exercise). In RZP28ERRZV, sproblem, section 4.8
History
- 2026-11-01: add by m2/v0.6.13
first-crossing event TZM4PSD2PG
| URI | m2://inv/TZM4PSD2PG |
|---|---|
| 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 2610.14050#VBW6, first-crossing event (statement). In RENT22YXW3/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
TZMNQDAPMZ TZMNQDAPMZ
| URI | m2://inv/TZMNQDAPMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.36823#WQ1O (statement). In 55WT8DME6Y/e1, corollary 2.7
History
- 2026-10-30: add by m2/v0.4.12
Daniel Nagin TZMT8VNEAH
| URI | m2://inv/TZMT8VNEAH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Nagin, Daniel Nagin (topic). Also Wikidata Q22279346
History
- 2026-11-02: add by m2/dev
Properties TZN2B5W1SQ
| URI | m2://inv/TZN2B5W1SQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct sum of modules#XFXA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Syncategorematic term TZN37XRY6R
| URI | m2://inv/TZN37XRY6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syncategorematic term, Syncategorematic term (definition). Also Wikidata Q17084260
History
- 2026-11-02: add by m2/dev
TZN3ZM5AFS TZN3ZM5AFS
| URI | m2://inv/TZN3ZM5AFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#302H (statement)
History
- 2026-11-02: add by m2/v0.6.18
TZN5NCN0B4 TZN5NCN0B4
| URI | m2://inv/TZN5NCN0B4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#70AH (definition). In 8XAKGH8S2D/e1, definition 4.4
History
- 2026-10-29: add by m2/v0.4.10
Bridget Tenner TZN67MMYR1
| URI | m2://inv/TZN67MMYR1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bridget Tenner, Bridget Tenner (topic). Also Wikidata Q102302510
History
- 2026-11-02: add by m2/dev
Removable singularity theorem TZNARE1Y5E
| URI | m2://inv/TZNARE1Y5E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#problem-2, Removable singularity theorem (exercise). In RZP28ERRZV, problem, section 39.7.2
History
- 2026-11-01: add by m2/v0.6.13
Examples TZNCQ50CZP
| URI | m2://inv/TZNCQ50CZP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function space#R5CD, Examples (example)
History
- 2026-11-02: add by m2/dev
Étienne Pardoux TZNH5K0YGM
| URI | m2://inv/TZNH5K0YGM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étienne Pardoux, Étienne Pardoux (topic). Also Wikidata Q20650336
History
- 2026-11-02: add by m2/dev
Generalizations TZNJ8KV3Q3
| URI | m2://inv/TZNJ8KV3Q3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descartes's theorem#V60M, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Very general quartic fourfold TZNJP7F8JG
| URI | m2://inv/TZNJP7F8JG |
|---|---|
| Kind | example |
| 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 2610.06669#4RZE, Very general quartic fourfold (example). In YXD3950ZXR/e1, example 5.4
History
- 2026-10-29: add by m2/v0.4.10
TZNRVGW05Z TZNRVGW05Z
| URI | m2://inv/TZNRVGW05Z |
|---|---|
| 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.32033#CU5C (statement). In 17W5G060QX/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
Gonality of an algebraic curve TZNXBQ8P81
| URI | m2://inv/TZNXBQ8P81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gonality of an algebraic curve, Gonality of an algebraic curve (definition). Also Wikidata Q5581336
History
- 2026-11-02: add by m2/dev
Loops in $S^2$ are nulhomotopic TZP537NTEC
| URI | m2://inv/TZP537NTEC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#example-1, Loops in $S^2$ are nulhomotopic (example). In RZP28ERRZV, example, section 98.2
History
- 2026-11-01: add by m2/v0.6.13
TZP6RGMSGN TZP6RGMSGN
| URI | m2://inv/TZP6RGMSGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.01806#JSV5 (statement). In 4FXW9CRBXX/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.12
TZP8YY4XHM TZP8YY4XHM
| URI | m2://inv/TZP8YY4XHM |
|---|---|
| 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.02993#SG4R (statement). In TJH58FRGEN/e1, lemma 5.10
History
- 2026-10-29: add by m2/v0.4.12
The zero-energy profile branch TZPKPK1MYS
| URI | m2://inv/TZPKPK1MYS |
|---|---|
| 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.00241#PILH, The zero-energy profile branch (statement). In VBRQTN2RXN/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Gluing axiom TZQDZX9TTK
| URI | m2://inv/TZQDZX9TTK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#I5DG, Gluing axiom (statement)
History
- 2026-11-02: add by m2/dev
TZQGYJ898N TZQGYJ898N
| URI | m2://inv/TZQGYJ898N |
|---|---|
| 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.38548#0JFW (definition). In Z7ZFV3HM1S/e1, definition 5.2
History
- 2026-10-30: add by m2/v0.4.12
TZQVP2B0E1 TZQVP2B0E1
| URI | m2://inv/TZQVP2B0E1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#D2HR (definition)
History
- 2026-11-01: add by m2/v0.6.15
Explicit description of the adelic limit TZR53F6S5J
| URI | m2://inv/TZR53F6S5J |
|---|---|
| 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.21534#T7P1, Explicit description of the adelic limit (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sectigo TZRKF83XB9
| URI | m2://inv/TZRKF83XB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sectigo, Sectigo (definition). Also Wikidata Q141253561
History
- 2026-11-02: add by m2/dev
TZRNQ70VXT TZRNQ70VXT
| URI | m2://inv/TZRNQ70VXT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26450#A0GT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Suvankar Dutta TZRVSXX382
| URI | m2://inv/TZRVSXX382 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#001T, Suvankar Dutta (unknown)
History
- 2026-11-02: add by m2/dev
TZRYTFMZZJ TZRYTFMZZJ
| URI | m2://inv/TZRYTFMZZJ |
|---|---|
| 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.28669#VV6Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Polynomial Wigner–Ville distribution TZRZVKHK4M
| URI | m2://inv/TZRZVKHK4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial Wigner–Ville distribution, Polynomial Wigner–Ville distribution (definition). Also Wikidata Q25109649
History
- 2026-11-02: add by m2/dev
Murray S. Klamkin TZS1S5V2DD
| URI | m2://inv/TZS1S5V2DD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VNUR, Murray S. Klamkin (topic)
History
- 2026-11-02: add by m2/dev
Definition TZS67EHJY5
| URI | m2://inv/TZS67EHJY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia If and only if#REU2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Axiom 4 TZS7MRTZ0X
| URI | m2://inv/TZS7MRTZ0X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Construction of the real numbers#B2E1, Axiom 4 (statement)
History
- 2026-11-02: add by m2/dev
David Wood TZS9E8WK2W
| URI | m2://inv/TZS9E8WK2W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Wood (mathematician), David Wood (topic). Also Wikidata Q101579938
History
- 2026-11-02: add by m2/dev
Minimum-maximum theorem / Extreme value theorem TZSBJ7N7WQ
| URI | m2://inv/TZSBJ7N7WQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#thm-1, Minimum-maximum theorem / Extreme value theorem (statement). In E59CDZA4DP, thm, section 2.3.1
History
- 2026-11-01: add by m2/v0.6.13
TZSCFDSRKG TZSCFDSRKG
| URI | m2://inv/TZSCFDSRKG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#J7JM (definition). In JS5FKV1S9T/e1, definition C.2
History
- 2026-10-27: add by m2/v0.3.5
conical surface TZSE2RXE14
| URI | m2://inv/TZSE2RXE14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2518149, conical surface (unknown). Also MathWorld GeneralizedCone
- wikipedia: Wikipedia Conical surface, Conical surface (definition). Also Wikidata Q2518149
History
- 2026-10-26: add by m2/dev
TZSEEJK474 TZSEEJK474
| URI | m2://inv/TZSEEJK474 |
|---|---|
| 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.25390#3R96 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TZSJW9NJPV TZSJW9NJPV
| URI | m2://inv/TZSJW9NJPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#LLM7 (statement). In KAYGQMQPGS/e1, theorem 5.14
History
- 2026-10-29: add by m2/v0.4.12
TZSSQ5JZMZ TZSSQ5JZMZ
| URI | m2://inv/TZSSQ5JZMZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Ordinal regression TZSZ95TB7N
| URI | m2://inv/TZSZ95TB7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal regression, Ordinal regression (definition). Also Wikidata Q7100793
History
- 2026-11-02: add by m2/dev
Definition TZT1T9X7YS
| URI | m2://inv/TZT1T9X7YS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surjective function#A26O, Definition (definition)
History
- 2026-11-02: add by m2/dev
The good event $\Omega_d$ TZTC1WEY0K
| URI | m2://inv/TZTC1WEY0K |
|---|---|
| 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 2610.17946#BX0M, The good event $\Omega_d$ (statement). In A7HTYWJNCX/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
Blinding TZTFTWYWGX
| URI | m2://inv/TZTFTWYWGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blinding (cryptography), Blinding (definition). Also Wikidata Q4926699
History
- 2026-11-02: add by m2/dev
Abstract model checking TZTW5W9GWT
| URI | m2://inv/TZTW5W9GWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract model checking, Abstract model checking (definition). Also Wikidata Q4669969
History
- 2026-11-02: add by m2/dev
TZTYQCYAT2 TZTYQCYAT2
| URI | m2://inv/TZTYQCYAT2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#9JKM (definition). In HX63A1PH1W/e1, definition 7.13
History
- 2026-10-28: add by m2/v0.4.3
TZV1S6GJRQ TZV1S6GJRQ
| URI | m2://inv/TZV1S6GJRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#HMDK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Extensions TZVDWN7CQH
| URI | m2://inv/TZVDWN7CQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consolidated Standards of Reporting Trials#Q69Z, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Malamanteau TZVEG0S5N3
| URI | m2://inv/TZVEG0S5N3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xkcd#443R, Malamanteau (unknown)
History
- 2026-11-02: add by m2/dev
Properties TZVFSRB92R
| URI | m2://inv/TZVFSRB92R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automorphic L-function#JSYB, Properties (statement)
History
- 2026-11-02: add by m2/dev
TZVGQ6KHV1 TZVGQ6KHV1
| URI | m2://inv/TZVGQ6KHV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#92OE (statement). In A4VP56CT7B/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Parafactorial local ring TZVH0DRFGP
| URI | m2://inv/TZVH0DRFGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parafactorial local ring, Parafactorial local ring (definition). Also Wikidata Q7134519
History
- 2026-11-02: add by m2/dev
Kalai–Smorodinsky bargaining solution TZVHY7KNSH
| URI | m2://inv/TZVHY7KNSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalai–Smorodinsky bargaining solution, Kalai–Smorodinsky bargaining solution (definition). Also Wikidata Q7029725
History
- 2026-11-02: add by m2/dev
Statistical Rethinking TZVKN2K4BM
| URI | m2://inv/TZVKN2K4BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical Rethinking, Statistical Rethinking (definition). Also Wikidata Q126520754
History
- 2026-11-02: add by m2/dev
Boerdijk–Coxeter helix TZVMCAFZ10
| URI | m2://inv/TZVMCAFZ10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boerdijk–Coxeter helix, Boerdijk–Coxeter helix (definition). Also Wikidata Q4937201
History
- 2026-11-02: add by m2/dev
TZVNBK031J TZVNBK031J
| URI | m2://inv/TZVNBK031J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-67 (exercise). In E59CDZA4DP, exercise, section 10.5.7
History
- 2026-11-01: add by m2/v0.6.13
TZVV8XFS1M TZVV8XFS1M
| URI | m2://inv/TZVV8XFS1M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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.09133#IFJZ (definition). In E7BPGPP9Z5/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
TZVXVYR3TT TZVXVYR3TT
| URI | m2://inv/TZVXVYR3TT |
|---|---|
| Kind | problem |
| 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 2610.13972#BUIT (problem). In S1KHNS8XQM/e1, problem 13.3
History
- 2026-10-28: add by m2/v0.4.2
Reuben Louis Goodstein TZVZSP8D48
| URI | m2://inv/TZVZSP8D48 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#R0OC, Reuben Louis Goodstein (topic)
History
- 2026-11-02: add by m2/dev
TZW06KKPYT TZW06KKPYT
| URI | m2://inv/TZW06KKPYT |
|---|---|
| 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.23671#XGHC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Karhunen–Loève transform TZW19PXFF2
| URI | m2://inv/TZW19PXFF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#ZASD, Karhunen–Loève transform (statement)
History
- 2026-11-02: add by m2/dev
Judith Q. Longyear TZWBFBXVYC
| URI | m2://inv/TZWBFBXVYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5U7U, Judith Q. Longyear (unknown)
History
- 2026-11-02: add by m2/dev
Drinfeld--Vladut bound TZWM3P6E5Z
| URI | m2://inv/TZWM3P6E5Z |
|---|---|
| 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.32834#8QQH, Drinfeld--Vladut bound (statement). In N4M6B8EMCW/e1, theorem 2.11
History
- 2026-10-31: add by m2/v0.5.6
TZWP92KX5V TZWP92KX5V
| URI | m2://inv/TZWP92KX5V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 101.9
History
- 2026-11-01: add by m2/v0.6.13
Peetre theorem TZWR5X08PZ
| URI | m2://inv/TZWR5X08PZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7160489, Peetre theorem (statement). Also Wikidata Q7160489
- thousand_plus: thousand_plus Q7160489, Peetre theorem (statement). Also Wikidata Q7160489, Wikipedia Peetre theorem
- wikipedia: Wikipedia Peetre theorem, Peetre theorem (statement). Also Wikidata Q7160489
History
- 2026-10-26: add by m2/dev
TZX1SGKRBR TZX1SGKRBR
| URI | m2://inv/TZX1SGKRBR |
|---|---|
| Kind | definition |
| 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 2609.20375#VGHD (definition)
History
- 2026-11-02: add by m2/v0.6.18
Well-Posedness of Linear Inverse Systems TZX4GMW8YT
| URI | m2://inv/TZX4GMW8YT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.22321#8UJI, Well-Posedness of Linear Inverse Systems (statement)
History
- 2026-11-02: add by m2/v0.6.17
Chebyshev rational functions TZX5DXCTD9
| URI | m2://inv/TZX5DXCTD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev rational functions, Chebyshev rational functions (definition). Also Wikidata Q5089021
History
- 2026-11-02: add by m2/dev
TZX787MX9V TZX787MX9V
| URI | m2://inv/TZX787MX9V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-11 (exercise). In E59CDZA4DP, exercise, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
TZX89KAED8 TZX89KAED8
| URI | m2://inv/TZX89KAED8 |
|---|---|
| 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.22074#KJCO (definition). In F3BKXXPR3K/e1, definition 4.21
History
- 2026-10-27: add by m2/v0.4.2
Type-I periodic blow-up TZX9VY7RQY
| URI | m2://inv/TZX9VY7RQY |
|---|---|
| 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.05354#N5ME, Type-I periodic blow-up (statement). In TZ5BMDXRQZ/e1, theorem 2.9
History
- 2026-10-29: add by m2/v0.4.10
TZXJX312FZ TZXJX312FZ
| URI | m2://inv/TZXJX312FZ |
|---|---|
| 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.37897#S7Y1 (statement). In RBQ5FNCVNZ/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
TZXQJB3MRZ TZXQJB3MRZ
| URI | m2://inv/TZXQJB3MRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/manifolds.tex#definition-5 (definition). In RZP28ERRZV, definition, section 44.6
History
- 2026-11-01: add by m2/v0.6.13
TZXR4AB69S TZXR4AB69S
| URI | m2://inv/TZXR4AB69S |
|---|---|
| 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.35467#JVTI (definition). In FK89DQ9J4S/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
TZXRS8VRXM TZXRS8VRXM
| URI | m2://inv/TZXRS8VRXM |
|---|---|
| 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.09042#P75D (statement). In 7CS3N5K9FJ/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
Convergence of joint empirical distribution TZXS42SXQF
| URI | m2://inv/TZXS42SXQF |
|---|---|
| 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.38453#NVC3, Convergence of joint empirical distribution (statement). In DWKWF242Y0/e1, lemma 14
History
- 2026-10-30: add by m2/v0.4.12
Zero-knowledge password proof TZXT7YS41J
| URI | m2://inv/TZXT7YS41J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-knowledge password proof, Zero-knowledge password proof (definition). Also Wikidata Q8069448
History
- 2026-11-02: add by m2/dev
Properties TZXTDEG2SS
| URI | m2://inv/TZXTDEG2SS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl distance function#LHU5, Properties (statement)
History
- 2026-11-02: add by m2/dev
TZXVHBQTTA TZXVHBQTTA
| URI | m2://inv/TZXVHBQTTA |
|---|---|
| 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.22345#II2Y (statement). In 7JATJ4VG9G/e1, lemma 9.2
History
- 2026-10-27: add by m2/v0.4.0
Boundary nonconfinement TZXZ3GE67C
| URI | m2://inv/TZXZ3GE67C |
|---|---|
| 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.19421#NAY9, Boundary nonconfinement (statement). In 3S1VFGYWQE/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
Aleksei Sveshnikov TZY0NCJY3F
| URI | m2://inv/TZY0NCJY3F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleksei Sveshnikov, Aleksei Sveshnikov (topic). Also Wikidata Q4410618
History
- 2026-11-02: add by m2/dev
Step 4: after a first-step crash the threshold is unreachable TZYG3QKPH2
| URI | m2://inv/TZYG3QKPH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#8QPL, Step 4: after a first-step crash the threshold is unreachable (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rates of convergence TZYJJR4TV7
| URI | m2://inv/TZYJJR4TV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#WBN8, Rates of convergence (statement). In 17ACAG0N9C/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
TZYJVNBGTP TZYJVNBGTP
| URI | m2://inv/TZYJVNBGTP |
|---|---|
| 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.26745#G26V (statement)
History
- 2026-11-01: add by m2/v0.6.15
TZYSNZ6M9T TZYSNZ6M9T
| URI | m2://inv/TZYSNZ6M9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#JK7L (statement). In CSRZ9CWK69/e1, corollary 8.8
History
- 2026-10-29: add by m2/v0.4.12
TZYSQEM6NZ TZYSQEM6NZ
| URI | m2://inv/TZYSQEM6NZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-178 (exercise). In VNMV985MXX, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Dijen K. Ray-Chaudhuri TZYY49D9W4
| URI | m2://inv/TZYY49D9W4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IH01, Dijen K. Ray-Chaudhuri (topic)
History
- 2026-11-02: add by m2/dev
TZYZNBYQVF TZYZNBYQVF
| URI | m2://inv/TZYZNBYQVF |
|---|---|
| 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.20466#BHS5 (statement). In M4ZVJWM8YA/e1, proposition 5.14
History
- 2026-10-27: add by m2/v0.4.2
negative power of ten TZZ41VZM7B
| URI | m2://inv/TZZ41VZM7B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28874631, negative power of ten (unknown). Also MathWorld n-Minex
History
- 2026-10-26: add by m2/dev
Denjoy–Koksma inequality TZZ6HTXRKG
| URI | m2://inv/TZZ6HTXRKG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denjoy–Koksma inequality, Denjoy–Koksma inequality (statement). Also Wikidata Q5257887
History
- 2026-11-02: add by m2/dev
Jessie MacWilliams TZZBZ4C3WB
| URI | m2://inv/TZZBZ4C3WB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jessie MacWilliams, Jessie MacWilliams (topic). Also Wikidata Q468042
History
- 2026-11-02: add by m2/dev
Brewer sum TZZC4GG4MV
| URI | m2://inv/TZZC4GG4MV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brewer sum, Brewer sum (definition). Also Wikidata Q4962668
History
- 2026-11-02: add by m2/dev
TZZCEFJEVC TZZCEFJEVC
| URI | m2://inv/TZZCEFJEVC |
|---|---|
| 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.13869#YKX7 (statement). In AM0K62YRZ3/e1, theorem A
- arxiv: arXiv 2610.21255#G1J2 (statement). In FB4DAYJJ5F/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
Libera Trevisani Levi-Civita TZZK894FVK
| URI | m2://inv/TZZK894FVK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Libera Trevisani Levi-Civita, Libera Trevisani Levi-Civita (topic). Also Wikidata Q16007515
History
- 2026-11-02: add by m2/dev