Inventory rows XT
The cards of the rows of the inventory whose ids start with XT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Implementation XT068EBT3H
| URI | m2://inv/XT068EBT3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chambolle–Pock algorithm#E8E9, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Kock, Z\"oberlein XT095ZTYJ1
| URI | m2://inv/XT095ZTYJ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.01474#XK1C, Kock, Z\"oberlein (definition). In 2QB5F6J24Q/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Spt function XT0DPK5GTF
| URI | m2://inv/XT0DPK5GTF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spt function, Spt function (definition). Also Wikidata Q7581467
History
- 2026-11-02: add by m2/dev
XT0FQ86PD9 XT0FQ86PD9
| URI | m2://inv/XT0FQ86PD9 |
|---|---|
| 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.18777#DS4Y (statement). In TFZDPHDF7V/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.6
XT0P9B4SWY XT0P9B4SWY
| URI | m2://inv/XT0P9B4SWY |
|---|---|
| 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 2610.10338#GJXW (statement). In WZ3GXRAB00/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
toroidal polyhedron XT0RT5T70X
| URI | m2://inv/XT0RT5T70X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11597584, toroidal polyhedron (unknown). Also MathWorld ToroidalPolyhedron
- wikipedia: Wikipedia Toroidal polyhedron, Toroidal polyhedron (definition). Also Wikidata Q11597584
History
- 2026-10-26: add by m2/dev
XT104MF19W XT104MF19W
| URI | m2://inv/XT104MF19W |
|---|---|
| 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 2610.21005#53OT (statement). In E63NRC7MBE/e1, proposition 2.20
History
- 2026-10-27: add by m2/v0.4.2
Affine symmetric group XT12QXHHQR
| URI | m2://inv/XT12QXHHQR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine symmetric group, Affine symmetric group (object). Also Wikidata Q106589398
History
- 2026-11-02: add by m2/dev
Albert Lautman XT1HH16BHT
| URI | m2://inv/XT1HH16BHT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#TBL0, Albert Lautman (unknown)
History
- 2026-11-02: add by m2/dev
Mathematical statement of Kalman's conjecture (Kalman problem) XT1MB8WW10
| URI | m2://inv/XT1MB8WW10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalman's conjecture#XBB3, Mathematical statement of Kalman's conjecture (Kalman problem) (statement)
History
- 2026-11-02: add by m2/dev
XT1QM0D3RV XT1QM0D3RV
| URI | m2://inv/XT1QM0D3RV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24795#0164 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Axioms for Feature Importance XT1SZT08P2
| URI | m2://inv/XT1SZT08P2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feature Importance#NRBC, Axioms for Feature Importance (statement)
History
- 2026-11-02: add by m2/dev
Johann Georg Tralles XT1V95GJ6R
| URI | m2://inv/XT1V95GJ6R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#YEXP, Johann Georg Tralles (unknown)
History
- 2026-11-02: add by m2/dev
XT1ZWJ69WH XT1ZWJ69WH
| URI | m2://inv/XT1ZWJ69WH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2605.16669#GA62 (statement). In 1463YCCRP5/e1, theorem 7.15
History
- 2026-10-27: add by m2/v0.4.0
XT22N6R7D2 XT22N6R7D2
| URI | m2://inv/XT22N6R7D2 |
|---|---|
| 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.20406#BKZ7 (statement). In 1YW6C6XGT3/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.4.2
A System of Logic XT24EWMV23
| URI | m2://inv/XT24EWMV23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A System of Logic, A System of Logic (definition). Also Wikidata Q4659938
History
- 2026-11-02: add by m2/dev
XT2NRW1J57 XT2NRW1J57
| URI | m2://inv/XT2NRW1J57 |
|---|---|
| Kind | example |
| 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.13877#FVIC (example). In NBMA6DBKJG/e1, example 4.8
History
- 2026-10-28: add by m2/v0.4.2
Constance Jones XT2T0JA4F5
| URI | m2://inv/XT2T0JA4F5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constance Jones, Constance Jones (topic). Also Wikidata Q2369186
History
- 2026-11-02: add by m2/dev
Properties XT2ZH26XPD
| URI | m2://inv/XT2ZH26XPD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive root modulo n#T15T, Properties (statement)
History
- 2026-11-02: add by m2/dev
mathematics, constructive XT37FQMSZ8
| URI | m2://inv/XT37FQMSZ8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.10/mathematics-constructive, mathematics, constructive (concept). In N54F33XE07, index, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
XT3B23VB3B XT3B23VB3B
| URI | m2://inv/XT3B23VB3B |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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 2610.11800#IKCL (example). In 8TSZ2E32K3/e1, example 2
History
- 2026-10-28: add by m2/v0.4.3
Isometric isomorphism XT3R1PNY9T
| URI | m2://inv/XT3R1PNY9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#V09U, Isometric isomorphism (definition)
History
- 2026-11-02: add by m2/dev
Gauss-Jordan elimination XT43SCZVG6
| URI | m2://inv/XT43SCZVG6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian elimination#R4WZ, Gauss-Jordan elimination (unknown)
History
- 2026-11-02: add by m2/dev
XT466CP15D XT466CP15D
| URI | m2://inv/XT466CP15D |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#FB4V (conjecture). In R03K2N7FRF/e1, conjecture 4.7
History
- 2026-10-30: add by m2/v0.4.12
Negative Controls XT4ADPVH9F
| URI | m2://inv/XT4ADPVH9F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific control#4GRF, Negative Controls (unknown)
History
- 2026-11-02: add by m2/dev
Leverage XT4WN2SNJD
| URI | m2://inv/XT4WN2SNJD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leverage (statistics), Leverage (definition). Also Wikidata Q6535263
History
- 2026-11-02: add by m2/dev
XT4YDZPZ6M XT4YDZPZ6M
| URI | m2://inv/XT4YDZPZ6M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.10246#NO29 (definition). In XD0YT3XCW2/e1, definition 3.10
History
- 2026-10-27: add by m2/v0.3.5
Construction XT4ZQ2R66G
| URI | m2://inv/XT4ZQ2R66G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentadecagon#7V5D, Construction (definition)
History
- 2026-11-02: add by m2/dev
XT5MEVC2PF XT5MEVC2PF
| URI | m2://inv/XT5MEVC2PF |
|---|---|
| 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.03555#AAOD (statement). In 9JZJTRRVR1/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Construction XT5RV721NV
| URI | m2://inv/XT5RV721NV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E9 honeycomb#CLNY, Construction (definition)
History
- 2026-11-02: add by m2/dev
The projective object \(G_r\ XT5XSG5EWG
| URI | m2://inv/XT5XSG5EWG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#QART, The projective object \(G_r\ (definition). In S26QVW5613/e1, definition 3.2.2
History
- 2026-10-30: add by m2/v0.4.12
Time-varying accuracy XT5Y80MDFZ
| URI | m2://inv/XT5Y80MDFZ |
|---|---|
| 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.35418#ZIN4, Time-varying accuracy (statement). In JHD3TW67QT/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
Formal definition XT63BS91V3
| URI | m2://inv/XT63BS91V3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flat lattice#8J6C, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Toric manifold XT671H3EM8
| URI | m2://inv/XT671H3EM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toric manifold, Toric manifold (definition). Also Wikidata Q7825778
History
- 2026-11-02: add by m2/dev
XT6MDMX84J XT6MDMX84J
| URI | m2://inv/XT6MDMX84J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#XFZZ (statement). In Y1K8WE4MDP/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
XT6MKP4Q2B XT6MKP4Q2B
| URI | m2://inv/XT6MKP4Q2B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38650#6JTP (statement). In DZJ9QJVQK3/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Krull's principal ideal theorem XT6N1Y3F77
| URI | m2://inv/XT6N1Y3F77 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#TZ4N, Krull's principal ideal theorem (statement)
- wikipedia: Wikipedia List of commutative algebra topics#BCHO, Krull's principal ideal theorem (statement)
History
- 2026-11-02: add by m2/dev
XT6PKWHN0E XT6PKWHN0E
| URI | m2://inv/XT6PKWHN0E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10086#TXOB (statement). In NP9X9CAK19/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Associativity equation XT6WT7VN5H
| URI | m2://inv/XT6WT7VN5H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associativity equation#WBLP, Associativity equation (statement)
History
- 2026-11-02: add by m2/dev
David Naccache XT7BRF9HGE
| URI | m2://inv/XT7BRF9HGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NGBZ, David Naccache (topic)
History
- 2026-11-02: add by m2/dev
XT7BVAK45W XT7BVAK45W
| URI | m2://inv/XT7BVAK45W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#ZLOP (definition)
History
- 2026-11-02: add by m2/v0.6.18
XT7DY3DGZ7 XT7DY3DGZ7
| URI | m2://inv/XT7DY3DGZ7 |
|---|---|
| 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.05327#IFPU (statement). In ZD7BWDKT84/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.10
Bhaskara's First Proof XT7F2ZVHTE
| URI | m2://inv/XT7F2ZVHTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhāskara II#AWZ0, Bhaskara's First Proof (unknown)
History
- 2026-11-02: add by m2/dev
The final scalar--fluid regularity bootstrap XT7FSD3420
| URI | m2://inv/XT7FSD3420 |
|---|---|
| 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.13613#WQ1C, The final scalar--fluid regularity bootstrap (statement). In 3HCT4TQ5PM/e1, lemma 7.6
History
- 2026-10-28: add by m2/v0.4.2
Variation partition XT7KCDQDXE
| URI | m2://inv/XT7KCDQDXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20187#4DFM, Variation partition (statement). In N280AVNNBY/e1, lemma B.10
History
- 2026-10-27: add by m2/v0.4.2
Semi-differentiability of supremal functionals XT7P9E1CZT
| URI | m2://inv/XT7P9E1CZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27918#HB2B, Semi-differentiability of supremal functionals (statement)
History
- 2026-11-01: add by m2/v0.6.15
*{Sec. 5.3 XT7X75NQ9S
| URI | m2://inv/XT7X75NQ9S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#IN1E, *{Sec. 5.3 (definition)
History
- 2026-11-02: add by m2/v0.6.17
XT87SCXZYY XT87SCXZYY
| URI | m2://inv/XT87SCXZYY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#T976 (example). In 1KSE33PVS6/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
Leopold Kronecker XT8A7YT4SS
| URI | m2://inv/XT8A7YT4SS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#KL51, Leopold Kronecker (topic)
History
- 2026-11-02: add by m2/dev
XT8EA18P82 XT8EA18P82
| URI | m2://inv/XT8EA18P82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00914#AVXR (statement). In TQ9CKHBTWN/e1, proposition 1.12
History
- 2026-10-29: add by m2/v0.4.12
Khrushchev--Peller XT8N0Q7M53
| URI | m2://inv/XT8N0Q7M53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24307#IBQ2, Khrushchev--Peller (statement)
History
- 2026-11-01: add by m2/v0.6.15
n-cell XT8QZSZNHN
| URI | m2://inv/XT8QZSZNHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#QTHE, n-cell (definition)
History
- 2026-11-02: add by m2/dev
Assertoricity XT8TPVBE77
| URI | m2://inv/XT8TPVBE77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Assertoricity, Assertoricity (definition). Also Wikidata Q356421
History
- 2026-11-02: add by m2/dev
Properties and theorems XT8W2BDZYT
| URI | m2://inv/XT8W2BDZYT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shehu transform#V3FC, Properties and theorems (statement)
History
- 2026-11-02: add by m2/dev
Upper bound on $\gamma_r(\kappa)$ XT8W8CXXWJ
| URI | m2://inv/XT8W8CXXWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38453#73ED, Upper bound on $\gamma_r(\kappa)$ (statement). In DWKWF242Y0/e1, lemma 15
History
- 2026-10-30: add by m2/v0.4.12
XT94E70F2Z XT94E70F2Z
| URI | m2://inv/XT94E70F2Z |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-24 (proof). In N54F33XE07, proof, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
XT98S8DW4R XT98S8DW4R
| URI | m2://inv/XT98S8DW4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08655#CQGS (statement). In ZT7H1ZDN96/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
automorphism XT99QSN8WW
| URI | m2://inv/XT99QSN8WW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#5LGF, automorphism (definition)
History
- 2026-11-02: add by m2/dev
dense set XT9CKHKY48
| URI | m2://inv/XT9CKHKY48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Dense set 0BSJSX7ME2 |
Mentions
- wikidata: Wikidata Q673444, dense set (unknown). Also MathWorld Dense, nLab dense subspace
- wikipedia: Wikipedia Dense set, Dense set (definition). Also Wikidata Q673444
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
XT9CP7SMJD XT9CP7SMJD
| URI | m2://inv/XT9CP7SMJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39747#6XJM (statement). In 9H2KJ3W3JX/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
XT9R5N6ST8 XT9R5N6ST8
| URI | m2://inv/XT9R5N6ST8 |
|---|---|
| Kind | example |
| 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 0903.1504#2M5W (example). In D5YZ438QTY/e1, example 3.4
History
- 2026-10-27: add by m2/v0.3.5
Applications XT9WCC5K1T
| URI | m2://inv/XT9WCC5K1T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chandrasekhar limit#98A5, Applications (example)
History
- 2026-11-02: add by m2/dev
Strongly monotone operator XT9WSV7P8V
| URI | m2://inv/XT9WSV7P8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strongly monotone operator, Strongly monotone operator (definition). Also Wikidata Q7624691
History
- 2026-11-02: add by m2/dev
XT9Z0EDDAH XT9Z0EDDAH
| URI | m2://inv/XT9Z0EDDAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00775#DJ6W (statement). In WVHA7H05QC/e1, theorem 2.30
History
- 2026-10-29: add by m2/v0.4.12
XTA524FG3P XTA524FG3P
| URI | m2://inv/XTA524FG3P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.01694#ZFJP (statement). In EBMHYN0XK9/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
XTA9ZVFPQH XTA9ZVFPQH
| URI | m2://inv/XTA9ZVFPQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#UB46 (statement)
History
- 2026-11-01: add by m2/v0.6.15
XTAG2R07JZ XTAG2R07JZ
| URI | m2://inv/XTAG2R07JZ |
|---|---|
| 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.33469#DVIA (statement). In TC5QA4AB4Z/e1, corollary 4.38
History
- 2026-10-30: add by m2/v0.4.12
XTAG4RY4Y9 XTAG4RY4Y9
| URI | m2://inv/XTAG4RY4Y9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2404.14253#2ZK4 (statement). In R7W38A039X/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.6
Edge count XTASZARWG7
| URI | m2://inv/XTASZARWG7 |
|---|---|
| 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.30561#DJS2, Edge count (statement). In EHQBEXHF9W/e1, proposition 2.4
History
- 2026-10-31: add by m2/v0.5.6
Cristina Parel XTAVQGJ179
| URI | m2://inv/XTAVQGJ179 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cristina Parel, Cristina Parel (topic). Also Wikidata Q42534761
History
- 2026-11-02: add by m2/dev
Definition XTAVR0J6RF
| URI | m2://inv/XTAVR0J6RF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-transform#5VTO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Serpent XTB01DN72G
| URI | m2://inv/XTB01DN72G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#3LBH, Serpent (definition)
History
- 2026-11-02: add by m2/dev
XTB06W3FZS XTB06W3FZS
| URI | m2://inv/XTB06W3FZS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14502#3CMB (definition). In 6BVBMTYXNZ/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
string theory XTBVC6AF3K
| URI | m2://inv/XTBVC6AF3K |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 81T30 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q33198, string theory (topic). Also nLab string theory
- wikipedia: Wikipedia String theory, String theory (topic). Also Wikidata Q33198
History
- 2026-10-26: add by m2/dev
Cecilia Krieger XTC0DN5S8H
| URI | m2://inv/XTC0DN5S8H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#LJ74, Cecilia Krieger (topic)
History
- 2026-11-02: add by m2/dev
Normal-fiber area formula XTC2QFBVMS
| URI | m2://inv/XTC2QFBVMS |
|---|---|
| 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.24716#LHYN, Normal-fiber area formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
Complex covariance matrix XTCETENDNZ
| URI | m2://inv/XTCETENDNZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance matrix#Z4YC, Complex covariance matrix (unknown)
History
- 2026-11-02: add by m2/dev
XTCFJ98XSP XTCFJ98XSP
| URI | m2://inv/XTCFJ98XSP |
|---|---|
| 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 1010.3284#WGOS (statement). In 7D3VBRZGMY/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Telegraph process XTCGWQGPZX
| URI | m2://inv/XTCGWQGPZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telegraph process, Telegraph process (definition). Also Wikidata Q7696261
History
- 2026-11-02: add by m2/dev
Projective hyperplane XTD0RSPZ99
| URI | m2://inv/XTD0RSPZ99 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperplane#TDND, Projective hyperplane (unknown)
History
- 2026-11-02: add by m2/dev
XTD5HA39K9 XTD5HA39K9
| URI | m2://inv/XTD5HA39K9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.09599#OJQV (definition). In 4JYGH9XNA9/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
XTD6J86RNF XTD6J86RNF
| URI | m2://inv/XTD6J86RNF |
|---|---|
| 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.15648#LYI4 (statement). In 5TM775V8HQ/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
XTDJR1MA6E XTDJR1MA6E
| URI | m2://inv/XTDJR1MA6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11679#Z7TK (statement). In 30PZ8ZVR3A/e1, corollary 2.7
History
- 2026-10-28: add by m2/v0.4.3
Properties XTDMF1DPYH
| URI | m2://inv/XTDMF1DPYH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pushout (category theory)#JDEL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Mathematics Genealogy Project XTDNE01W3W
| URI | m2://inv/XTDNE01W3W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics Genealogy Project, Mathematics Genealogy Project (topic). Also Wikidata Q829984
History
- 2026-11-02: add by m2/dev
XTDREC8A3H XTDREC8A3H
| URI | m2://inv/XTDREC8A3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08594#5JOP (statement). In FEE70SSD96/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
decimal separator XTDREV9444
| URI | m2://inv/XTDREV9444 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q427968, decimal separator (unknown). Also MathWorld DecimalComma, MathWorld DecimalPoint
- wikipedia: Wikipedia Decimal separator, Decimal separator (definition). Also Wikidata Q427968
History
- 2026-10-26: add by m2/dev
Generalization XTDRQ23Y20
| URI | m2://inv/XTDRQ23Y20 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy matrix#5QZD, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Sergei V. Ivanov XTDVRT30DB
| URI | m2://inv/XTDVRT30DB |
|---|---|
| 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#CQUN, Sergei V. Ivanov (unknown)
History
- 2026-11-02: add by m2/dev
Jacobson's conjecture XTDZWG603Q
| URI | m2://inv/XTDZWG603Q |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobson's conjecture, Jacobson's conjecture (conjecture). Also Wikidata Q16000128
History
- 2026-11-02: add by m2/dev
XTE2Q3SS47 XTE2Q3SS47
| URI | m2://inv/XTE2Q3SS47 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability-alt.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 83.4
History
- 2026-11-01: add by m2/v0.6.13
Other hypothesis XTE75D2H0W
| URI | m2://inv/XTE75D2H0W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aryabhata#MS6J, Other hypothesis (statement)
History
- 2026-11-02: add by m2/dev
XTE7Y8AK8C XTE7Y8AK8C
| URI | m2://inv/XTE7Y8AK8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25472#J2SW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theory of conjoint measurement XTEAFAH9P4
| URI | m2://inv/XTEAFAH9P4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XC6S, Theory of conjoint measurement (definition)
History
- 2026-11-02: add by m2/dev
XTEAVEGVQN XTEAVEGVQN
| URI | m2://inv/XTEAVEGVQN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19470#LHJH (statement). In Y24F6WTV90/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
List of Jewish mathematicians XTEE4GFT65
| URI | m2://inv/XTEE4GFT65 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians, List of Jewish mathematicians (topic). Also Wikidata Q6575348
History
- 2026-11-02: add by m2/dev
Random sampling XTEF5K25KK
| URI | m2://inv/XTEF5K25KK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5VHE, Random sampling (definition)
History
- 2026-11-02: add by m2/dev
*{Ex. 4.19}; *{Sec. 2.4; Prop. 2.6; Sec. 3.3 XTEP667M5V
| URI | m2://inv/XTEP667M5V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#I2RM, *{Ex. 4.19}; *{Sec. 2.4; Prop. 2.6; Sec. 3.3 (definition)
History
- 2026-11-02: add by m2/v0.6.17
retrograde analysis XTEVTWW6G3
| URI | m2://inv/XTEVTWW6G3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2082711, retrograde analysis (definition). Also ProofWiki Definition:Retrograde_Analysis
History
- 2026-10-26: add by m2/dev
Stodola's cone law XTEXGR7KS5
| URI | m2://inv/XTEXGR7KS5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stodola's cone law, Stodola's cone law (statement). Also Wikidata Q5365770
History
- 2026-11-02: add by m2/dev
Examples XTEZDG1J66
| URI | m2://inv/XTEZDG1J66 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia U-invariant#YN4S, Examples (example)
History
- 2026-11-02: add by m2/dev
XTF3D4H28Q XTF3D4H28Q
| URI | m2://inv/XTF3D4H28Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15378#JEWX (statement). In W4J7ZF6EDN/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
Compound of twelve tetrahedra with rotational freedom XTFANAB4CW
| URI | m2://inv/XTFANAB4CW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#XGDX, Compound of twelve tetrahedra with rotational freedom (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#8J7K, Compound of twelve tetrahedra with rotational freedom (definition)
History
- 2026-11-02: add by m2/dev
Planar polygonal families XTFAYYDCAE
| URI | m2://inv/XTFAYYDCAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04136#ONNW, Planar polygonal families (statement). In TBYTWR87F3/e1, theorem 1.10
History
- 2026-10-29: add by m2/v0.4.12
Properties XTFH08SY5S
| URI | m2://inv/XTFH08SY5S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy extension property#NH4Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
Solutions to an $\R^5$ Hicks equation XTG0HH5S67
| URI | m2://inv/XTG0HH5S67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22513#FMDE, Solutions to an $\R^5$ Hicks equation (statement)
History
- 2026-11-02: add by m2/v0.6.17
sudoku XTG0Q8SWG3
| URI | m2://inv/XTG0Q8SWG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44914, sudoku (unknown). Also MathWorld Sudoku
- wikipedia: Wikipedia Sudoku, Sudoku (definition). Also Wikidata Q44914
History
- 2026-10-26: add by m2/dev
Z-coordinate XTG2Z5RGMT
| URI | m2://inv/XTG2Z5RGMT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian coordinate system#5NTI, Z-coordinate (unknown)
History
- 2026-11-02: add by m2/dev
XTG6QPJ6S1 XTG6QPJ6S1
| URI | m2://inv/XTG6QPJ6S1 |
|---|---|
| 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 1103.1038#GLH1 (statement). In T9VMNNPS0H/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
iteration XTGE3H3RF9
| URI | m2://inv/XTGE3H3RF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#2F5L, iteration (definition)
History
- 2026-11-02: add by m2/dev
XTGFRRA7WY XTGFRRA7WY
| URI | m2://inv/XTGFRRA7WY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:h-level-retracts (statement). In N54F33XE07, thm, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
XTGP5SERKP XTGP5SERKP
| URI | m2://inv/XTGP5SERKP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#P65O (statement). In AGJE43FTF8/e1, lemma 8.11
History
- 2026-10-27: add by m2/v0.4.2
XTGTM3P6N6 XTGTM3P6N6
| URI | m2://inv/XTGTM3P6N6 |
|---|---|
| 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-10 (exercise). In E9HS8K3A52, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
XTGV6PCG9K XTGV6PCG9K
| URI | m2://inv/XTGV6PCG9K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#ZYVY (definition). In QHFP0837Q8/e1, definition 4.11
History
- 2026-10-29: add by m2/v0.4.12
$\infty$-groupoid XTGV7N0KFV
| URI | m2://inv/XTGV7N0KFV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u2/infty-groupoid, $\infty$-groupoid (concept). In N54F33XE07, index, section u1.u2
History
- 2026-11-01: add by m2/v0.6.13
XTH4MDX546 XTH4MDX546
| URI | m2://inv/XTH4MDX546 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1707.06795#42N9 (example). In 32MMSEVHYN/e1, example 2.3
History
- 2026-10-27: add by m2/v0.3.5
Longest common subsequence XTH72NK4B7
| URI | m2://inv/XTH72NK4B7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longest common subsequence, Longest common subsequence (definition). Also Wikidata Q141001
History
- 2026-11-02: add by m2/dev
XTH9S5RSJR XTH9S5RSJR
| URI | m2://inv/XTH9S5RSJR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.18390#MFQT (example). In A1E8BB0QHC/e1, example 3.5
History
- 2026-10-27: add by m2/v0.3.5
six-region classification XTHD6M3MHY
| URI | m2://inv/XTHD6M3MHY |
|---|---|
| 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.22667#AULC, six-region classification (statement)
History
- 2026-11-02: add by m2/v0.6.17
XTHD74S6N5 XTHD74S6N5
| URI | m2://inv/XTHD74S6N5 |
|---|---|
| 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.04876#E1VI (statement). In 2TNAKVC0YP/e1, proposition 4.12
History
- 2026-10-29: add by m2/v0.4.12
XTHDF8A5B6 XTHDF8A5B6
| URI | m2://inv/XTHDF8A5B6 |
|---|---|
| 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 2011.06637#KR5Z (statement). In KFCJ5CFP3G/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Schelling's model of segregation XTHJJM2E43
| URI | m2://inv/XTHJJM2E43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schelling's model of segregation, Schelling's model of segregation (definition). Also Wikidata Q96405082
History
- 2026-11-02: add by m2/dev
Gauss–Kuzmin theorem XTHQXDT8N1
| URI | m2://inv/XTHQXDT8N1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Kuzmin distribution#38RV, Gauss–Kuzmin theorem (statement)
History
- 2026-11-02: add by m2/dev
Arthur Erdélyi XTHRJDX1BC
| URI | m2://inv/XTHRJDX1BC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#XQPW, Arthur Erdélyi (topic)
History
- 2026-11-02: add by m2/dev
XTHRXH2CYQ XTHRXH2CYQ
| URI | m2://inv/XTHRXH2CYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11785#RX0I (statement). In 2XSZDXZ52E/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
Alexander Kuznetsov XTHWQ8R210
| URI | m2://inv/XTHWQ8R210 |
|---|---|
| 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#VQNC, Alexander Kuznetsov (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XZOA, Alexander Kuznetsov (unknown)
History
- 2026-11-02: add by m2/dev
Emmanuel Trélat XTJ0CH6FAE
| URI | m2://inv/XTJ0CH6FAE |
|---|---|
| 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#SCM1, Emmanuel Trélat (topic)
History
- 2026-11-02: add by m2/dev
XTJA6VXZ4K XTJA6VXZ4K
| URI | m2://inv/XTJA6VXZ4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#65ED (statement)
History
- 2026-11-01: add by m2/v0.6.15
XTJACDRHES XTJACDRHES
| URI | m2://inv/XTJACDRHES |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-42 (exercise). In E59CDZA4DP, exercise, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
Louis Nirenberg XTJFFT5WKJ
| URI | m2://inv/XTJFFT5WKJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1UZU, Louis Nirenberg (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BYW5, Louis Nirenberg (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q60Z, Louis Nirenberg (topic)
History
- 2026-11-02: add by m2/dev
Direct sum of Noetherian modules is Noetherian XTJM12FJ2T
| URI | m2://inv/XTJM12FJ2T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#lemma-1, Direct sum of Noetherian modules is Noetherian (statement). In RZP28ERRZV, lemma, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
Automatic regularity of finite-measure rows XTJPQPQMFA
| URI | m2://inv/XTJPQPQMFA |
|---|---|
| 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#YWB5, Automatic regularity of finite-measure rows (statement). In 6FY8BVP1F3/e1, proposition C.7
History
- 2026-10-29: add by m2/v0.4.12
Link-lifted cup products XTJW7ACYNH
| URI | m2://inv/XTJW7ACYNH |
|---|---|
| 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 2610.20649#JEFL, Link-lifted cup products (statement). In XDTM624YPE/e1, corollary 8.3
History
- 2026-10-27: add by m2/v0.4.2
Kernel equations map plant to target XTJX4QDYJD
| URI | m2://inv/XTJX4QDYJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08764#8A3X, Kernel equations map plant to target (statement). In QVFHS1C9BW/e1, proposition \thethrm
History
- 2026-10-29: add by m2/v0.4.10
XTJXWPT3BC XTJXWPT3BC
| URI | m2://inv/XTJXWPT3BC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-prop.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
XTJY698Q28 XTJY698Q28
| URI | m2://inv/XTJY698Q28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#defn-5 (definition). In E59CDZA4DP, defn, section 11.9.3
History
- 2026-11-01: add by m2/v0.6.13
XTK75BK3B8 XTK75BK3B8
| URI | m2://inv/XTK75BK3B8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#OOYO (statement). In PA6JQDSKQT/e1, theorem D
History
- 2026-10-28: add by m2/v0.4.2
Examples XTKA06732Z
| URI | m2://inv/XTKA06732Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic oscillator#UBCN, Examples (example)
History
- 2026-11-02: add by m2/dev
XTKECNXPMF XTKECNXPMF
| URI | m2://inv/XTKECNXPMF |
|---|---|
| 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.33019#4FW1 (statement). In R4V2A3Z5GP/e1, theorem 3.7
History
- 2026-10-31: add by m2/v0.5.6
XTKMTR70HJ XTKMTR70HJ
| URI | m2://inv/XTKMTR70HJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#T5LR (statement). In PEXJPV3NP8/e1, theorem 2.17
History
- 2026-10-27: add by m2/v0.3.5
Example XTM3ABHFZF
| URI | m2://inv/XTM3ABHFZF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith normal form#LTCZ, Example (example)
History
- 2026-11-02: add by m2/dev
torus knot XTM3ME901M
| URI | m2://inv/XTM3ME901M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Torus knot NS60VV786W |
Mentions
- wikidata: Wikidata Q1892897, torus knot (unknown). Also MathWorld TorusKnot, nLab torus knot
- wikipedia: Wikipedia Torus knot, Torus knot (definition). Also Wikidata Q1892897
History
- 2026-10-26: add by m2/dev
Anton Felkel XTM3SS61WD
| URI | m2://inv/XTM3SS61WD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anton Felkel, Anton Felkel (topic). Also Wikidata Q589271
History
- 2026-11-02: add by m2/dev
XTM4758K9P XTM4758K9P
| URI | m2://inv/XTM4758K9P |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.08081#Z6Z7 (problem). In FJ8XVQ6F0T/e1, problem 2.1
History
- 2026-10-27: add by m2/v0.4.0
P-spline XTMNRCT45D
| URI | m2://inv/XTMNRCT45D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B-spline#LV9O, P-spline (unknown)
History
- 2026-11-02: add by m2/dev
XTMQK0GCJJ XTMQK0GCJJ
| URI | m2://inv/XTMQK0GCJJ |
|---|---|
| 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.24569#7FS5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
XTMRT3B1NG XTMRT3B1NG
| URI | m2://inv/XTMRT3B1NG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#2Z4J (statement). In BDN507RN7J/e1, corollary 4.5.1
History
- 2026-10-30: add by m2/v0.4.12
analytic XTMSBE2SSN
| URI | m2://inv/XTMSBE2SSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#C1SL, analytic (definition)
History
- 2026-11-02: add by m2/dev
Spectral expansion solution XTMXH3N7VP
| URI | m2://inv/XTMXH3N7VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral expansion solution, Spectral expansion solution (definition). Also Wikidata Q16963580
History
- 2026-11-02: add by m2/dev
Bayes' theorem XTN1H3SJBY
| URI | m2://inv/XTN1H3SJBY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical proof#WNKR, Bayes' theorem (statement)
History
- 2026-11-02: add by m2/dev
XTN31GRK9N XTN31GRK9N
| URI | m2://inv/XTN31GRK9N |
|---|---|
| Kind | conjecture |
| 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.03874#PVCZ (conjecture). In YA93K7CVMT/e1, conjecture 3
History
- 2026-10-29: add by m2/v0.4.12
XTN6MD28GQ XTN6MD28GQ
| URI | m2://inv/XTN6MD28GQ |
|---|---|
| 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 2602.03058#QRMS (statement). In XQ0ZXH8KAC/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
XTN8QH57CF XTN8QH57CF
| URI | m2://inv/XTN8QH57CF |
|---|---|
| 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.19288#HSBA (statement). In 1EA6AM9V01/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
XTNEC8FTV3 XTNEC8FTV3
| URI | m2://inv/XTNEC8FTV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04503#O16T (statement). In GWQP1XPM8E/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Schröder–Bernstein theorem for measurable spaces XTNGCK31MN
| URI | m2://inv/XTNGCK31MN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7432915, Schroeder–Bernstein theorem for measurable spaces (statement). Also Mathlib MeasurableEmbedding.schroederBernstein, Wikidata Q7432915
- thousand_plus: thousand_plus Q7432915, Schroeder–Bernstein theorem for measurable spaces (statement). Also Mathlib MeasurableEmbedding.schroederBernstein, Wikidata Q7432915, Wikipedia Schroeder–Bernstein theorem for measurable spaces
- wikipedia: Wikipedia Schröder–Bernstein theorem for measurable spaces, Schröder–Bernstein theorem for measurable spaces (statement). Also Wikidata Q7432915
History
- 2026-10-26: add by m2/dev
formally real field XTNT1SYJ4M
| URI | m2://inv/XTNT1SYJ4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Formally real field X32TSWJSYT |
Mentions
- wikidata: Wikidata Q17097900, formally real field (unknown). Also nLab formally real field
- wikipedia: Wikipedia Formally real field, Formally real field (definition). Also Wikidata Q17097900
History
- 2026-10-26: add by m2/dev
transpose XTNZNRK2XT
| URI | m2://inv/XTNZNRK2XT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#Z39T, transpose (definition)
History
- 2026-11-02: add by m2/dev
XTP5G3HRYX XTP5G3HRYX
| URI | m2://inv/XTP5G3HRYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0507030#MUI9 (statement). In QV0QQ5ZCHX/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Wang's finiteness theorem XTP6N7QEFB
| URI | m2://inv/XTP6N7QEFB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazhdan–Margulis theorem#FPSP, Wang's finiteness theorem (statement)
History
- 2026-11-02: add by m2/dev
XTQ4H08A6F XTQ4H08A6F
| URI | m2://inv/XTQ4H08A6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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 2311.00918#LRQU (statement). In 2SMJ5V7FZ7/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Heiken-Ashi XTQ57TQW5T
| URI | m2://inv/XTQ57TQW5T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Candlestick chart#1M4S, Heiken-Ashi (unknown)
History
- 2026-11-02: add by m2/dev
International Society for Bayesian Analysis XTQ7QMEQF1
| URI | m2://inv/XTQ7QMEQF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of academic statistical associations#2548, International Society for Bayesian Analysis (definition)
History
- 2026-11-02: add by m2/dev
XTQJ1KD61K XTQJ1KD61K
| URI | m2://inv/XTQJ1KD61K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01946#WO47 (definition). In NB1Z31FMXN/e1, definition 3.7
History
- 2026-10-29: add by m2/v0.4.12
XTQQ12HR7R XTQQ12HR7R
| URI | m2://inv/XTQQ12HR7R |
|---|---|
| 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.16707#K81S (statement). In HH7FRWBRMB/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
XTQQZJBG1C XTQQZJBG1C
| URI | m2://inv/XTQQZJBG1C |
|---|---|
| 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.31289#9655 (statement). In CPDM7J0CC0/e1, proposition 5.1
History
- 2026-10-31: add by m2/v0.5.6
XTQR8MZKK7 XTQR8MZKK7
| URI | m2://inv/XTQR8MZKK7 |
|---|---|
| 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 2610.22040#O4IF (statement). In 2QP93JHYNB/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
Closed-form explicit formula XTQVPHMZV4
| URI | m2://inv/XTQVPHMZV4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius covariant#KH91, Closed-form explicit formula (statement)
History
- 2026-11-02: add by m2/dev
XTQZ71TB54 XTQZ71TB54
| URI | m2://inv/XTQZ71TB54 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#proof-1 (proof). In RZP28ERRZV, proof, section 37.2
History
- 2026-11-01: add by m2/v0.6.13
Applications XTR74KAQBQ
| URI | m2://inv/XTR74KAQBQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong set order#NTVF, Applications (example)
History
- 2026-11-02: add by m2/dev
XTR7AHVABQ XTR7AHVABQ
| URI | m2://inv/XTR7AHVABQ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#S0KG (conjecture). In RGXQ50RWXV/e1, conjecture 3
History
- 2026-10-28: add by m2/v0.4.2
XTRDDCRDFB XTRDDCRDFB
| URI | m2://inv/XTRDDCRDFB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#WVRJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
duality XTRFNGSTSG
| URI | m2://inv/XTRFNGSTSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Duality in projective geometry DCMP1A0138 |
Mentions
- wikidata: Wikidata Q735346, duality (unknown). Also MathWorld DualityPrinciple
- wikipedia: Wikipedia Duality (projective geometry), Duality (definition). Also Wikidata Q735346
History
- 2026-10-26: add by m2/dev
XTRMCM6VKC XTRMCM6VKC
| URI | m2://inv/XTRMCM6VKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#VGCH (statement)
History
- 2026-11-02: add by m2/v0.6.18
XTS053NT6T XTS053NT6T
| URI | m2://inv/XTS053NT6T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-45 (exercise). In E9HS8K3A52, exercise, section 5.4.4
History
- 2026-11-01: add by m2/v0.6.13
Fractional Grushin-Sobolev inequality on anisotropic cylinders XTS2C4EVX8
| URI | m2://inv/XTS2C4EVX8 |
|---|---|
| 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.09001#RJTW, Fractional Grushin-Sobolev inequality on anisotropic cylinders (statement). In HJC1JJZRSH/e1, theorem 4.10
History
- 2026-10-29: add by m2/v0.4.10
XTS6FJH02V XTS6FJH02V
| URI | m2://inv/XTS6FJH02V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#4QC1 (statement). In PA6JQDSKQT/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.2
XTS9EBRA29 XTS9EBRA29
| URI | m2://inv/XTS9EBRA29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#HBZT (statement). In J99PFFJXPE/e1, theorem 4.12
History
- 2026-10-27: add by m2/v0.3.6
Factor group XTSDFBTKR9
| URI | m2://inv/XTSDFBTKR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#IS35, Factor group (definition)
History
- 2026-11-02: add by m2/dev
Examples XTSRJB482W
| URI | m2://inv/XTSRJB482W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley–Hamilton theorem#ZTBJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Insertionally samplable pseudorandom generators XTSRZP4R43
| URI | m2://inv/XTSRZP4R43 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#Z0NA, Insertionally samplable pseudorandom generators (statement). In 7D5MMP8XB5/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
XTT4VTZEZN XTT4VTZEZN
| URI | m2://inv/XTT4VTZEZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28780#9IAJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Edinburgh Logical Framework XTT7E2705S
| URI | m2://inv/XTT7E2705S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical framework#R00L, Edinburgh Logical Framework (unknown)
History
- 2026-11-02: add by m2/dev
Definition XTTJCR7JBY
| URI | m2://inv/XTTJCR7JBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-spectrum#S9WH, Definition (definition)
History
- 2026-11-02: add by m2/dev
XTTSKJAAWD XTTSKJAAWD
| URI | m2://inv/XTTSKJAAWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#4NNO (statement). In 702AF3E4AF/e1, theorem 3.11
History
- 2026-10-30: add by m2/v0.4.12
XTTVP0S6MC XTTVP0S6MC
| URI | m2://inv/XTTVP0S6MC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.10925#0ZK2 (statement). In 9604WYX0BW/e1, lemma 4.12
History
- 2026-10-28: add by m2/v0.4.3
XTV4TJMXVC XTV4TJMXVC
| URI | m2://inv/XTV4TJMXVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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.01958#5VH4 (statement). In NQFYT2M6YZ/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.12
The Hunting of the Snark XTV8DR0NNT
| URI | m2://inv/XTV8DR0NNT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1079681, The Hunting of the Snark (unknown). Also ProofWiki Book:Lewis_Carroll/The_Hunting_of_the_Snark
History
- 2026-10-26: add by m2/dev
3-torus XTVCRPZA7A
| URI | m2://inv/XTVCRPZA7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-torus, 3-torus (definition). Also Wikidata Q17093905
History
- 2026-11-02: add by m2/dev
XTVJQDYQ90 XTVJQDYQ90
| URI | m2://inv/XTVJQDYQ90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17411#7LYN (statement). In 73QW05MWQB/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Geoffrey Grimmett XTVQ1MQ5P6
| URI | m2://inv/XTVQ1MQ5P6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9STT, Geoffrey Grimmett (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MFUR, Geoffrey Grimmett (topic)
History
- 2026-11-02: add by m2/dev
boundary condition XTW7AP4MPR
| URI | m2://inv/XTW7AP4MPR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18382796, boundary condition (unknown). Also MathWorld BoundaryConditions, nLab boundary condition
History
- 2026-10-26: add by m2/dev
XTWAD5EG7F XTWAD5EG7F
| URI | m2://inv/XTWAD5EG7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#TBYT (statement). In GXHKRV5BPY/e1, proposition 5.16
History
- 2026-10-29: add by m2/v0.4.10
Example XTWFV7D00B
| URI | m2://inv/XTWFV7D00B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#3W4J, Example (example)
History
- 2026-11-02: add by m2/dev
The flux rule at the level of spins XTWN2MV5AN
| URI | m2://inv/XTWN2MV5AN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#I2UC, The flux rule at the level of spins (statement). In 11JNM66Z09/e1, proposition 9.3
History
- 2026-10-28: add by m2/v0.4.2
XTWS55VMZ0 XTWS55VMZ0
| URI | m2://inv/XTWS55VMZ0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.07644#T50V (definition). In TFAN2DR6FD/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
XTWSPKPX55 XTWSPKPX55
| URI | m2://inv/XTWSPKPX55 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-6 (example). In VNMV985MXX, example, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Circumgon XTWSR06JK3
| URI | m2://inv/XTWSR06JK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circumgon, Circumgon (definition). Also Wikidata Q25304548
History
- 2026-11-02: add by m2/dev
W2 (transformation law of the field) XTWXTRFFW2
| URI | m2://inv/XTWXTRFFW2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang–Mills existence and mass gap#EJ26, W2 (transformation law of the field) (statement)
History
- 2026-11-02: add by m2/dev
Barycentric coordinates (mathematics) XTWYHWS8T5
| URI | m2://inv/XTWYHWS8T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#3M96, Barycentric coordinates (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Example XTX1A1ZFCM
| URI | m2://inv/XTX1A1ZFCM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallel curve#GD83, Example (example)
History
- 2026-11-02: add by m2/dev
E∞-operad XTX2139C9S
| URI | m2://inv/XTX2139C9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E∞-operad, E∞-operad (definition). Also Wikidata Q5423545
History
- 2026-11-02: add by m2/dev
The proposition does not hold for smooth compact manifolds XTX29ERF70
| URI | m2://inv/XTX29ERF70 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/morphism.tex#example-2, The proposition does not hold for smooth compact manifolds (example). In RZP28ERRZV, example, section 86.3
History
- 2026-11-01: add by m2/v0.6.13
Double interfaces XTX6J86PGT
| URI | m2://inv/XTX6J86PGT |
|---|---|
| Kind | example |
| 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 2604.11825#2V1C, Double interfaces (example). In 6H76S52BG7/e1, example A.7
History
- 2026-10-27: add by m2/v0.4.0
XTXEP2J7NW XTXEP2J7NW
| URI | m2://inv/XTXEP2J7NW |
|---|---|
| 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.13076#H7IT (statement). In K7GJA4WGV7/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Pedoe's inequality XTXFEEHFCD
| URI | m2://inv/XTXFEEHFCD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pedoe's inequality, Pedoe's inequality (statement). Also Wikidata Q1030949
History
- 2026-11-02: add by m2/dev
Ramanujan's congruences and Dyson's conjecture XTXJW7QBDA
| URI | m2://inv/XTXJW7QBDA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank of a partition#WHV1, Ramanujan's congruences and Dyson's conjecture (statement)
History
- 2026-11-02: add by m2/dev
XTXN1SP190 XTXN1SP190
| URI | m2://inv/XTXN1SP190 |
|---|---|
| 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.10107#YVTW (statement). In ZHNJ8MSXHW/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
XTXQXV1FYN XTXQXV1FYN
| URI | m2://inv/XTXQXV1FYN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-3-1-3.xml#act-3-1-3 (exercise). In 907G4C4EJ1, activity, section 3.1.2
History
- 2026-11-01: add by m2/v0.6.13
The $Q$-Taylor radius of the mirror map XTXS3YJGJS
| URI | m2://inv/XTXS3YJGJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#Y6UH, The $Q$-Taylor radius of the mirror map (statement). In 8PTDFHV8SQ/e1, theorem 11.4
History
- 2026-10-28: add by m2/v0.4.3
Iris Runge XTY3T7YD13
| URI | m2://inv/XTY3T7YD13 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#MTR8, Iris Runge (topic)
History
- 2026-11-02: add by m2/dev
XTY5NC7SN0 XTY5NC7SN0
| URI | m2://inv/XTY5NC7SN0 |
|---|---|
| Kind | example |
| 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 0810.0962#FDN2 (example). In 80YMRN5KS9/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
Elisa T. Lee XTY71KBXJT
| URI | m2://inv/XTY71KBXJT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#RQYI, Elisa T. Lee (topic)
History
- 2026-11-02: add by m2/dev
Stable manifold theorem XTYAB1WB6X
| URI | m2://inv/XTYAB1WB6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable manifold theorem, Stable manifold theorem (statement). Also Wikidata Q7595768
History
- 2026-11-02: add by m2/dev
Edge obstruction module XTYE3PMHNZ
| URI | m2://inv/XTYE3PMHNZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28160#V96N, Edge obstruction module (definition)
History
- 2026-11-01: add by m2/v0.6.15
Cycle Normal Form XTYE89XTAY
| URI | m2://inv/XTYE89XTAY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#ACLY, Cycle Normal Form (definition)
History
- 2026-11-01: add by m2/v0.6.15
Multimodal logic XTYEJKT3GF
| URI | m2://inv/XTYEJKT3GF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multimodal logic, Multimodal logic (definition). Also Wikidata Q6934805
History
- 2026-11-02: add by m2/dev
Tomasz Łuczak XTYKV9HEPX
| URI | m2://inv/XTYKV9HEPX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tomasz Łuczak, Tomasz Łuczak (topic). Also Wikidata Q2440536
History
- 2026-11-02: add by m2/dev
XTZ76MNV9D XTZ76MNV9D
| URI | m2://inv/XTZ76MNV9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.06512#3A77 (statement). In RY2X22P6XW/e1, theorem 40
History
- 2026-10-27: add by m2/v0.3.5
Free loop XTZC8GTSP5
| URI | m2://inv/XTZC8GTSP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free loop, Free loop (definition). Also Wikidata Q2015432
History
- 2026-11-02: add by m2/dev
Hamming ball XTZN9PKG96
| URI | m2://inv/XTZN9PKG96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamming ball, Hamming ball (definition). Also Wikidata Q133478830
History
- 2026-11-02: add by m2/dev
XTZRKF2YYZ XTZRKF2YYZ
| URI | m2://inv/XTZRKF2YYZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-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 2211.01586#KLY7 (statement). In P39MF3ZJC0/e1, proposition A.2
History
- 2026-10-27: add by m2/v0.3.5
480 (number) XTZT51CPEX
| URI | m2://inv/XTZT51CPEX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#83E6, 480 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Order-2 hexagonal tiling honeycomb XTZVXH081V
| URI | m2://inv/XTZVXH081V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#SB1A, Order-2 hexagonal tiling honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
Definitions XTZY6MW68Z
| URI | m2://inv/XTZY6MW68Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate function#WS10, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Facts XTZYWP0B92
| URI | m2://inv/XTZYWP0B92 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donaldson–Thomas theory#7WQ7, Facts (statement)
History
- 2026-11-02: add by m2/dev