Inventory rows 3Z
The cards of the rows of the inventory whose ids start with 3Z. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Per-step error and cost 3Z03ME5BK5
| URI | m2://inv/3Z03ME5BK5 |
|---|---|
| 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.03633#AJZB, Per-step error and cost (statement). In X3E4D61X4V/e1, lemma D.8
History
- 2026-10-29: add by m2/v0.4.12
3Z069XCPXX 3Z069XCPXX
| URI | m2://inv/3Z069XCPXX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-228 (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Milton A. Gordon 3Z0C6K8PAP
| URI | m2://inv/3Z0C6K8PAP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milton A. Gordon, Milton A. Gordon (topic). Also Wikidata Q140560477
History
- 2026-11-02: add by m2/dev
Lists of statistics topics 3Z0GY1JN1H
| URI | m2://inv/3Z0GY1JN1H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of statistics topics, Lists of statistics topics (topic). Also Wikidata Q6647235
History
- 2026-11-02: add by m2/dev
Statistical Lab 3Z0HFYR6R6
| URI | m2://inv/3Z0HFYR6R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1ANP, Statistical Lab (definition)
History
- 2026-11-02: add by m2/dev
Definition 3Z0JGGFRHZ
| URI | m2://inv/3Z0JGGFRHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal algebra#3PAO, Definition (definition)
History
- 2026-11-02: add by m2/dev
decagram 3Z0SJ9RM8Z
| URI | m2://inv/3Z0SJ9RM8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3753278, decagram (unknown). Also MathWorld Decagram
- wikipedia: Wikipedia Decagram (geometry), Decagram (definition). Also Wikidata Q3753278
History
- 2026-10-26: add by m2/dev
\texorpdfstring{$E$}{E}-typical Witt vectors 3Z1010GNG0
| URI | m2://inv/3Z1010GNG0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.18246#XH3C, \texorpdfstring{$E$}{E}-typical Witt vectors (definition). In SN6F0MPPVF/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
vector bundle 3Z18A91HSE
| URI | m2://inv/3Z18A91HSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q658429, vector bundle (definition). Also MathWorld VectorBundle, nLab vector bundle, ProofWiki Definition:Vector_Bundle
- wikipedia: Wikipedia Vector bundle, Vector bundle (definition). Also Wikidata Q658429
History
- 2026-10-26: add by m2/dev
isometry group 3Z1CDTBJ2D
| URI | m2://inv/3Z1CDTBJ2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2211166, isometry group (unknown). Also nLab isometry group
- wikipedia: Wikipedia Isometry group, Isometry group (definition). Also Wikidata Q2211166
History
- 2026-10-26: add by m2/dev
Maria Assunta Pozio 3Z1EJ6GKEG
| URI | m2://inv/3Z1EJ6GKEG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Assunta Pozio, Maria Assunta Pozio (topic). Also Wikidata Q102342774
History
- 2026-11-02: add by m2/dev
3Z1HT55PM5 3Z1HT55PM5
| URI | m2://inv/3Z1HT55PM5 |
|---|---|
| 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 2503.01563#GLB1 (statement). In H96Q47E9E1/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Domain separation 3Z1KVZPA6D
| URI | m2://inv/3Z1KVZPA6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domain separation, Domain separation (definition). Also Wikidata Q131314311
History
- 2026-11-02: add by m2/dev
3Z1MMPY8C9 3Z1MMPY8C9
| URI | m2://inv/3Z1MMPY8C9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.05320#H98M (statement). In MVXZWHKEX8/e1, proposition 6.5
History
- 2026-10-29: add by m2/v0.4.10
3Z1RXJ34SQ 3Z1RXJ34SQ
| URI | m2://inv/3Z1RXJ34SQ |
|---|---|
| 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#7QIJ (statement). In GXHKRV5BPY/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
3Z1TDB3FKY 3Z1TDB3FKY
| URI | m2://inv/3Z1TDB3FKY |
|---|---|
| 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.18709#FR6Q (statement). In K7VY50VFK6/e1, proposition 16.1
History
- 2026-10-28: add by m2/v0.4.2
Basis pursuit denoising 3Z1XNCB2XJ
| URI | m2://inv/3Z1XNCB2XJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basis pursuit denoising, Basis pursuit denoising (definition). Also Wikidata Q4867574
History
- 2026-11-02: add by m2/dev
Generalizations 3Z1Y0XGZZZ
| URI | m2://inv/3Z1Y0XGZZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaudin model#D6PI, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Khinchin's constant 3Z215HY82J
| URI | m2://inv/3Z215HY82J |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2718188, Khinchin's constant (object). Also MathWorld KhinchinsConstant, OEIS A002210
- wikipedia: Wikipedia Khinchin's constant, Khinchin's constant (object). Also Wikidata Q2718188
History
- 2026-10-26: add by m2/dev
Lemma 3Z21BWPE09
| URI | m2://inv/3Z21BWPE09 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum theorem#DV98, Lemma (statement)
History
- 2026-11-02: add by m2/dev
3Z22JA8H13 3Z22JA8H13
| URI | m2://inv/3Z22JA8H13 |
|---|---|
| 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 2609.33512#82E8 (statement). In WYHZMYZT31/e1, proposition 3.20
History
- 2026-10-30: add by m2/v0.4.12
Examples 3Z23RXTFHZ
| URI | m2://inv/3Z23RXTFHZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics and science partnerships#3I3D, Examples (example)
History
- 2026-11-02: add by m2/dev
3Z27PAJ0CW 3Z27PAJ0CW
| URI | m2://inv/3Z27PAJ0CW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#B8N0 (statement). In 78X5SKJX8J/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
3Z2DEPG1CY 3Z2DEPG1CY
| URI | m2://inv/3Z2DEPG1CY |
|---|---|
| Kind | problem |
| 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 2210.16706#KD0I (problem). In JSRVKPT87E/e1, problem
History
- 2026-10-27: add by m2/v0.4.0
Aleph-null 3Z2PPM2B2D
| URI | m2://inv/3Z2PPM2B2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#YE26, Aleph-null (definition)
History
- 2026-11-02: add by m2/dev
Cantor Dust 3Z2RZR3D77
| URI | m2://inv/3Z2RZR3D77 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor set#21N0, Cantor Dust (unknown)
History
- 2026-11-02: add by m2/dev
3Z3K9HVSSW 3Z3K9HVSSW
| URI | m2://inv/3Z3K9HVSSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28195#6RL0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
R.L. Griess 3Z3S00VWM0
| URI | m2://inv/3Z3S00VWM0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#8B2P, R.L. Griess (topic)
History
- 2026-11-02: add by m2/dev
Artur Oscar Lopes 3Z45YDGYVE
| URI | m2://inv/3Z45YDGYVE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artur Oscar Lopes, Artur Oscar Lopes (topic). Also Wikidata Q19969087
History
- 2026-11-02: add by m2/dev
3Z4GE82F1A 3Z4GE82F1A
| URI | m2://inv/3Z4GE82F1A |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/long-exact.tex#proof-2 (proof). In RZP28ERRZV, proof, section 54.3
History
- 2026-11-01: add by m2/v0.6.13
3Z4TR41GKB 3Z4TR41GKB
| URI | m2://inv/3Z4TR41GKB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25718#JOBN (definition)
History
- 2026-11-01: add by m2/v0.6.15
partition principle 3Z4WRP1AWB
| URI | m2://inv/3Z4WRP1AWB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#O0JQ, partition principle (statement)
History
- 2026-11-02: add by m2/dev
Stanislaw Golab 3Z5D6F6XQH
| URI | m2://inv/3Z5D6F6XQH |
|---|---|
| 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#1M94, Stanislaw Golab (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5M1Y, Stanislaw Golab (topic)
History
- 2026-11-02: add by m2/dev
Algebra 3Z5D9CWN6C
| URI | m2://inv/3Z5D9CWN6C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#AQZ6, Algebra (topic)
History
- 2026-11-02: add by m2/dev
Loss of significance 3Z5Q3ZN3QR
| URI | m2://inv/3Z5Q3ZN3QR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#ELUJ, Loss of significance (definition)
History
- 2026-11-02: add by m2/dev
TI-84 Plus C Silver Edition 3Z5S84X0BK
| URI | m2://inv/3Z5S84X0BK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TI-84 Plus series#CS9Y, TI-84 Plus C Silver Edition (unknown)
History
- 2026-11-02: add by m2/dev
Eric Bieniemy 3Z5YPPZRHP
| URI | m2://inv/3Z5YPPZRHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#X8ND, Eric Bieniemy (unknown)
History
- 2026-11-02: add by m2/dev
3Z612NDTKT 3Z612NDTKT
| URI | m2://inv/3Z612NDTKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.02244#JHZH (statement). In 3REM2EXQK7/e1, theorem 3.12
History
- 2026-10-29: add by m2/v0.4.12
Bad-set control implies slack stability 3Z61WK7W1P
| URI | m2://inv/3Z61WK7W1P |
|---|---|
| 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.28160#YHV8, Bad-set control implies slack stability (statement)
History
- 2026-11-01: add by m2/v0.6.15
Roland Bulirsch 3Z67SY34GC
| URI | m2://inv/3Z67SY34GC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#FMKQ, Roland Bulirsch (topic)
History
- 2026-11-02: add by m2/dev
Fabrizio Mordente 3Z69N1PGNJ
| URI | m2://inv/3Z69N1PGNJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#54I6, Fabrizio Mordente (unknown)
History
- 2026-11-02: add by m2/dev
Examples 3Z6G1N9CEE
| URI | m2://inv/3Z6G1N9CEE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Span (category theory)#RJ9Y, Examples (example)
History
- 2026-11-02: add by m2/dev
3Z6GH31JMW 3Z6GH31JMW
| URI | m2://inv/3Z6GH31JMW |
|---|---|
| Kind | example |
| 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.21295#OLPO (example)
History
- 2026-11-02: add by m2/v0.6.18
3Z6PNTC9EQ 3Z6PNTC9EQ
| URI | m2://inv/3Z6PNTC9EQ |
|---|---|
| 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.36412#LNWQ (statement). In 6HKGGCMBCK/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
3Z6S13NGP9 3Z6S13NGP9
| URI | m2://inv/3Z6S13NGP9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35183#2M4A (statement). In FYM5XFD9RR/e1, proposition 2.6
History
- 2026-10-30: add by m2/v0.4.12
Start with Kullback's inequality 3Z6X6Q33Y9
| URI | m2://inv/3Z6X6Q33Y9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kullback's inequality#K3OF, Start with Kullback's inequality (statement)
History
- 2026-11-02: add by m2/dev
Simple module 3Z6ZJDZVJZ
| URI | m2://inv/3Z6ZJDZVJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#87LE, Simple module (definition)
History
- 2026-11-02: add by m2/dev
event structure 3Z70EFNWYY
| URI | m2://inv/3Z70EFNWYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5416730, event structure (unknown). Also nLab event structure
- wikipedia: Wikipedia Event structure, Event structure (definition). Also Wikidata Q5416730
History
- 2026-10-26: add by m2/dev
150 Mile House 3Z719XFR23
| URI | m2://inv/3Z719XFR23 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#5RYN, 150 Mile House (unknown)
History
- 2026-11-02: add by m2/dev
3Z77418V82 3Z77418V82
| URI | m2://inv/3Z77418V82 |
|---|---|
| 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 2609.20656#8B3F (definition)
History
- 2026-11-02: add by m2/v0.6.18
3Z7C3VPPNJ 3Z7C3VPPNJ
| URI | m2://inv/3Z7C3VPPNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#JIEN (statement). In 6M5WR7KB80/e1, theorem 3.9
History
- 2026-10-28: add by m2/v0.4.3
3Z7NY96EB2 3Z7NY96EB2
| URI | m2://inv/3Z7NY96EB2 |
|---|---|
| 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.04431#XDK3 (statement). In 3PSAWXCCJ8/e1, proposition 11
History
- 2026-10-29: add by m2/v0.4.12
3Z7S62K9P9 3Z7S62K9P9
| URI | m2://inv/3Z7S62K9P9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15517#5P7H (definition). In C87H6KZSBM/e1, definition A.2
History
- 2026-10-28: add by m2/v0.4.2
3Z7T3Q47J2 3Z7T3Q47J2
| URI | m2://inv/3Z7T3Q47J2 |
|---|---|
| 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.11441#4X4M (statement). In RNXV4Q58TY/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.3
Causal speed on $\X$ 3Z7V3F8D8G
| URI | m2://inv/3Z7V3F8D8G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#LSGO, Causal speed on $\X$ (definition). In KM3Q791JY0/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.4.2
John Veitch 3Z7ZMJ58NP
| URI | m2://inv/3Z7ZMJ58NP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Veitch (poet), John Veitch (topic). Also Wikidata Q6261901
History
- 2026-11-02: add by m2/dev
excluded middle 3Z828Z0NZ6
| URI | m2://inv/3Z828Z0NZ6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.4/excluded-middle, excluded middle (concept). In N54F33XE07, index, section C.4
History
- 2026-11-01: add by m2/v0.6.13
Implementation 3Z85K5HYR8
| URI | m2://inv/3Z85K5HYR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marsaglia polar method#6I3Q, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Bayesian information criterion 3Z868XS65N
| URI | m2://inv/3Z868XS65N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian information criterion, Bayesian information criterion (statement). Also Wikidata Q1988242
History
- 2026-11-02: add by m2/dev
3Z86VZSRG3 3Z86VZSRG3
| URI | m2://inv/3Z86VZSRG3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-26 (proof). In N54F33XE07, proof, section 3.8
History
- 2026-11-01: add by m2/v0.6.13
Construction 3Z8C8K6NEZ
| URI | m2://inv/3Z8C8K6NEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 22 polytope#PPKM, Construction (definition)
History
- 2026-11-02: add by m2/dev
Poincaré space 3Z8F3G4M0A
| URI | m2://inv/3Z8F3G4M0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#5GMY, Poincaré space (definition)
History
- 2026-11-02: add by m2/dev
3Z8FY1JBWN 3Z8FY1JBWN
| URI | m2://inv/3Z8FY1JBWN |
|---|---|
| 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.32338#Z4JI (statement). In HVY45JQRNK/e1, theorem 1.5
History
- 2026-10-31: add by m2/v0.5.6
Hill's muscle model 3Z8XT37K2H
| URI | m2://inv/3Z8XT37K2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hill's muscle model, Hill's muscle model (definition). Also Wikidata Q10331394
History
- 2026-11-02: add by m2/dev
3Z8ZZZSN14 3Z8ZZZSN14
| URI | m2://inv/3Z8ZZZSN14 |
|---|---|
| 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 2610.05299#OI45 (statement). In 68AE571S4P/e1, lemma A.5
History
- 2026-10-29: add by m2/v0.4.10
Ideal chain 3Z948WMDD9
| URI | m2://inv/3Z948WMDD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal chain, Ideal chain (definition). Also Wikidata Q1453564
History
- 2026-11-02: add by m2/dev
3Z96X7KKNW 3Z96X7KKNW
| URI | m2://inv/3Z96X7KKNW |
|---|---|
| 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 1907.01440#PNPQ (statement). In QDRYC6WJJ7/e1, theorem 17
History
- 2026-10-27: add by m2/v0.3.5
Global estimate for strong supersolutions 3Z9AAZNDZN
| URI | m2://inv/3Z9AAZNDZN |
|---|---|
| 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#F136, Global estimate for strong supersolutions (statement). In H297EPZQQB/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
3Z9AFVAYGK 3Z9AFVAYGK
| URI | m2://inv/3Z9AFVAYGK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zfc.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 93.7
History
- 2026-11-01: add by m2/v0.6.13
Compatible core and SKA 3Z9BMKRDTF
| URI | m2://inv/3Z9BMKRDTF |
|---|---|
| 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.23281#TX0K, Compatible core and SKA (definition)
History
- 2026-11-02: add by m2/v0.6.17
Properties of the composition law 3Z9HQGY892
| URI | m2://inv/3Z9HQGY892 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss composition law#3R2B, Properties of the composition law (statement)
History
- 2026-11-02: add by m2/dev
3Z9MH1P1Z4 3Z9MH1P1Z4
| URI | m2://inv/3Z9MH1P1Z4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2307.06098#YJ2N (statement). In DK1V8M7DS4/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
3Z9TEW7CPG 3Z9TEW7CPG
| URI | m2://inv/3Z9TEW7CPG |
|---|---|
| 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.15402#X6XX (statement). In WSE8SEHVXG/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
3Z9TFG0CHJ 3Z9TFG0CHJ
| URI | m2://inv/3Z9TFG0CHJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05804#MYHE (example). In 8CBVCXJ17A/e1, example
History
- 2026-10-29: add by m2/v0.4.10
3Z9TGH1RY6 3Z9TGH1RY6
| URI | m2://inv/3Z9TGH1RY6 |
|---|---|
| Kind | statement |
| 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 2610.02061#5LOF (statement). In F5STMSPR6X/e1, lemma A.8
History
- 2026-10-29: add by m2/v0.4.12
Wilf's inequality 3Z9VEP73CK
| URI | m2://inv/3Z9VEP73CK |
|---|---|
| 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.13852#HQP5, Wilf's inequality (statement). In SXTGSAH3WF/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
John C. Gittins 3Z9WCRKKKW
| URI | m2://inv/3Z9WCRKKKW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John C. Gittins, John C. Gittins (topic). Also Wikidata Q6224420
History
- 2026-11-02: add by m2/dev
3Z9XTERTAA 3Z9XTERTAA
| URI | m2://inv/3Z9XTERTAA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.39824#I2BJ (statement). In REPGS464V6/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Applications 3Z9YFVFK3V
| URI | m2://inv/3Z9YFVFK3V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat exchanger#NU57, Applications (example)
History
- 2026-11-02: add by m2/dev
3ZA02A5Y9Z 3ZA02A5Y9Z
| URI | m2://inv/3ZA02A5Y9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09042#QKU5 (statement). In 7CS3N5K9FJ/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
3ZA3ZMXXDZ 3ZA3ZMXXDZ
| URI | m2://inv/3ZA3ZMXXDZ |
|---|---|
| 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.09561#KLMY (statement). In WDV5E2CVTR/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
3ZA5SAG7RC 3ZA5SAG7RC
| URI | m2://inv/3ZA5SAG7RC |
|---|---|
| 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#OU6U (statement). In 13GSWBXPCM/e1, lemma B.8
History
- 2026-10-27: add by m2/v0.3.5
3ZA6EZZ63V 3ZA6EZZ63V
| URI | m2://inv/3ZA6EZZ63V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25100#WLD3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
3ZAKS0510P 3ZAKS0510P
| URI | m2://inv/3ZAKS0510P |
|---|---|
| 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 2211.14214#USM6 (statement). In SY85Y9E45A/e1, proposition 25
History
- 2026-10-27: add by m2/v0.3.5
3ZAKZG0FA2 3ZAKZG0FA2
| URI | m2://inv/3ZAKZG0FA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#QJ9M (statement). In S7PNTM0GZC/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Euler's totient function 3ZAQQ1XS9T
| URI | m2://inv/3ZAQQ1XS9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#Z7GH, Euler's totient function (definition)
History
- 2026-11-02: add by m2/dev
Centripetal Acceleration 3ZASVV2ECJ
| URI | m2://inv/3ZASVV2ECJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acceleration#W2DC, Centripetal Acceleration (unknown)
History
- 2026-11-02: add by m2/dev
The Generalized semi-Clifford Conjecture 3ZAV4SDXR3
| URI | m2://inv/3ZAV4SDXR3 |
|---|---|
| Kind | conjecture |
| 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 2212.05398#GAJI, The Generalized semi-Clifford Conjecture (conjecture). In WQKQ8438M7/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.3.5
pair 3ZB0KDXAPZ
| URI | m2://inv/3ZB0KDXAPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#SQB3, pair (definition)
History
- 2026-11-02: add by m2/dev
deconvolution 3ZBD4NEG0F
| URI | m2://inv/3ZBD4NEG0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1183700, deconvolution (unknown). Also MathWorld Deconvolution
- wikipedia: Wikipedia Deconvolution, Deconvolution (definition). Also Wikidata Q1183700
History
- 2026-10-26: add by m2/dev
Gour's filter in a fixed dilation 3ZBF01PDYY
| URI | m2://inv/3ZBF01PDYY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-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.28635#ORYM, Gour's filter in a fixed dilation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 3ZBMM56THT
| URI | m2://inv/3ZBMM56THT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch's higher Chow group#NDPC, Definition (definition)
History
- 2026-11-02: add by m2/dev
3ZBMTTQJ3V 3ZBMTTQJ3V
| URI | m2://inv/3ZBMTTQJ3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#6K3S (statement). In TB1294GY5X/e1, corollary 5.23
History
- 2026-10-27: add by m2/v0.4.2
3ZBPV7KZN0 3ZBPV7KZN0
| URI | m2://inv/3ZBPV7KZN0 |
|---|---|
| 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#N7TQ (statement). In GYMGDQS25R/e1, theorem 1.13
History
- 2026-10-29: add by m2/v0.4.10
Fiducial inference 3ZBRNX73CW
| URI | m2://inv/3ZBRNX73CW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiducial inference, Fiducial inference (definition). Also Wikidata Q4483495
History
- 2026-11-02: add by m2/dev
3ZBWVJ44FP 3ZBWVJ44FP
| URI | m2://inv/3ZBWVJ44FP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-82 (exercise). In E9HS8K3A52, exercise, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
trivial bounds for $\widehat Q_{\bf m}f$ 3ZC4TN4RA1
| URI | m2://inv/3ZC4TN4RA1 |
|---|---|
| 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 2210.06147#O6Q4, trivial bounds for $\widehat Q_{\bf m}f$ (statement). In 94RBNQA07A/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.3.5
Agreement from selected relations 3ZCARNB7YS
| URI | m2://inv/3ZCARNB7YS |
|---|---|
| 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.14509#F8NH, Agreement from selected relations (statement). In N6GD8392QB/e1, proposition 6.9
History
- 2026-10-28: add by m2/v0.4.2
3ZCD7Z26F1 3ZCD7Z26F1
| URI | m2://inv/3ZCD7Z26F1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28794#2L8H (definition)
History
- 2026-11-01: add by m2/v0.6.15
3ZCGHS0TQE 3ZCGHS0TQE
| URI | m2://inv/3ZCGHS0TQE |
|---|---|
| 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.28297#8SH6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
3ZCJYJ5NCB 3ZCJYJ5NCB
| URI | m2://inv/3ZCJYJ5NCB |
|---|---|
| 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 2204.01073#K1SL (statement). In W4TYN4PGE8/e1, corollary 3.24
History
- 2026-10-27: add by m2/v0.3.5
Jane Jin Kaisen 3ZCSSFNXNN
| URI | m2://inv/3ZCSSFNXNN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#YBAF, Jane Jin Kaisen (unknown)
History
- 2026-11-02: add by m2/dev
Unicity distance 3ZCT485H0Y
| URI | m2://inv/3ZCT485H0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unicity distance, Unicity distance (definition). Also Wikidata Q1640661
History
- 2026-11-02: add by m2/dev
3ZCVT89PQM 3ZCVT89PQM
| URI | m2://inv/3ZCVT89PQM |
|---|---|
| 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#W52E (statement). In 702AF3E4AF/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
Example 3ZD21ZY0KT
| URI | m2://inv/3ZD21ZY0KT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrow–Debreu model#D01Z, Example (example)
History
- 2026-11-02: add by m2/dev
Hasegawa–Mima equation 3ZDCX8KMME
| URI | m2://inv/3ZDCX8KMME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#KSPH, Hasegawa–Mima equation (definition)
History
- 2026-11-02: add by m2/dev
3ZDW7K5C38 3ZDW7K5C38
| URI | m2://inv/3ZDW7K5C38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08500#1VZJ (statement). In ZPCYW4N0EH/e1, corollary 1.6
History
- 2026-10-29: add by m2/v0.4.10
9001 (number) 3ZE529Z39S
| URI | m2://inv/3ZE529Z39S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 9000 (number)#VOF3, 9001 (number) (unknown)
History
- 2026-11-02: add by m2/dev
3ZEAPX2MDS 3ZEAPX2MDS
| URI | m2://inv/3ZEAPX2MDS |
|---|---|
| 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.09650#EDR6 (definition). In 628KM8869P/e1, definition 6.7
History
- 2026-10-29: add by m2/v0.4.10
3ZF37VC9TV 3ZF37VC9TV
| URI | m2://inv/3ZF37VC9TV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-3 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
Orders of magnitude (one cubic millimetre to one cubic metre) 3ZF73JXFJF
| URI | m2://inv/3ZF73JXFJF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (volume)#UT3V, Orders of magnitude (one cubic millimetre to one cubic metre) (unknown)
History
- 2026-11-02: add by m2/dev
3ZFJ895B3Q 3ZFJ895B3Q
| URI | m2://inv/3ZFJ895B3Q |
|---|---|
| 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.25314#CTHL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Walter Borho 3ZFP4JJENF
| URI | m2://inv/3ZFP4JJENF |
|---|---|
| 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#1IAU, Walter Borho (topic)
History
- 2026-11-02: add by m2/dev
3ZFRYSN2Y5 3ZFRYSN2Y5
| URI | m2://inv/3ZFRYSN2Y5 |
|---|---|
| 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.10927#6EDY (statement). In DHEJP3YATV/e1, proposition 25
History
- 2026-10-28: add by m2/v0.4.3
Benktander type II distribution 3ZFTPV6R79
| URI | m2://inv/3ZFTPV6R79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benktander type II distribution, Benktander type II distribution (definition). Also Wikidata Q4889567
History
- 2026-11-02: add by m2/dev
Hadamard three-lines theorem 3ZFYHR9NRC
| URI | m2://inv/3ZFYHR9NRC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GXEK, Hadamard three-lines theorem (statement)
History
- 2026-11-02: add by m2/dev
chiral anomaly 3ZG14DEXCK
| URI | m2://inv/3ZG14DEXCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5101826, chiral anomaly (unknown). Also nLab chiral anomaly
- wikipedia: Wikipedia Chiral anomaly, Chiral anomaly (definition). Also Wikidata Q5101826
History
- 2026-10-26: add by m2/dev
3ZG62MQSP7 3ZG62MQSP7
| URI | m2://inv/3ZG62MQSP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#SZLN (statement). In 6NVP3YRWVA/e1, lemma 2.15
History
- 2026-10-29: add by m2/v0.4.10
Loxodromic Mapping Conjecture 3ZGATW0WY6
| URI | m2://inv/3ZGATW0WY6 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#O7DB, Loxodromic Mapping Conjecture (conjecture). In GYSF9JXQCH/e1, conjecture 4.1
History
- 2026-10-29: add by m2/v0.4.10
Sherrington-Kirkpatrick model 3ZGFR5BM0B
| URI | m2://inv/3ZGFR5BM0B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin glass#Y6F5, Sherrington-Kirkpatrick model (unknown)
History
- 2026-11-02: add by m2/dev
3ZGK0H30EM 3ZGK0H30EM
| URI | m2://inv/3ZGK0H30EM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.04502#XQNZ (statement). In BT6E9BXXF3/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
3ZGNQ4SGBS 3ZGNQ4SGBS
| URI | m2://inv/3ZGNQ4SGBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26041#QY3D (statement)
History
- 2026-11-01: add by m2/v0.6.15
Subtyping of $\Uc_i$ 3ZGNS7PHDK
| URI | m2://inv/3ZGNS7PHDK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#J8Y8, Subtyping of $\Uc_i$ (statement). In CPYWHRTPKC/e1, lemma 6.15
History
- 2026-10-27: add by m2/v0.4.2
Cooperative bargaining 3ZGPYA64BQ
| URI | m2://inv/3ZGPYA64BQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cooperative bargaining, Cooperative bargaining (definition). Also Wikidata Q1516247
History
- 2026-11-02: add by m2/dev
3ZGRYK8WNV 3ZGRYK8WNV
| URI | m2://inv/3ZGRYK8WNV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#example-2 (example). In RZP28ERRZV, example, section 22.4.1
History
- 2026-11-01: add by m2/v0.6.13
Generalizations 3ZGW67MDR4
| URI | m2://inv/3ZGW67MDR4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley table#S17F, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
3ZGZ8F76RQ 3ZGZ8F76RQ
| URI | m2://inv/3ZGZ8F76RQ |
|---|---|
| Kind | problem |
| 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.32338#FJPN (problem). In HVY45JQRNK/e1, problem 6
History
- 2026-10-31: add by m2/v0.5.6
long division symbol 3ZH17Y9PTE
| URI | m2://inv/3ZH17Y9PTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141150759, long division symbol (unknown). Also MathWorld LongDivisionSymbol
History
- 2026-10-26: add by m2/dev
Critical numbers $p_\pm(A)$ 3ZH1P490XS
| URI | m2://inv/3ZH1P490XS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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 2609.29712#MR4B, Critical numbers $p_\pm(A)$ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Gladys H. Reynolds 3ZH2C14H8M
| URI | m2://inv/3ZH2C14H8M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gladys H. Reynolds, Gladys H. Reynolds (topic). Also Wikidata Q42434193
History
- 2026-11-02: add by m2/dev
Empty function 3ZH341ESWY
| URI | m2://inv/3ZH341ESWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#P6W1, Empty function (definition)
History
- 2026-11-02: add by m2/dev
3ZH9WPXJ4B 3ZH9WPXJ4B
| URI | m2://inv/3ZH9WPXJ4B |
|---|---|
| Kind | example |
| 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 2310.09889#52L1 (example). In BMNZKPSC48/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Optimal estimation 3ZHJ1MMGS4
| URI | m2://inv/3ZHJ1MMGS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal estimation, Optimal estimation (definition). Also Wikidata Q7098944
History
- 2026-11-02: add by m2/dev
Patrick Soon-Shiong 3ZHT7PW9XX
| URI | m2://inv/3ZHT7PW9XX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#AL9M, Patrick Soon-Shiong (unknown)
History
- 2026-11-02: add by m2/dev
Gottfried Wilhelm Leibniz 3ZHYJN9G7G
| URI | m2://inv/3ZHYJN9G7G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#R8IQ, Gottfried Wilhelm Leibniz (topic)
History
- 2026-11-02: add by m2/dev
3ZJ0BCSXNS 3ZJ0BCSXNS
| URI | m2://inv/3ZJ0BCSXNS |
|---|---|
| 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#73ZM (statement). In BDN507RN7J/e1, proposition 5.1.1
History
- 2026-10-30: add by m2/v0.4.12
3ZJ24HPRGN 3ZJ24HPRGN
| URI | m2://inv/3ZJ24HPRGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21507#76Y9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
orientation 3ZJ5FXPPMA
| URI | m2://inv/3ZJ5FXPPMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#O7ZX, orientation (definition)
History
- 2026-11-02: add by m2/dev
Group stack 3ZJ8DPP6CK
| URI | m2://inv/3ZJ8DPP6CK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group stack, Group stack (definition). Also Wikidata Q39047241
History
- 2026-11-02: add by m2/dev
Hilbert-Schmidt inner product 3ZJ8VKHYX8
| URI | m2://inv/3ZJ8VKHYX8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Schmidt operator#6CM0, Hilbert-Schmidt inner product (unknown)
History
- 2026-11-02: add by m2/dev
Pentahectogon 3ZJDS1KGT9
| URI | m2://inv/3ZJDS1KGT9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#LYJY, Pentahectogon (unknown)
History
- 2026-11-02: add by m2/dev
Conformal Killing vector field 3ZJM4BZBE9
| URI | m2://inv/3ZJM4BZBE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal Killing vector field, Conformal Killing vector field (definition). Also Wikidata Q3555167
History
- 2026-11-02: add by m2/dev
3ZJMKFWHTD 3ZJMKFWHTD
| URI | m2://inv/3ZJMKFWHTD |
|---|---|
| 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 2309.16041#KBSB (statement). In 2GD6NWJVRM/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
FROSTBURG 3ZJN6RXH3B
| URI | m2://inv/3ZJN6RXH3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FROSTBURG, FROSTBURG (definition). Also Wikidata Q3737306
History
- 2026-11-02: add by m2/dev
3ZJR2XA116 3ZJR2XA116
| URI | m2://inv/3ZJR2XA116 |
|---|---|
| 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.14189#P7SG (statement). In 39VAB08YDJ/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
3ZJTTV1X53 3ZJTTV1X53
| URI | m2://inv/3ZJTTV1X53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#RGL4 (statement). In 9JHMTYGWFQ/e1, lemma 11.1
History
- 2026-10-27: add by m2/v0.3.6
3ZK2313FNB 3ZK2313FNB
| URI | m2://inv/3ZK2313FNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21578#2Z1X (statement). In 6M96RM3T7N/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.4.2
3ZK95TTX85 3ZK95TTX85
| URI | m2://inv/3ZK95TTX85 |
|---|---|
| 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.19010#AUAM (statement). In 6315NJBYJM/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Special case 3ZKAEG0FWP
| URI | m2://inv/3ZKAEG0FWP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted median#ZI2Y, Special case (statement)
History
- 2026-11-02: add by m2/dev
3ZKSAS2TBT 3ZKSAS2TBT
| URI | m2://inv/3ZKSAS2TBT |
|---|---|
| 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 2503.08488#WLZ6 (statement). In QH5MZXMXQH/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
3ZKTRS6ZMW 3ZKTRS6ZMW
| URI | m2://inv/3ZKTRS6ZMW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38970#9M2S (statement). In VE6WBAMDSA/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Ordered vector space 3ZKWGSHB1E
| URI | m2://inv/3ZKWGSHB1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered vector space, Ordered vector space (definition). Also Wikidata Q1503340
History
- 2026-11-02: add by m2/dev
3ZKXPBMQ5N 3ZKXPBMQ5N
| URI | m2://inv/3ZKXPBMQ5N |
|---|---|
| Kind | statement |
| 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 2302.07710#0SLQ (statement). In WD3CVPPH6H/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
3ZKY8EJPRC 3ZKY8EJPRC
| URI | m2://inv/3ZKY8EJPRC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
Lesser Simply Paired 3ZKYB7CAXW
| URI | m2://inv/3ZKYB7CAXW |
|---|---|
| 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 2401.13523#54BD, Lesser Simply Paired (definition). In DDA62XQTWW/e1, definition 3.9
History
- 2026-10-27: add by m2/v0.3.5
The variation of a vector measure 3ZM0R12PCE
| URI | m2://inv/3ZM0R12PCE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector measure#OBIB, The variation of a vector measure (statement)
History
- 2026-11-02: add by m2/dev
3ZM2WPMJRN 3ZM2WPMJRN
| URI | m2://inv/3ZM2WPMJRN |
|---|---|
| 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 2609.36321#GLM1 (definition). In 3KTZ6Z615H/e1, definition 6.8
History
- 2026-10-30: add by m2/v0.4.12
323 (number) 3ZM3H9PXC1
| URI | m2://inv/3ZM3H9PXC1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#707I, 323 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Applications 3ZMATQX49B
| URI | m2://inv/3ZMATQX49B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mackey functor#I085, Applications (example)
History
- 2026-11-02: add by m2/dev
3ZMAXGGJ8T 3ZMAXGGJ8T
| URI | m2://inv/3ZMAXGGJ8T |
|---|---|
| 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.29531#B4FN (statement)
History
- 2026-11-01: add by m2/v0.6.15
3ZMFH0FTVH 3ZMFH0FTVH
| URI | m2://inv/3ZMFH0FTVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.28742#JM70 (statement)
History
- 2026-11-01: add by m2/v0.6.15
3ZMG7NKB29 3ZMG7NKB29
| URI | m2://inv/3ZMG7NKB29 |
|---|---|
| Kind | example |
| 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 2402.17852#JN4U (example). In 1WCXV5PVZA/e1, example 2.5
History
- 2026-10-27: add by m2/v0.4.0
3ZMT43VR2T 3ZMT43VR2T
| URI | m2://inv/3ZMT43VR2T |
|---|---|
| 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.06707#FPQH (statement). In 9TR5E527P5/e1, lemma 1.15
History
- 2026-10-29: add by m2/v0.4.10
3ZN1GHS414 3ZN1GHS414
| URI | m2://inv/3ZN1GHS414 |
|---|---|
| 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 2609.21914#RBEO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lyapunov CLT 3ZN2DW8ZVJ
| URI | m2://inv/3ZN2DW8ZVJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem#KIRK, Lyapunov CLT (statement)
History
- 2026-11-02: add by m2/dev
Harriet Redfield Cobb 3ZN66QA3Q1
| URI | m2://inv/3ZN66QA3Q1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harriet Redfield Cobb, Harriet Redfield Cobb (topic). Also Wikidata Q108867613
History
- 2026-11-02: add by m2/dev
3ZN6EY3GYX 3ZN6EY3GYX
| URI | m2://inv/3ZN6EY3GYX |
|---|---|
| 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 2607.00323#B4O0 (statement). In BPRFEQY7W4/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.6
Jyotirmimamsa 3ZN7SFKA2J
| URI | m2://inv/3ZN7SFKA2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jyotirmimamsa, Jyotirmimamsa (definition). Also Wikidata Q6319461
History
- 2026-11-02: add by m2/dev
Definition 3ZNEQ4S55D
| URI | m2://inv/3ZNEQ4S55D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistically checkable proof#J21N, Definition (definition)
History
- 2026-11-02: add by m2/dev
Woodin 3ZNK9NFBWM
| URI | m2://inv/3ZNK9NFBWM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#KLMD, Woodin (statement). In 90QTB4CC31/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
3ZNQZ7C2V2 3ZNQZ7C2V2
| URI | m2://inv/3ZNQZ7C2V2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#O7FC (statement). In M8F4PDHH3S/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Green energy of the Chebyshev fiber 3ZNV2MJENZ
| URI | m2://inv/3ZNV2MJENZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#V3AQ, Green energy of the Chebyshev fiber (statement). In JY6RYSNXMJ/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
3ZNVB1NNC6 3ZNVB1NNC6
| URI | m2://inv/3ZNVB1NNC6 |
|---|---|
| Kind | example |
| 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.01802#ZOZP (example). In XGPZ0G9E1Q/e1, example 6.5
History
- 2026-10-29: add by m2/v0.4.12
Rational geometry 3ZNX16QBEN
| URI | m2://inv/3ZNX16QBEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#6QKI, Rational geometry (definition)
History
- 2026-11-02: add by m2/dev
3ZP0PK1CV9 3ZP0PK1CV9
| URI | m2://inv/3ZP0PK1CV9 |
|---|---|
| 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.02436#5VRK (statement). In J9WZBK6KAY/e1, lemma 3.13
History
- 2026-10-29: add by m2/v0.4.12
Statement 3ZP1EHHX9E
| URI | m2://inv/3ZP1EHHX9E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker's theorem#QT0D, Statement (statement)
History
- 2026-11-02: add by m2/dev
3ZP2B2G96Y 3ZP2B2G96Y
| URI | m2://inv/3ZP2B2G96Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04516#B7K8 (statement). In GZZBR0FX50/e1, corollary 1.4
History
- 2026-10-29: add by m2/v0.4.12
3ZP5AD6ASZ 3ZP5AD6ASZ
| URI | m2://inv/3ZP5AD6ASZ |
|---|---|
| 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.07790#36X5 (statement). In A5YJDDM0NX/e1, lemma A.12
History
- 2026-10-29: add by m2/v0.4.10
Philo line 3ZP7R7GQA3
| URI | m2://inv/3ZP7R7GQA3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3039873, Philo line (concept). Also MathWorld PhiloLine
- wikipedia: Wikipedia Philo line, Philo line (definition). Also Wikidata Q3039873
History
- 2026-10-26: add by m2/dev
Tensor-coordinate estimate 3ZPDFNNZX9
| URI | m2://inv/3ZPDFNNZX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-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.26743#BZJH, Tensor-coordinate estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
3ZPJPCRYHH 3ZPJPCRYHH
| URI | m2://inv/3ZPJPCRYHH |
|---|---|
| Kind | definition |
| 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#FXXK (definition). In FWA5QW6FCF/e1, definition 1.1
History
- 2026-10-31: add by m2/v0.5.6
Aperiodic finite-state automaton 3ZPP8F8ZG9
| URI | m2://inv/3ZPP8F8ZG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aperiodic finite-state automaton, Aperiodic finite-state automaton (definition). Also Wikidata Q4779365
History
- 2026-11-02: add by m2/dev
Q-Laguerre polynomials 3ZPVZGS8G8
| URI | m2://inv/3ZPVZGS8G8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-Laguerre polynomials, Q-Laguerre polynomials (definition). Also Wikidata Q7265273
History
- 2026-11-02: add by m2/dev
Rindler coordinates 3ZPW3NHHD9
| URI | m2://inv/3ZPW3NHHD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rindler coordinates, Rindler coordinates (definition). Also Wikidata Q4232160
History
- 2026-11-02: add by m2/dev
3ZQ1AS4FWE 3ZQ1AS4FWE
| URI | m2://inv/3ZQ1AS4FWE |
|---|---|
| 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.39104#JQPL (definition). In V2NTW27MSJ/e1, definition 2.6
History
- 2026-10-30: add by m2/v0.4.12
Explicit reciprocity law 3ZQ38CW1R2
| URI | m2://inv/3ZQ38CW1R2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explicit reciprocity law, Explicit reciprocity law (statement). Also Wikidata Q5421269
History
- 2026-11-02: add by m2/dev
3ZQGCZ52FV 3ZQGCZ52FV
| URI | m2://inv/3ZQGCZ52FV |
|---|---|
| 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.14435#8IO6 (statement). In Y9FSN5BVNQ/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
3ZQH2R4D18 3ZQH2R4D18
| URI | m2://inv/3ZQH2R4D18 |
|---|---|
| Kind | conjecture |
| 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 2111.14143#KR4A (conjecture). In QSKV7N0T89/e1, conjecture 9.2
History
- 2026-10-27: add by m2/v0.3.5
Reliable computation in finite or infinite space 3ZQS3TX3HJ
| URI | m2://inv/3ZQS3TX3HJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#VH7M, Reliable computation in finite or infinite space (statement). In WD2NCBV9F0/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
3ZQSHMCXNW 3ZQSHMCXNW
| URI | m2://inv/3ZQSHMCXNW |
|---|---|
| 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.04434#3F0E (statement). In EY0QS456EC/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.12
3ZQTEH9NMN 3ZQTEH9NMN
| URI | m2://inv/3ZQTEH9NMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-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.24623#P4V2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
3ZQXJY0JV3 3ZQXJY0JV3
| URI | m2://inv/3ZQXJY0JV3 |
|---|---|
| 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#F45C (definition). In PWXT7J9JX3/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
reduction 3ZR12FX83D
| URI | m2://inv/3ZR12FX83D |
|---|---|
| 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.10408#V9R3, reduction (statement). In H976NYKBNT/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
3ZR5AWHTYV 3ZR5AWHTYV
| URI | m2://inv/3ZR5AWHTYV |
|---|---|
| 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 2609.27694#XJEA (statement)
History
- 2026-11-01: add by m2/v0.6.15
3ZR8NBGZ0C 3ZR8NBGZ0C
| URI | m2://inv/3ZR8NBGZ0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31407#DRRY (statement). In 6JSC602CCF/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Example 3ZRG5XCJJ4
| URI | m2://inv/3ZRG5XCJJ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partially ordered ring#DJ87, Example (example)
History
- 2026-11-02: add by m2/dev
Definition and notation 3ZRHQTC5YP
| URI | m2://inv/3ZRHQTC5YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-reflexive space#L63H, Definition and notation (definition)
History
- 2026-11-02: add by m2/dev
Helson–Kahane–Katznelson–Rudin theorem 3ZRQ6F0AHB
| URI | m2://inv/3ZRQ6F0AHB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier algebra#F994, Helson–Kahane–Katznelson–Rudin theorem (statement)
History
- 2026-11-02: add by m2/dev
Rate-monotonic scheduling 3ZRT4K47MX
| URI | m2://inv/3ZRT4K47MX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#KSO8, Rate-monotonic scheduling (unknown)
History
- 2026-11-02: add by m2/dev
Bjorn Poonen 3ZS3B5F8AG
| URI | m2://inv/3ZS3B5F8AG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YZ1P, Bjorn Poonen (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W11O, Bjorn Poonen (topic)
History
- 2026-11-02: add by m2/dev
3ZS48QSTGF 3ZS48QSTGF
| URI | m2://inv/3ZS48QSTGF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.27420#FOIF (definition)
History
- 2026-11-01: add by m2/v0.6.15
3ZSC2EED4S 3ZSC2EED4S
| URI | m2://inv/3ZSC2EED4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25539#U7S8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michel Demazure 3ZSH9721S6
| URI | m2://inv/3ZSH9721S6 |
|---|---|
| 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 Q324436, Michel Demazure (unknown). Also nLab Michel Demazure
- wikipedia: Wikipedia Michel Demazure, Michel Demazure (topic). Also Wikidata Q324436
History
- 2026-10-26: add by m2/dev
Discrete Brascamp--Lieb Inequality 3ZSMD4TF1G
| URI | m2://inv/3ZSMD4TF1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#M1BI, Discrete Brascamp--Lieb Inequality (statement)
History
- 2026-11-02: add by m2/v0.6.17
Generalizations 3ZSV5KFEH1
| URI | m2://inv/3ZSV5KFEH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immersion (mathematics)#8JRX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
PER $\textsf{Neu}$ 3ZT8AFNXHG
| URI | m2://inv/3ZT8AFNXHG |
|---|---|
| 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 2610.21131#EOMG, PER $\textsf{Neu}$ (definition). In CPYWHRTPKC/e1, definition 6.5
History
- 2026-10-27: add by m2/v0.4.2
topology of a metric space 3ZT9M4DTHS
| URI | m2://inv/3ZT9M4DTHS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > topology of a metric space, topology of a metric space (unknown). Also Mathlib Metric.isOpen_iff
History
- 2026-10-26: add by m2/dev
3ZT9SSYDYA 3ZT9SSYDYA
| URI | m2://inv/3ZT9SSYDYA |
|---|---|
| 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.20008#1SMT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Encyclopedia of Statistical Sciences 3ZTC8MR7MN
| URI | m2://inv/3ZTC8MR7MN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Encyclopedia of Statistical Sciences, Encyclopedia of Statistical Sciences (definition). Also Wikidata Q5375722
History
- 2026-11-02: add by m2/dev
3ZTER2WZHA 3ZTER2WZHA
| URI | m2://inv/3ZTER2WZHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 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 math/0512416#T6E7 (statement). In WJD9YPGGYH/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Example 3ZTX3J2BJX
| URI | m2://inv/3ZTX3J2BJX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate of convergence#HZLO, Example (example)
History
- 2026-11-02: add by m2/dev
3ZV0FXXB9H 3ZV0FXXB9H
| URI | m2://inv/3ZV0FXXB9H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36021#QC9Z (definition). In CB68ATPEV9/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Generalization 3ZV3V1915C
| URI | m2://inv/3ZV3V1915C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pushdown automaton#YBZY, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Formal statement 3ZV5JDX80A
| URI | m2://inv/3ZV5JDX80A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrow's impossibility theorem#1LH4, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
3ZV8KNHVRH 3ZV8KNHVRH
| URI | m2://inv/3ZV8KNHVRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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.25289#GJIU (statement)
History
- 2026-11-01: add by m2/v0.6.15
3ZVDB6043H 3ZVDB6043H
| URI | m2://inv/3ZVDB6043H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23779#2GQ8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
3ZVEWEF940 3ZVEWEF940
| URI | m2://inv/3ZVEWEF940 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#HRVY (statement). In 2381M4GBTT/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.12
ACL2 theorem prover 3ZVGP6GSXC
| URI | m2://inv/3ZVGP6GSXC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#0WV8, ACL2 theorem prover (unknown)
History
- 2026-11-02: add by m2/dev
higher category theory 3ZVKAYYQCK
| URI | m2://inv/3ZVKAYYQCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#NBMJ, higher category theory (definition)
History
- 2026-11-02: add by m2/dev
ENNAMCQ for few-shot learning 3ZW29ACK4H
| URI | m2://inv/3ZW29ACK4H |
|---|---|
| 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.39736#JJUB, ENNAMCQ for few-shot learning (statement). In BB1XJ47PVW/e1, proposition 16
History
- 2026-10-30: add by m2/v0.4.12
Product theorem 3ZW2EFMN4F
| URI | m2://inv/3ZW2EFMN4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#7TCA, Product theorem (statement). In 78X5SKJX8J/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Stanley Osher 3ZWA9J1GVB
| URI | m2://inv/3ZWA9J1GVB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanley Osher, Stanley Osher (topic). Also Wikidata Q470518
History
- 2026-11-02: add by m2/dev
R. Dennis Cook 3ZWDCHHMKE
| URI | m2://inv/3ZWDCHHMKE |
|---|---|
| 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#8P4F, R. Dennis Cook (unknown)
History
- 2026-11-02: add by m2/dev
3ZWDP6RBCE 3ZWDP6RBCE
| URI | m2://inv/3ZWDP6RBCE |
|---|---|
| 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 2212.05398#R6IJ (statement). In WQKQ8438M7/e1, theorem 1.9
History
- 2026-10-27: add by m2/v0.3.5
Properties 3ZWPKA3F22
| URI | m2://inv/3ZWPKA3F22 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courant bracket#HD9X, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples 3ZWZ22CRN2
| URI | m2://inv/3ZWZ22CRN2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite strain theory#PH4X, Examples (example)
History
- 2026-11-02: add by m2/dev
3ZX0JE0EMP 3ZX0JE0EMP
| URI | m2://inv/3ZX0JE0EMP |
|---|---|
| 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.24943#ZWV0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 3ZX7M8H4RG
| URI | m2://inv/3ZX7M8H4RG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric monoidal category#LSFS, Definition (definition)
History
- 2026-11-02: add by m2/dev
3ZXKNRMF4A 3ZXKNRMF4A
| URI | m2://inv/3ZXKNRMF4A |
|---|---|
| Kind | example |
| 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.27635#K48R (example)
History
- 2026-11-01: add by m2/v0.6.15
Small dodecahemicosacron 3ZXRM22AZG
| URI | m2://inv/3ZXRM22AZG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#45EC, Small dodecahemicosacron (object)
History
- 2026-11-02: add by m2/dev
Mathematical optimization 3ZY3994RZ1
| URI | m2://inv/3ZY3994RZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#YIUF, Mathematical optimization (definition)
History
- 2026-11-02: add by m2/dev
3ZY6CV3FAW 3ZY6CV3FAW
| URI | m2://inv/3ZY6CV3FAW |
|---|---|
| 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.34852#8RZR (statement). In TZXEMCBK5V/e1, lemma 7.7
History
- 2026-10-30: add by m2/v0.4.12
3ZY8T9Y4HM 3ZY8T9Y4HM
| URI | m2://inv/3ZY8T9Y4HM |
|---|---|
| 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 2609.21016#SL7K (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definition 3ZYBX8KCMM
| URI | m2://inv/3ZYBX8KCMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zak transform#EOFU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Euler–Bernoulli beam theory 3ZYCR0ZM62
| URI | m2://inv/3ZYCR0ZM62 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Bernoulli beam theory, Euler–Bernoulli beam theory (definition). Also Wikidata Q805099
History
- 2026-11-02: add by m2/dev
Refined expansion of $g$ 3ZYH1MZWPF
| URI | m2://inv/3ZYH1MZWPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17946#6E1U, Refined expansion of $g$ (statement). In A7HTYWJNCX/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
3ZYKMENHHN 3ZYKMENHHN
| URI | m2://inv/3ZYKMENHHN |
|---|---|
| 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.19214#YYTQ (statement). In WZPD7TNNY9/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
3ZYX8Y0CQR 3ZYX8Y0CQR
| URI | m2://inv/3ZYX8Y0CQR |
|---|---|
| Kind | example |
| 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 1903.07030#M3ZR (example). In 9H45HQE7AZ/e1, example 2.33
History
- 2026-10-27: add by m2/v0.3.5
element 3ZZ27XD3P5
| URI | m2://inv/3ZZ27XD3P5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.9.1/element, element (concept). In E59CDZA4DP, index, section 11.9.1
History
- 2026-11-01: add by m2/v0.6.13
3ZZ2S75CNZ 3ZZ2S75CNZ
| URI | m2://inv/3ZZ2S75CNZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:nopropmapprodandnodisc (statement). In VNMV985MXX, thm, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Two-component Gaussian mixtures 3ZZ7J4DN4N
| URI | m2://inv/3ZZ7J4DN4N |
|---|---|
| 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.07404#ORXQ, Two-component Gaussian mixtures (statement). In VAJ9MBT3SJ/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
Irreducibility 3ZZ9VY58EG
| URI | m2://inv/3ZZ9VY58EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#6G9U, Irreducibility (statement). In WRE0P7V6Z3/e1, proposition 8.8
History
- 2026-10-30: add by m2/v0.4.12
Orbit and Stabilizer 3ZZC7EEAEJ
| URI | m2://inv/3ZZC7EEAEJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36421#0Q49, Orbit and Stabilizer (definition). In E0ZRSZ0YHT/e1, definition 8
History
- 2026-10-30: add by m2/v0.4.12
position vector 3ZZCGE9DBC
| URI | m2://inv/3ZZCGE9DBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q192388, position vector (unknown). Also MathWorld RadiusVector
- wikipedia: Wikipedia Position (geometry), Position (definition). Also Wikidata Q192388
History
- 2026-10-26: add by m2/dev
3ZZEKDZFXH 3ZZEKDZFXH
| URI | m2://inv/3ZZEKDZFXH |
|---|---|
| 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.18084#YPBP (statement). In PKPT8NY665/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.2
Central limit theorem 3ZZFG77WD1
| URI | m2://inv/3ZZFG77WD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic theory (statistics)#8UDC, Central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
3ZZJ5DAD2E 3ZZJ5DAD2E
| URI | m2://inv/3ZZJ5DAD2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37103#R1N5 (statement). In 6Q8YMAWFZN/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
3ZZK2PHSWT 3ZZK2PHSWT
| URI | m2://inv/3ZZK2PHSWT |
|---|---|
| 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.26019#P0U8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
3ZZR801X2H 3ZZR801X2H
| URI | m2://inv/3ZZR801X2H |
|---|---|
| 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.21622#KFNO (statement). In H21X3FHNYJ/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.4.2
Claude Lévi-Strauss 3ZZTSMBEWY
| URI | m2://inv/3ZZTSMBEWY |
|---|---|
| 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 Q128126, Claude Lévi-Strauss (unknown). Also nLab Claude Lévi-Strauss
History
- 2026-10-26: add by m2/dev
Basic Number Theory 3ZZXGAV4S6
| URI | m2://inv/3ZZXGAV4S6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic Number Theory, Basic Number Theory (definition). Also Wikidata Q104845317
History
- 2026-11-02: add by m2/dev
Quantum stochastic calculus 3ZZYTHPFHS
| URI | m2://inv/3ZZYTHPFHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum stochastic calculus, Quantum stochastic calculus (definition). Also Wikidata Q17105426
History
- 2026-11-02: add by m2/dev