Inventory rows TR
The cards of the rows of the inventory whose ids start with TR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Generalizations TR0275KFYB
| URI | m2://inv/TR0275KFYB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézout's identity#OSTD, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
TR08PP0VHA TR08PP0VHA
| URI | m2://inv/TR08PP0VHA |
|---|---|
| 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.38865#AXA0 (statement). In TFZNHCE6EV/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Yitzhak Ben-Zvi TR0APQV6NX
| URI | m2://inv/TR0APQV6NX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#1172, Yitzhak Ben-Zvi (unknown)
History
- 2026-11-02: add by m2/dev
TR0TE42ME5 TR0TE42ME5
| URI | m2://inv/TR0TE42ME5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example:liminfsupex (example). In E59CDZA4DP, example, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
TR101RVBNA TR101RVBNA
| URI | m2://inv/TR101RVBNA |
|---|---|
| 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 2104.04145#9IAI (statement). In 7TNHVC586V/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
TR106G1VR7 TR106G1VR7
| URI | m2://inv/TR106G1VR7 |
|---|---|
| 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.39809#WKE4 (statement). In 97YSJAHESY/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Oscar Nierstrasz TR13WR5XXV
| URI | m2://inv/TR13WR5XXV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#U9GF, Oscar Nierstrasz (unknown)
History
- 2026-11-02: add by m2/dev
TR16A7VYT6 TR16A7VYT6
| URI | m2://inv/TR16A7VYT6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-69 (exercise). In E59CDZA4DP, exercise, section 4.6.3
History
- 2026-11-01: add by m2/v0.6.13
TR1B5MWGD5 TR1B5MWGD5
| URI | m2://inv/TR1B5MWGD5 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.01436#UBA7 (proof). In FE59Q5BHKZ/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
TR1PR8GT4Z TR1PR8GT4Z
| URI | m2://inv/TR1PR8GT4Z |
|---|---|
| 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.03272#GK5S (statement). In H9ZC46G7BX/e1, corollary 2.2
History
- 2026-10-29: add by m2/v0.4.12
TR1SC15KE6 TR1SC15KE6
| URI | m2://inv/TR1SC15KE6 |
|---|---|
| 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.22964#LAQY (statement)
History
- 2026-11-02: add by m2/v0.6.17
Cole–Davidson equation TR1SD31YQC
| URI | m2://inv/TR1SD31YQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cole–Davidson equation, Cole–Davidson equation (definition). Also Wikidata Q110995853
History
- 2026-11-02: add by m2/dev
Resolution of the paradox in special relativity TR1VEC2XZE
| URI | m2://inv/TR1VEC2XZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twin paradox#A1AG, Resolution of the paradox in special relativity (statement)
History
- 2026-11-02: add by m2/dev
Approach to a stable equilibrium TR24P5JA18
| URI | m2://inv/TR24P5JA18 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34168#7BK5, Approach to a stable equilibrium (example). In 30YQV8N04M/e1, example 8.2
History
- 2026-10-30: add by m2/v0.4.12
Characterizations TR26CEXJ6A
| URI | m2://inv/TR26CEXJ6A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local diffeomorphism#GABH, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
TR26D29HRS TR26D29HRS
| URI | m2://inv/TR26D29HRS |
|---|---|
| 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.11772#GKGX (statement). In 2GW9HYGZ8S/e1, corollary 4.1
History
- 2026-10-28: add by m2/v0.4.3
Symmetry TR2QEMZGPC
| URI | m2://inv/TR2QEMZGPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trefoil knot#TS8M, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
TR2TCB79PE TR2TCB79PE
| URI | m2://inv/TR2TCB79PE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29824#FORS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tight stochastic complexity and SAPD+ TR2YMEG62F
| URI | m2://inv/TR2YMEG62F |
|---|---|
| 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.30877#N996, Tight stochastic complexity and SAPD+ (statement). In QKNE21ABF3/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
TR34PAQNSV TR34PAQNSV
| URI | m2://inv/TR34PAQNSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.06433#1SRM (statement). In 628PJKD3EV/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
Domino TR36GNN79D
| URI | m2://inv/TR36GNN79D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domino (mathematics), Domino (definition). Also Wikidata Q3751781
History
- 2026-11-02: add by m2/dev
leptoquark TR3CZSQEDJ
| URI | m2://inv/TR3CZSQEDJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1758767, leptoquark (unknown). Also nLab leptoquark
History
- 2026-10-26: add by m2/dev
Society for Industrial and Applied Mathematics TR3D7JQBCE
| URI | m2://inv/TR3D7JQBCE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Society for Industrial and Applied Mathematics, Society for Industrial and Applied Mathematics (topic). Also Wikidata Q782100
History
- 2026-11-02: add by m2/dev
Statement TR3PEYFC59
| URI | m2://inv/TR3PEYFC59 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local Euler characteristic formula#039R, Statement (statement)
History
- 2026-11-02: add by m2/dev
Anti-aliasing TR3TBMHAQD
| URI | m2://inv/TR3TBMHAQD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#3FSG, Anti-aliasing (unknown)
History
- 2026-11-02: add by m2/dev
Theorem TR3TJBQKSE
| URI | m2://inv/TR3TJBQKSE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. Riesz extension theorem#L3LI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
TR438VZR7R TR438VZR7R
| URI | m2://inv/TR438VZR7R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#SFUA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Steinitz exchange lemma TR45A4TWNJ
| URI | m2://inv/TR45A4TWNJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#BMUH, Steinitz exchange lemma (statement)
History
- 2026-11-02: add by m2/dev
TR46M1AV9T TR46M1AV9T
| URI | m2://inv/TR46M1AV9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2607.25960#PQQV (statement). In 13GSWBXPCM/e1, proposition C.17
History
- 2026-10-27: add by m2/v0.3.5
Richard G. Swan TR48MEGBMQ
| URI | m2://inv/TR48MEGBMQ |
|---|---|
| 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#EMBD, Richard G. Swan (topic)
History
- 2026-11-02: add by m2/dev
Conic Sections in Polar Coordinates TR4C4ZCAMD
| URI | m2://inv/TR4C4ZCAMD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conic section#5Q2L, Conic Sections in Polar Coordinates (unknown)
History
- 2026-11-02: add by m2/dev
TR4CSWKF98 TR4CSWKF98
| URI | m2://inv/TR4CSWKF98 |
|---|---|
| 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.39260#BZF3 (statement). In ZNDB1AZZSA/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
complex-oriented TR4D6A94N7
| URI | m2://inv/TR4D6A94N7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#J36O, complex-oriented (definition)
History
- 2026-11-02: add by m2/dev
TR4E0S6MX9 TR4E0S6MX9
| URI | m2://inv/TR4E0S6MX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10795#KVLJ (statement). In RXPSC74YPT/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.3
Henry Crozier Plummer TR4F6MR2VJ
| URI | m2://inv/TR4F6MR2VJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UW68, Henry Crozier Plummer (unknown)
History
- 2026-11-02: add by m2/dev
Noether's third isomorphism theorem TR4V59K90D
| URI | m2://inv/TR4V59K90D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#OETP, Noether's third isomorphism theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
TR4XAXJW2R TR4XAXJW2R
| URI | m2://inv/TR4XAXJW2R |
|---|---|
| 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 2508.19709#DSBD (statement). In 57PQWSSZMY/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Factor theorem TR4ZVVR53Y
| URI | m2://inv/TR4ZVVR53Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#DRT6, Factor theorem (statement)
History
- 2026-11-02: add by m2/dev
TR502YF2DD TR502YF2DD
| URI | m2://inv/TR502YF2DD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27151#JX3G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exact lift identity TR56DHZVZZ
| URI | m2://inv/TR56DHZVZZ |
|---|---|
| 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.21268#NOX3, Exact lift identity (statement). In 9W2YX5X4AX/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.2
Poincar\'e Lemma TR5881TRMT
| URI | m2://inv/TR5881TRMT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/4.8.1/poincar-e-lemma, Poincar\'e Lemma (concept). In E9HS8K3A52, index, section 4.8.1
History
- 2026-11-01: add by m2/v0.6.13
TR5RN74CK4 TR5RN74CK4
| URI | m2://inv/TR5RN74CK4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26650#Y16Z (definition)
History
- 2026-11-01: add by m2/v0.6.15
Table of costs of operations in elliptic curves TR5T6ZKX6M
| URI | m2://inv/TR5T6ZKX6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Table of costs of operations in elliptic curves, Table of costs of operations in elliptic curves (definition). Also Wikidata Q7673225
History
- 2026-11-02: add by m2/dev
Covariance of visual measures TR5XBNNBYE
| URI | m2://inv/TR5XBNNBYE |
|---|---|
| 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.28014#5QDB, Covariance of visual measures (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of stochastic processes topics TR68S14T25
| URI | m2://inv/TR68S14T25 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of statistics topics#15C5, List of stochastic processes topics (topic)
History
- 2026-11-02: add by m2/dev
TR6H6Y2REM TR6H6Y2REM
| URI | m2://inv/TR6H6Y2REM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#GN6V (statement). In H71AJ341B3/e1, theorem 4.5
History
- 2026-10-31: add by m2/v0.5.6
TR6KK2HAW5 TR6KK2HAW5
| URI | m2://inv/TR6KK2HAW5 |
|---|---|
| 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.20991#PYFE (statement). In H98ZC5YBSD/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
Properties TR6PZ2248R
| URI | m2://inv/TR6PZ2248R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent algebra#GP6F, Properties (statement)
History
- 2026-11-02: add by m2/dev
TR6XFQAAZR TR6XFQAAZR
| URI | m2://inv/TR6XFQAAZR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-5 (exercise). In E9HS8K3A52, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
Payer Ahmed TR6YEF4WPD
| URI | m2://inv/TR6YEF4WPD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Payer Ahmed, Payer Ahmed (topic). Also Wikidata Q131303335
History
- 2026-11-02: add by m2/dev
Formulation TR6ZXPN2M1
| URI | m2://inv/TR6ZXPN2M1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein–Gordon equation#DPA8, Formulation (definition)
History
- 2026-11-02: add by m2/dev
TR73E9V4RH TR73E9V4RH
| URI | m2://inv/TR73E9V4RH |
|---|---|
| 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 2608.24599#VJYT (statement). In VG8QFWTT8S/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.6
Green–Schwarz mechanism TR74B4QT4P
| URI | m2://inv/TR74B4QT4P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5605123, Green–Schwarz mechanism (unknown). Also nLab Green-Schwarz mechanism
History
- 2026-10-26: add by m2/dev
TR796J1X6K TR796J1X6K
| URI | m2://inv/TR796J1X6K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#3Q98 (definition). In XHSKEPT3VD/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
totative TR7EN8QJ7N
| URI | m2://inv/TR7EN8QJ7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7828278, totative (unknown). Also MathWorld Totative
- wikipedia: Wikipedia Totative, Totative (definition). Also Wikidata Q7828278
History
- 2026-10-26: add by m2/dev
Properties TR7HPCZAFM
| URI | m2://inv/TR7HPCZAFM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arens–Fort space#G6U4, Properties (statement)
History
- 2026-11-02: add by m2/dev
trisecant TR7KBDY1ZJ
| URI | m2://inv/TR7KBDY1ZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#G6HI, trisecant (definition)
History
- 2026-11-02: add by m2/dev
TR7M5PZG4T TR7M5PZG4T
| URI | m2://inv/TR7M5PZG4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21540#QX53 (statement)
History
- 2026-11-02: add by m2/v0.6.18
TR7MQ9WJBR TR7MQ9WJBR
| URI | m2://inv/TR7MQ9WJBR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#RG7V (definition). In PWXT7J9JX3/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
TR7SR7WADQ TR7SR7WADQ
| URI | m2://inv/TR7SR7WADQ |
|---|---|
| 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.13792#98WW (statement). In ZH0PFTZ12Y/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
TR7YCX9S5X TR7YCX9S5X
| URI | m2://inv/TR7YCX9S5X |
|---|---|
| Kind | problem |
| 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 2609.31220#5S0B (problem). In JMWCGMNE84/e1, problem 1.1
History
- 2026-10-31: add by m2/v0.5.6
cut, Dedekind TR810WQYNE
| URI | m2://inv/TR810WQYNE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B/cut-dedekind, cut, Dedekind (concept). In N54F33XE07, index, section B
History
- 2026-11-01: add by m2/v0.6.13
TR85E07076 TR85E07076
| URI | m2://inv/TR85E07076 |
|---|---|
| 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.16505#3TOG (statement). In P9V43TXCJ3/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Ghazzali, Nadia TR85Z5A1WC
| URI | m2://inv/TR85Z5A1WC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#VI2K, Ghazzali, Nadia (unknown)
History
- 2026-11-02: add by m2/dev
TR89ZAGYQ3 TR89ZAGYQ3
| URI | m2://inv/TR89ZAGYQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13260#N2ZK (statement). In ZBQX9341RV/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.2
Logical vector TR8BAQM71V
| URI | m2://inv/TR8BAQM71V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical matrix#IMCS, Logical vector (unknown)
History
- 2026-11-02: add by m2/dev
Scheirer–Ray–Hare test TR8D6TAK33
| URI | m2://inv/TR8D6TAK33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scheirer–Ray–Hare test, Scheirer–Ray–Hare test (definition). Also Wikidata Q65121695
History
- 2026-11-02: add by m2/dev
TR8DPWHX29 TR8DPWHX29
| URI | m2://inv/TR8DPWHX29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#NG9M (statement). In XX1J2REXY2/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Jerry L. Bona TR8GZYS0Z4
| URI | m2://inv/TR8GZYS0Z4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jerry L. Bona, Jerry L. Bona (topic). Also Wikidata Q6183907
History
- 2026-11-02: add by m2/dev
Hard-margin root-$Q$ lower bound TR8RM4YDFP
| URI | m2://inv/TR8RM4YDFP |
|---|---|
| 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.21363#ATI0, Hard-margin root-$Q$ lower bound (statement). In YPH7NS5AAQ/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.2
Global logarithmic Hessian estimate TR8W07NGNT
| URI | m2://inv/TR8W07NGNT |
|---|---|
| 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.09494#23SE, Global logarithmic Hessian estimate (statement). In H297EPZQQB/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Definition TR8WCFK4Q6
| URI | m2://inv/TR8WCFK4Q6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predictive intake modelling#8PWH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Serge Cantat TR8WXGFPEC
| URI | m2://inv/TR8WXGFPEC |
|---|---|
| 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#YS1D, Serge Cantat (topic)
History
- 2026-11-02: add by m2/dev
finitely generated extension TR94KEYAQJ
| URI | m2://inv/TR94KEYAQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4230785, finitely generated extension (definition). Also ProofWiki Definition:Finitely_Generated_Field_Extension
History
- 2026-10-26: add by m2/dev
TR972JMRY6 TR972JMRY6
| URI | m2://inv/TR972JMRY6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20077#SV1C (statement). In W5XRKWDADE/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
L TR9KQ3Y7FT
| URI | m2://inv/TR9KQ3Y7FT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#TEMQ, L (definition)
History
- 2026-11-02: add by m2/dev
TR9PZQ1S0T TR9PZQ1S0T
| URI | m2://inv/TR9PZQ1S0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03677#DWPK (statement). In J1Y06VVYRG/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
TR9TM6CKP0 TR9TM6CKP0
| URI | m2://inv/TR9TM6CKP0 |
|---|---|
| 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 2609.35538#A38U (example). In 87TWXCBZ4M/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
TRA8RMG49V TRA8RMG49V
| URI | m2://inv/TRA8RMG49V |
|---|---|
| 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 2601.10958#HF9M (statement). In 4W55AH5T6R/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Sergei Natanovich Bernstein TRAD3DW78F
| URI | m2://inv/TRAD3DW78F |
|---|---|
| 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#8SGC, Sergei Natanovich Bernstein (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WMYF, Sergei Natanovich Bernstein (topic)
History
- 2026-11-02: add by m2/dev
Leray's theorem TRAD7WB470
| URI | m2://inv/TRAD7WB470 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6528747, Leray's theorem (statement). Also Wikidata Q6528747
- thousand_plus: thousand_plus Q6528747, Leray's theorem (statement). Also Wikidata Q6528747, Wikipedia Leray's theorem
- wikipedia: Wikipedia Leray's theorem, Leray's theorem (statement). Also Wikidata Q6528747
History
- 2026-10-26: add by m2/dev
Variations TRAGZERZ1G
| URI | m2://inv/TRAGZERZ1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed finite element method#O0DW, Variations (statement)
History
- 2026-11-02: add by m2/dev
TRARWK79RK TRARWK79RK
| URI | m2://inv/TRARWK79RK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#9OHZ (statement). In 5KR3MHYVV6/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
Mathematica TRATZV0CD5
| URI | m2://inv/TRATZV0CD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q81294, Mathematica (unknown). Also nLab Mathematica
- wikipedia: Wikipedia Wolfram Mathematica, Wolfram Mathematica (definition). Also Wikidata Q81294
History
- 2026-10-26: add by m2/dev
Marcin Król of Żurawica TRAWM5G0JF
| URI | m2://inv/TRAWM5G0JF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcin Król of Żurawica, Marcin Król of Żurawica (topic). Also Wikidata Q11767658
History
- 2026-11-02: add by m2/dev
Björn Engquist TRB2BQSX0Y
| URI | m2://inv/TRB2BQSX0Y |
|---|---|
| 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#CR4Y, Björn Engquist (topic)
History
- 2026-11-02: add by m2/dev
Bézier curve TRB9B499F1
| URI | m2://inv/TRB9B499F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#4PGV, Bézier curve (definition)
- wikipedia: Wikipedia List of numerical analysis topics#B6T6, Bézier curve (definition)
- wikipedia: Wikipedia List of curves#93OG, Bézier curve (definition)
- wikipedia: Wikipedia List of curves topics#7N8W, Bézier curve (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#5W10, Bézier curve (definition)
History
- 2026-11-02: add by m2/dev
Prime quintuplet TRBFJZYQVZ
| URI | m2://inv/TRBFJZYQVZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime quadruplet#J4LI, Prime quintuplet (unknown)
History
- 2026-11-02: add by m2/dev
TRBKDNN2GD TRBKDNN2GD
| URI | m2://inv/TRBKDNN2GD |
|---|---|
| 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.28181#1NRC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bailout embedding TRBMMXZW5Y
| URI | m2://inv/TRBMMXZW5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bailout embedding, Bailout embedding (definition). Also Wikidata Q85744937
History
- 2026-11-02: add by m2/dev
TRBMVNQP88 TRBMVNQP88
| URI | m2://inv/TRBMVNQP88 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#A81T (definition). In J7ZX3WWRQP/e1, definition 3.9
History
- 2026-10-28: add by m2/v0.4.2
Asymptotic theory TRBSTPT2Y5
| URI | m2://inv/TRBSTPT2Y5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#C76Z, Asymptotic theory (definition)
History
- 2026-11-02: add by m2/dev
Directorate General of Budget, Accounting and Statistics TRBVTBTVFM
| URI | m2://inv/TRBVTBTVFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directorate General of Budget, Accounting and Statistics, Directorate General of Budget, Accounting and Statistics (definition). Also Wikidata Q5280609
History
- 2026-11-02: add by m2/dev
Side information TRBXTDRV82
| URI | m2://inv/TRBXTDRV82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#MMWF, Side information (statement). In FRMCKEGVJZ/e1, theorem 13
History
- 2026-10-30: add by m2/v0.4.12
Nonagon/Enneagon TRC0ZBP5NM
| URI | m2://inv/TRC0ZBP5NM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#3SIY, Nonagon/Enneagon (definition)
History
- 2026-11-02: add by m2/dev
TRC10F0P5B TRC10F0P5B
| URI | m2://inv/TRC10F0P5B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#Q91K (definition). In Z7E16PFFCP/e1, definition 4.9
History
- 2026-10-30: add by m2/v0.4.12
TRC63CF6Y2 TRC63CF6Y2
| URI | m2://inv/TRC63CF6Y2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#example-3 (example). In RZP28ERRZV, example, section 55.2
History
- 2026-11-01: add by m2/v0.6.13
Eigenangle formulation TRC8DGKVEB
| URI | m2://inv/TRC8DGKVEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#TG7G, Eigenangle formulation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Private browsing TRC8P2F3SG
| URI | m2://inv/TRC8P2F3SG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#1PT6, Private browsing (unknown)
History
- 2026-11-02: add by m2/dev
TRCCG79TJP TRCCG79TJP
| URI | m2://inv/TRCCG79TJP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#AJ2O (definition)
History
- 2026-11-01: add by m2/v0.6.15
TRCCTG9K4X TRCCTG9K4X
| URI | m2://inv/TRCCTG9K4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2403.08723#6Z1H (statement). In HGE2NCQW29/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Montel's theorem TRCE4SRT01
| URI | m2://inv/TRCE4SRT01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q535366, Montel's theorem (statement). Also Wikidata Q535366
- thousand_plus: thousand_plus Q535366, Montel's theorem (statement). Also Wikidata Q535366, Wikipedia Montel's theorem
- wikipedia: Wikipedia Montel's theorem, Montel's theorem (statement). Also Wikidata Q535366
History
- 2026-10-26: add by m2/dev
Theorem TRCJ7MHWPV
| URI | m2://inv/TRCJ7MHWPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Excision theorem#5VGA, Theorem (statement)
History
- 2026-11-02: add by m2/dev
TRCM8FMMYE TRCM8FMMYE
| URI | m2://inv/TRCM8FMMYE |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06621#FLQR (conjecture). In DB223AABTH/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.3.5
TRCWGZG56D TRCWGZG56D
| URI | m2://inv/TRCWGZG56D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#LZ37 (statement)
History
- 2026-11-01: add by m2/v0.6.15
TRCXK6NB2Q TRCXK6NB2Q
| URI | m2://inv/TRCXK6NB2Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-4.xml#example-2 (example). In 649HGZKE96, example, section 7.4.2
History
- 2026-11-01: add by m2/v0.6.13
Rado matroids TRDAXDC6NY
| URI | m2://inv/TRDAXDC6NY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06724#EOKJ, Rado matroids (statement). In W5XG3PGVF1/e1, theorem C.3
History
- 2026-10-29: add by m2/v0.4.10
TRDE13QNHZ TRDE13QNHZ
| URI | m2://inv/TRDE13QNHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#804C (statement)
History
- 2026-11-02: add by m2/v0.6.18
generating function, and solving recurrences TRDHCDAPS6
| URI | m2://inv/TRDHCDAPS6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.6/generating-function-and-solving-recurrences, generating function, and solving recurrences (concept). In QKM9DD2H56, index, section 9.6
History
- 2026-11-01: add by m2/v0.6.13
TRDPGJYCAK TRDPGJYCAK
| URI | m2://inv/TRDPGJYCAK |
|---|---|
| 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.40156#M343 (statement). In PP8BEHWK33/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
TRDQCK53RS TRDQCK53RS
| URI | m2://inv/TRDQCK53RS |
|---|---|
| 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 2609.26201#XZSE (definition)
History
- 2026-11-01: add by m2/v0.6.15
TRDTMEB438 TRDTMEB438
| URI | m2://inv/TRDTMEB438 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#UZKD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Shelling TRDWY1H8BY
| URI | m2://inv/TRDWY1H8BY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shelling (topology), Shelling (definition). Also Wikidata Q7493862
History
- 2026-11-02: add by m2/dev
TRE680VP3E TRE680VP3E
| URI | m2://inv/TRE680VP3E |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/non-enumerability.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 83.9
History
- 2026-11-01: add by m2/v0.6.13
TREKP6DP9F TREKP6DP9F
| URI | m2://inv/TREKP6DP9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#6REM (statement). In 5KR3MHYVV6/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
M. M. Dzrbasjan TRESJWV6BA
| URI | m2://inv/TRESJWV6BA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MR2J, M. M. Dzrbasjan (unknown)
History
- 2026-11-02: add by m2/dev
Properties TRF26E4GF3
| URI | m2://inv/TRF26E4GF3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibrant object#F3MY, Properties (statement)
History
- 2026-11-02: add by m2/dev
TRFFN3WTRM TRFFN3WTRM
| URI | m2://inv/TRFFN3WTRM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#E20F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Euler number (physics) TRFJKQX018
| URI | m2://inv/TRFJKQX018 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#MP6C, Euler number (physics) (unknown)
History
- 2026-11-02: add by m2/dev
TRFJSVSKVR TRFJSVSKVR
| URI | m2://inv/TRFJSVSKVR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2604.07243#3SMZ (statement). In 9RH8C8RYW3/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
Absolutely convex set TRFMY8QTXR
| URI | m2://inv/TRFMY8QTXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolutely convex set, Absolutely convex set (definition). Also Wikidata Q332715
History
- 2026-11-02: add by m2/dev
Weighted antipode--neighbor estimate TRFW7NE0R9
| URI | m2://inv/TRFW7NE0R9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14037#ONJ4, Weighted antipode--neighbor estimate (statement). In E7QSF9NXBG/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
TRFWFZKNY3 TRFWFZKNY3
| URI | m2://inv/TRFWFZKNY3 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04761#BBDY (unknown). In SJC0GJQCFQ/e1, unknown
History
- 2026-10-29: add by m2/v0.4.12
TRG2ZQE1D3 TRG2ZQE1D3
| URI | m2://inv/TRG2ZQE1D3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.23884#GT2Z (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gradient approximation errors TRG5R266VH
| URI | m2://inv/TRG5R266VH |
|---|---|
| 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.27181#T6ES, Gradient approximation errors (statement)
History
- 2026-11-01: add by m2/v0.6.15
TRGC1JJFE2 TRGC1JJFE2
| URI | m2://inv/TRGC1JJFE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16081#DVK9 (statement). In RS6WWZKMT6/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.2
TRGD1MMCEY TRGD1MMCEY
| URI | m2://inv/TRGD1MMCEY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#0NJ1 (statement). In CC6S1HVK0T/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Kruithof curve TRGEFTM6D3
| URI | m2://inv/TRGEFTM6D3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#0VFX, Kruithof curve (unknown)
History
- 2026-11-02: add by m2/dev
TRGHFYGPCP TRGHFYGPCP
| URI | m2://inv/TRGHFYGPCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27617#0PDG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-credible threat TRGHR23BT8
| URI | m2://inv/TRGHR23BT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-credible threat, Non-credible threat (definition). Also Wikidata Q12403752
History
- 2026-11-02: add by m2/dev
TRGJZ4PNRA TRGJZ4PNRA
| URI | m2://inv/TRGJZ4PNRA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38548#P30P (statement). In Z7ZFV3HM1S/e1, proposition 5.5
History
- 2026-10-30: add by m2/v0.4.12
TRGQY1JNCB TRGQY1JNCB
| URI | m2://inv/TRGQY1JNCB |
|---|---|
| Kind | problem |
| 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.39169#7EYC (problem). In ANHWXYPQFX/e1, problem 4.8
History
- 2026-10-30: add by m2/v0.4.12
TRH13KPSBT TRH13KPSBT
| URI | m2://inv/TRH13KPSBT |
|---|---|
| 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 Q1630041 (unknown). Also nLab Jack Morava
History
- 2026-10-26: add by m2/dev
TRH2BQSF1X TRH2BQSF1X
| URI | m2://inv/TRH2BQSF1X |
|---|---|
| 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.13884#NH3L (statement). In N2NQ3QJYTW/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
David Olive TRHR3BQB37
| URI | m2://inv/TRHR3BQB37 |
|---|---|
| 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 Q382810, David Olive (unknown). Also nLab David Olive
History
- 2026-10-26: add by m2/dev
TRJ0ED7Y1Q TRJ0ED7Y1Q
| URI | m2://inv/TRJ0ED7Y1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17276#CQZL (statement). In GG14QF0JKJ/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
Properties TRJ11WPBXW
| URI | m2://inv/TRJ11WPBXW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal and minimal elements#YL43, Properties (statement)
History
- 2026-11-02: add by m2/dev
Nikolai Andreev TRJ1NHSPDE
| URI | m2://inv/TRJ1NHSPDE |
|---|---|
| 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#ZQK1, Nikolai Andreev (topic)
History
- 2026-11-02: add by m2/dev
BRS-inequality TRJ1PM1M5C
| URI | m2://inv/TRJ1PM1M5C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BRS-inequality, BRS-inequality (statement). Also Wikidata Q111948464
History
- 2026-11-02: add by m2/dev
nef TRJ4TD7FN0
| URI | m2://inv/TRJ4TD7FN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#3F0Z, nef (definition)
History
- 2026-11-02: add by m2/dev
Properties TRJ606MVQF
| URI | m2://inv/TRJ606MVQF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steinberg symbol#X6KG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Charts on SO(3) TRJ6K16183
| URI | m2://inv/TRJ6K16183 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charts on SO(3), Charts on SO(3) (definition). Also Wikidata Q5086940
History
- 2026-11-02: add by m2/dev
TRJCM7TVPN TRJCM7TVPN
| URI | m2://inv/TRJCM7TVPN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29152#W8W6 (example)
History
- 2026-11-01: add by m2/v0.6.15
IV TRJKDT3N36
| URI | m2://inv/TRJKDT3N36 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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.20998#GRLP, IV (example)
History
- 2026-11-02: add by m2/v0.6.18
TRJQWGJ8PM TRJQWGJ8PM
| URI | m2://inv/TRJQWGJ8PM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#7JCP (statement). In N5ZM8MXJXH/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.10
TRK6Y24B68 TRK6Y24B68
| URI | m2://inv/TRK6Y24B68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-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.07679#B63J (statement). In K8JMTRS42G/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
cyclic homology TRK830908W
| URI | m2://inv/TRK830908W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#RJSN, cyclic homology (definition)
History
- 2026-11-02: add by m2/dev
orthogonal TRKAKDDXR6
| URI | m2://inv/TRKAKDDXR6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/6.1.2/orthogonal, orthogonal (concept). In 649HGZKE96, index, section 6.1.2
History
- 2026-11-01: add by m2/v0.6.13
Anatoly I. Neishtadt TRKCY8P01C
| URI | m2://inv/TRKCY8P01C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7NQC, Anatoly I. Neishtadt (unknown)
History
- 2026-11-02: add by m2/dev
Peano's nine axioms of arithmetic TRKD5C6CEN
| URI | m2://inv/TRKD5C6CEN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of the Church–Turing thesis#W1WV, Peano's nine axioms of arithmetic (statement)
History
- 2026-11-02: add by m2/dev
Measure zero TRKEYNR13M
| URI | m2://inv/TRKEYNR13M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#CO3B, Measure zero (definition)
History
- 2026-11-02: add by m2/dev
TRKQBWWYN1 TRKQBWWYN1
| URI | m2://inv/TRKQBWWYN1 |
|---|---|
| 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.10477#83GI (statement). In 1NZSZ241WE/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
TRKR7B1Q02 TRKR7B1Q02
| URI | m2://inv/TRKR7B1Q02 |
|---|---|
| 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 2606.00589#48IN (statement). In C8JAGP8VCQ/e1, lemma 11.2
History
- 2026-10-27: add by m2/v0.3.5
Examples TRKSB47RMA
| URI | m2://inv/TRKSB47RMA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point logic#3XWZ, Examples (example)
History
- 2026-11-02: add by m2/dev
TRM24A4QWY TRM24A4QWY
| URI | m2://inv/TRM24A4QWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06108#JO5I (statement). In D3WKY1PW64/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Doob's martingale convergence theorems TRMAQVN79J
| URI | m2://inv/TRMAQVN79J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SZD4, Doob's martingale convergence theorems (statement)
History
- 2026-11-02: add by m2/dev
place TRMEWGEZFT
| URI | m2://inv/TRMEWGEZFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#HMOM, place (definition)
History
- 2026-11-02: add by m2/dev
Relaxed intersection TRMQZ7BRJT
| URI | m2://inv/TRMQZ7BRJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relaxed intersection, Relaxed intersection (definition). Also Wikidata Q16000310
History
- 2026-11-02: add by m2/dev
Satisfiability TRMW6ZPC6Y
| URI | m2://inv/TRMW6ZPC6Y |
|---|---|
| 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/semantic-notions.tex#defn-3, Satisfiability (definition). In PKGMM3P5QY, defn, section 19.15
History
- 2026-11-01: add by m2/v0.6.13
TRMX5G7PP2 TRMX5G7PP2
| URI | m2://inv/TRMX5G7PP2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#ZYJP (example). In VJTRH1S4JA/e1, example 3.15
History
- 2026-10-28: add by m2/v0.4.2
TRN6N3709M TRN6N3709M
| URI | m2://inv/TRN6N3709M |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#OKI9 (unknown). In 4YJH4FPWDA/e1, unknown 2.7
History
- 2026-10-30: add by m2/v0.4.12
Positive definiteness from independent continuous parameter-derivative functions TRNEMEH2C6
| URI | m2://inv/TRNEMEH2C6 |
|---|---|
| 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.04357#Z4QC, Positive definiteness from independent continuous parameter-derivative functions (statement). In 6FY8BVP1F3/e1, lemma D.4
History
- 2026-10-29: add by m2/v0.4.12
Definitions TRNET16WRB
| URI | m2://inv/TRNET16WRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2-category#I067, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Andrew Yao TRNK1WRMEP
| URI | m2://inv/TRNK1WRMEP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JYM3, Andrew Yao (unknown)
History
- 2026-11-02: add by m2/dev
TRNK4W11P1 TRNK4W11P1
| URI | m2://inv/TRNK4W11P1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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 2303.09207#9CFK (statement). In 9DQKY7KGE8/e1, lemma 3.22
History
- 2026-10-27: add by m2/v0.3.5
Net treatment benefit TRNP1E73R0
| URI | m2://inv/TRNP1E73R0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Net treatment benefit, Net treatment benefit (definition). Also Wikidata Q141306743
History
- 2026-11-02: add by m2/dev
TRNPFKBFB6 TRNPFKBFB6
| URI | m2://inv/TRNPFKBFB6 |
|---|---|
| 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 2202.07274#QJA5 (statement). In V5WGBGKYXN/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.6
Properties TRNXNZ36CX
| URI | m2://inv/TRNXNZ36CX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ackermann function#GA46, Properties (statement)
History
- 2026-11-02: add by m2/dev
TRP53Z8MZS TRP53Z8MZS
| URI | m2://inv/TRP53Z8MZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#PN0D (statement). In X9WFC1D9ZS/e1, proposition 44
History
- 2026-10-27: add by m2/v0.4.2
Secret sharing using the Chinese remainder theorem TRP5GEDSQG
| URI | m2://inv/TRP5GEDSQG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secret sharing using the Chinese remainder theorem, Secret sharing using the Chinese remainder theorem (statement). Also Wikidata Q4447674
History
- 2026-11-02: add by m2/dev
TRP89G1G9R TRP89G1G9R
| URI | m2://inv/TRP89G1G9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-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.30579#XW35 (statement). In FDYZFDHZH9/e1, lemma 3.12
History
- 2026-10-31: add by m2/v0.5.6
completely regular space TRPA24PES6
| URI | m2://inv/TRPA24PES6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tychonoff space C5N2J2K6Z3 |
Mentions
- wikidata: Wikidata Q1191433, completely regular space (concept). Also MathWorld CompletelyRegularSpace, MathWorld TychonoffSpace
- wikipedia: Wikipedia Tychonoff space, Tychonoff space (definition). Also Wikidata Q1191433
History
- 2026-10-26: add by m2/dev
minor term TRPAWFGKV9
| URI | m2://inv/TRPAWFGKV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#WA8B, minor term (definition)
History
- 2026-11-02: add by m2/dev
TRPHJCSDBE TRPHJCSDBE
| URI | m2://inv/TRPHJCSDBE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19300#SC4V (statement). In S6S4RD5VXJ/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
TRPJHNGF0C TRPJHNGF0C
| URI | m2://inv/TRPJHNGF0C |
|---|---|
| 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.40096#6CBU (statement). In XFE35F9NEV/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Supersymmetry breaking TRPS5CP4MX
| URI | m2://inv/TRPS5CP4MX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#7OOR, Supersymmetry breaking (unknown)
History
- 2026-11-02: add by m2/dev
Appeal to flattery TRPY305MMV
| URI | m2://inv/TRPY305MMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to flattery, Appeal to flattery (definition). Also Wikidata Q2915368
History
- 2026-11-02: add by m2/dev
TRPYCK30HM TRPYCK30HM
| URI | m2://inv/TRPYCK30HM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-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.21768#GVON (statement). In VD53W58DS1/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.4.2
Weyl law TRQ1P6BM9M
| URI | m2://inv/TRQ1P6BM9M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#X80V, Weyl law (statement)
History
- 2026-11-02: add by m2/dev
Subcover TRQ49777R1
| URI | m2://inv/TRQ49777R1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#230I, Subcover (definition)
History
- 2026-11-02: add by m2/dev
TRQ6ZVFJMB TRQ6ZVFJMB
| URI | m2://inv/TRQ6ZVFJMB |
|---|---|
| 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.05506#7JET (statement). In FT53PMB1TE/e1, lemma 3.2.3
History
- 2026-10-29: add by m2/v0.4.10
The complete finite-field count TRQ8TTY7DF
| URI | m2://inv/TRQ8TTY7DF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#50NP, The complete finite-field count (statement). In 9NVKKW8HDH/e1, lemma 2.58
History
- 2026-10-28: add by m2/v0.4.2
TRQDFGW1N4 TRQDFGW1N4
| URI | m2://inv/TRQDFGW1N4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31352#GYUX (statement). In SQZGKRDVBX/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Principle of Induction TRQH1KMDBJ
| URI | m2://inv/TRQH1KMDBJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_formal-num-sys.ptx#principle-1, Principle of Induction (statement). In QKM9DD2H56, principle, section B.7.1
History
- 2026-11-01: add by m2/v0.6.13
TRQQCFMM5Z TRQQCFMM5Z
| URI | m2://inv/TRQQCFMM5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#CY11 (statement). In 5KR3MHYVV6/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
orientation TRQRK35VKP
| URI | m2://inv/TRQRK35VKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#XWHN, orientation (definition)
History
- 2026-11-02: add by m2/dev
Finite scalar fluctuation bounds TRQXYS5QCR
| URI | m2://inv/TRQXYS5QCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18788#MM4U, Finite scalar fluctuation bounds (statement). In KFEASG3ZHS/e1, lemma 5.14
History
- 2026-10-28: add by m2/v0.4.2
TRQZJXFW33 TRQZJXFW33
| URI | m2://inv/TRQZJXFW33 |
|---|---|
| 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.10973#CA80 (statement). In H8NGNDP0XT/e1, corollary 13
History
- 2026-10-28: add by m2/v0.4.3
Multivariate total positivity TRR0176F2T
| URI | m2://inv/TRR0176F2T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FKG inequality#F8V5, Multivariate total positivity (unknown)
History
- 2026-11-02: add by m2/dev
Superincreasing sequence TRR177RH0A
| URI | m2://inv/TRR177RH0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superincreasing sequence, Superincreasing sequence (definition). Also Wikidata Q2078098
History
- 2026-11-02: add by m2/dev
Corollary $4.5$ TRR31WZGZK
| URI | m2://inv/TRR31WZGZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08633#HRFN, Corollary $4.5$ (statement). In 7MV7RGDVXF/e1, proposition 3.1.2
History
- 2026-10-29: add by m2/v0.4.10
Perturbative estimates TRR5NVXF45
| URI | m2://inv/TRR5NVXF45 |
|---|---|
| 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.18270#6M0V, Perturbative estimates (statement). In CPDMYJ0NJV/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
TRR700CADZ TRR700CADZ
| URI | m2://inv/TRR700CADZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20718#ZECO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Smooth Riemann mapping theorem TRR7THHWDW
| URI | m2://inv/TRR7THHWDW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beltrami equation#5FY2, Smooth Riemann mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
Chaos theory TRR9EJKGS1
| URI | m2://inv/TRR9EJKGS1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#LBAY, Chaos theory (topic)
History
- 2026-11-02: add by m2/dev
TRRE19ASE0 TRRE19ASE0
| URI | m2://inv/TRRE19ASE0 |
|---|---|
| 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 2603.29838#FOBX (statement). In KP0X1RKKKB/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.4.0
m TRRGFW71J4
| URI | m2://inv/TRRGFW71J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#WV3U, m (definition)
History
- 2026-11-02: add by m2/dev
Alexander Konstantinopolsky TRRGXSYB78
| URI | m2://inv/TRRGXSYB78 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#H5X4, Alexander Konstantinopolsky (unknown)
History
- 2026-11-02: add by m2/dev
Negative pedal curve TRRWPE5SG7
| URI | m2://inv/TRRWPE5SG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#JBKP, Negative pedal curve (definition)
- wikipedia: Wikipedia List of curves#0BBD, Negative pedal curve (definition)
History
- 2026-11-02: add by m2/dev
Examples TRRX9B0XXG
| URI | m2://inv/TRRX9B0XXG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surgery structure set#2VV8, Examples (example)
History
- 2026-11-02: add by m2/dev
Gehring's Lemma TRRZZCEFST
| URI | m2://inv/TRRZZCEFST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frederick Gehring#44I2, Gehring's Lemma (statement)
History
- 2026-11-02: add by m2/dev
TRS6RSMDW1 TRS6RSMDW1
| URI | m2://inv/TRS6RSMDW1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0902.4012#9QN8 (definition). In 6FH16YESRH/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
TRSD4S90BA TRSD4S90BA
| URI | m2://inv/TRSD4S90BA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29878#JZVF (statement)
History
- 2026-11-01: add by m2/v0.6.15
TRSM9Q9REX TRSM9Q9REX
| URI | m2://inv/TRSM9Q9REX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-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.30262#U7DZ (statement). In FWA5QW6FCF/e1, proposition 4.4
History
- 2026-10-31: add by m2/v0.5.6
TRSQ7DT8EN TRSQ7DT8EN
| URI | m2://inv/TRSQ7DT8EN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#ex:trunc-spokes-no-hub (exercise). In N54F33XE07, ex, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
TRSSR3BB3C TRSSR3BB3C
| URI | m2://inv/TRSSR3BB3C |
|---|---|
| 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 2606.00589#GWJN (statement). In C8JAGP8VCQ/e1, lemma 2.12
History
- 2026-10-27: add by m2/v0.3.5
TRSW4A2ZZG TRSW4A2ZZG
| URI | m2://inv/TRSW4A2ZZG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-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.10591#AENZ (definition). In FTEA0TM35J/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.10
TRSWW0JJMB TRSWW0JJMB
| URI | m2://inv/TRSWW0JJMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#TW87 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formulations TRT01BX3P6
| URI | m2://inv/TRT01BX3P6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instantaneous phase and frequency#1GLK, Formulations (definition)
History
- 2026-11-02: add by m2/dev
Hermite's theorem TRT35QAVWJ
| URI | m2://inv/TRT35QAVWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#LOCK, Hermite's theorem (definition)
History
- 2026-11-02: add by m2/dev
TRT4PRS4QF TRT4PRS4QF
| URI | m2://inv/TRT4PRS4QF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#2WQL (statement). In E7W2HDNEKJ/e1, theorem 4.24
History
- 2026-10-30: add by m2/v0.4.12
TRTCCJRGXC TRTCCJRGXC
| URI | m2://inv/TRTCCJRGXC |
|---|---|
| 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 2312.06581#EEJX (statement). In WXJ2V3HA2R/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.3.5
Definition TRTF41DZZE
| URI | m2://inv/TRTF41DZZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vanishing moment#KCME, Definition (definition)
History
- 2026-11-02: add by m2/dev
TRTQGFY478 TRTQGFY478
| URI | m2://inv/TRTQGFY478 |
|---|---|
| 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 2510.07095#8DHK (statement). In J9GHVHV5RB/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
odd permutation TRV5PM2RHQ
| URI | m2://inv/TRV5PM2RHQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.2.3/odd-permutation, odd permutation (concept). In E59CDZA4DP, index, section 11.2.3
History
- 2026-11-01: add by m2/v0.6.13
Lipman Bers TRV61C1M74
| URI | m2://inv/TRV61C1M74 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#46B1, Lipman Bers (topic)
History
- 2026-11-02: add by m2/dev
TRVA02GQS5 TRVA02GQS5
| URI | m2://inv/TRVA02GQS5 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21191#MT76 (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
Example TRVAWV6YHH
| URI | m2://inv/TRVAWV6YHH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proportionate reduction of error#NRO1, Example (example)
History
- 2026-11-02: add by m2/dev
TRVCN6N191 TRVCN6N191
| URI | m2://inv/TRVCN6N191 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-26 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Lax comparison for smallness TRVFV6DZGP
| URI | m2://inv/TRVFV6DZGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#WR6Z, Lax comparison for smallness (statement). In HX63A1PH1W/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.3
TRVHXX1YP6 TRVHXX1YP6
| URI | m2://inv/TRVHXX1YP6 |
|---|---|
| Kind | example |
| 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 2110.12380#6JJ3 (example). In M6MQPEDQ8N/e1, example 4.14
History
- 2026-10-27: add by m2/v0.3.5
Milman's reverse Brunn–Minkowski inequality TRVM5WBC9E
| URI | m2://inv/TRVM5WBC9E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milman's reverse Brunn–Minkowski inequality, Milman's reverse Brunn–Minkowski inequality (statement). Also Wikidata Q6860170
History
- 2026-11-02: add by m2/dev
TRVSXMK57T TRVSXMK57T
| URI | m2://inv/TRVSXMK57T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 2.8
History
- 2026-11-01: add by m2/v0.6.13
GNU MathProg TRW3VHEGG2
| URI | m2://inv/TRW3VHEGG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GNU MathProg, GNU MathProg (definition). Also Wikidata Q110952622
History
- 2026-11-02: add by m2/dev
Holomorphic approximation of order $N$ TRWJP2CGP4
| URI | m2://inv/TRWJP2CGP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17276#00IR, Holomorphic approximation of order $N$ (statement). In GG14QF0JKJ/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
TRWK0TWXB1 TRWK0TWXB1
| URI | m2://inv/TRWK0TWXB1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise:allowfiniteseqsinoutermeasure (exercise). In E59CDZA4DP, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
Regular sequence (algebra) TRWRXQZ5PZ
| URI | m2://inv/TRWRXQZ5PZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#XJ2O, Regular sequence (algebra) (definition)
History
- 2026-11-02: add by m2/dev
TRX0MNZ7DT TRX0MNZ7DT
| URI | m2://inv/TRX0MNZ7DT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29196#691C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wilhelm Magnus TRX4D0AP0G
| URI | m2://inv/TRX4D0AP0G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q73012, Wilhelm Magnus (unknown). Also nLab Wilhelm Magnus
- wikipedia: Wikipedia Wilhelm Magnus, Wilhelm Magnus (topic). Also Wikidata Q73012
History
- 2026-10-26: add by m2/dev
TRX8ZP20XW TRX8ZP20XW
| URI | m2://inv/TRX8ZP20XW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.02997#MJ96 (definition). In KEXVYV0SNS/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Limit formula TRX9Q6XN9R
| URI | m2://inv/TRX9Q6XN9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#OGHR, Limit formula (statement). In PRVQPSBVHK/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Laguerre polynomials TRXFWX5XEG
| URI | m2://inv/TRXFWX5XEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#2IRM, Laguerre polynomials (definition)
History
- 2026-11-02: add by m2/dev
The finite-volume $\phi^4_2$ measure TRXQ93FRQ7
| URI | m2://inv/TRXQ93FRQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#BKKB, The finite-volume $\phi^4_2$ measure (statement). In ESPJMBH2R2/e1, corollary 7.8
History
- 2026-10-30: add by m2/v0.4.12
Terminology TRXVTV7994
| URI | m2://inv/TRXVTV7994 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Majority minority#8VUJ, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Robert Shostak TRXXKNAGS8
| URI | m2://inv/TRXXKNAGS8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A4FH, Robert Shostak (unknown)
History
- 2026-11-02: add by m2/dev
Bernoulli trial TRY0JC2RVJ
| URI | m2://inv/TRY0JC2RVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KSSE, Bernoulli trial (definition)
History
- 2026-11-02: add by m2/dev
polygonal TRY2Q6DGHJ
| URI | m2://inv/TRY2Q6DGHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#G37O, polygonal (definition)
History
- 2026-11-02: add by m2/dev
TRY5NMK704 TRY5NMK704
| URI | m2://inv/TRY5NMK704 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#mv:prop:rectanglessupp (statement). In E59CDZA4DP, prop, section 5.1.5
History
- 2026-11-01: add by m2/v0.6.13
Transverse aspect TRYE3ZNM12
| URI | m2://inv/TRYE3ZNM12 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map projection#S2ML, Transverse aspect (unknown)
History
- 2026-11-02: add by m2/dev
Francis Dominic Bencini TRYMKWW311
| URI | m2://inv/TRYMKWW311 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Dominic Bencini, Francis Dominic Bencini (topic). Also Wikidata Q5480748
History
- 2026-11-02: add by m2/dev
Triple-angle formula TRYNKA8D3D
| URI | m2://inv/TRYNKA8D3D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of trigonometric identities#CI0V, Triple-angle formula (unknown)
History
- 2026-11-02: add by m2/dev
TRYPBQGVEV TRYPBQGVEV
| URI | m2://inv/TRYPBQGVEV |
|---|---|
| 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.08382#QLX8 (statement). In GYMGDQS25R/e1, proposition 4.12
History
- 2026-10-29: add by m2/v0.4.10
TRYVMK1J35 TRYVMK1J35
| URI | m2://inv/TRYVMK1J35 |
|---|---|
| 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.09129#CGUB (definition). In Z1RZSF68XZ/e1, definition 5.8
History
- 2026-10-29: add by m2/v0.4.10
computable function TRYWM94MDJ
| URI | m2://inv/TRYWM94MDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#9WW3, computable function (definition)
History
- 2026-11-02: add by m2/dev
TRZ9G1NGBR TRZ9G1NGBR
| URI | m2://inv/TRZ9G1NGBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#0G7G (statement). In JW8HH6EPG2/e1, lemma 4.16
History
- 2026-10-29: add by m2/v0.4.10
strict gradedness for flag ambient complexes TRZGH5W5KQ
| URI | m2://inv/TRZGH5W5KQ |
|---|---|
| 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.32733#CUOV, strict gradedness for flag ambient complexes (statement). In PCAS8S14J6/e1, theorem 4.2
History
- 2026-10-31: add by m2/v0.5.6
Yvonne Bishop TRZH2D0K1X
| URI | m2://inv/TRZH2D0K1X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#P53X, Yvonne Bishop (unknown)
History
- 2026-11-02: add by m2/dev
TRZH6G4PPW TRZH6G4PPW
| URI | m2://inv/TRZH6G4PPW |
|---|---|
| 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.16941#HM7I (statement). In T96MPYB0KT/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
René-François de Sluse TRZQQB4JTM
| URI | m2://inv/TRZQQB4JTM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia René-François de Sluse, René-François de Sluse (topic). Also Wikidata Q1394765
History
- 2026-11-02: add by m2/dev
TRZZE9NQSV TRZZE9NQSV
| URI | m2://inv/TRZZE9NQSV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-15 (example). In E59CDZA4DP, example, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
TRZZFZEBSY TRZZFZEBSY
| URI | m2://inv/TRZZFZEBSY |
|---|---|
| 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#XWH7 (statement). In WYDHWYFRFK/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6