Inventory rows C9
The cards of the rows of the inventory whose ids start with C9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Lower-order criterion with bounded density mass C900K8A1S8
| URI | m2://inv/C900K8A1S8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13613#DMDM, Lower-order criterion with bounded density mass (statement). In 3HCT4TQ5PM/e1, proposition 1.5
History
- 2026-10-28: add by m2/v0.4.2
Lamb shift C904VKH4QV
| URI | m2://inv/C904VKH4QV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q631614, Lamb shift (unknown). Also nLab Lamb shift
History
- 2026-10-26: add by m2/dev
Remark C90919KDB1
| URI | m2://inv/C90919KDB1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nash–Moser theorem#BU3O, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Definition (Generalized flow) C909APS6XR
| URI | m2://inv/C909APS6XR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Price of anarchy#M9DF, Definition (Generalized flow) (definition)
History
- 2026-11-02: add by m2/dev
Cleanness C90DK21J3F
| URI | m2://inv/C90DK21J3F |
|---|---|
| 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.01731#MC2D, Cleanness (statement). In 3TJ2FWXQ0D/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
C90G4SJ4Z6 C90G4SJ4Z6
| URI | m2://inv/C90G4SJ4Z6 |
|---|---|
| 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.16386#PE28 (statement). In RAF0BFY3Z3/e1, theorem 5.10
History
- 2026-10-28: add by m2/v0.4.2
Counterexamples C90K8X5YPA
| URI | m2://inv/C90K8X5YPA |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron–Frobenius theorem#KVBC, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
The Method of Mechanical Theorems C90REBKGRR
| URI | m2://inv/C90REBKGRR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archimedes Palimpsest#CZUF, The Method of Mechanical Theorems (statement)
History
- 2026-11-02: add by m2/dev
C90S8C5HYJ C90S8C5HYJ
| URI | m2://inv/C90S8C5HYJ |
|---|---|
| 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 2505.04063#POS2 (statement). In TFH7T63DX9/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
Giuseppe Biancani C90SJBQ80Z
| URI | m2://inv/C90SJBQ80Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#QMUA, Giuseppe Biancani (unknown)
- wikipedia: Wikipedia List of Italian mathematicians#YKQ6, Giuseppe Biancani (unknown)
History
- 2026-11-02: add by m2/dev
C90SMN37RA C90SMN37RA
| URI | m2://inv/C90SMN37RA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#0Z1I (statement). In PHXJ87HKYB/e1, corollary 3.8
History
- 2026-10-31: add by m2/v0.5.6
tails C90WB54X5S
| URI | m2://inv/C90WB54X5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skewness#L0PA, tails (definition)
History
- 2026-11-02: add by m2/dev
C90XSZ3EGV C90XSZ3EGV
| URI | m2://inv/C90XSZ3EGV |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21408#UUJH (problem). In 3XBEGXNPXZ/e1, problem 8.4
History
- 2026-10-27: add by m2/v0.4.2
Rhombic tiling C90Y3J4AHM
| URI | m2://inv/C90Y3J4AHM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombille tiling#YO5G, Rhombic tiling (unknown)
History
- 2026-11-02: add by m2/dev
Pathwise extension to several swaps C90YYZHK1D
| URI | m2://inv/C90YYZHK1D |
|---|---|
| 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.19207#NHK5, Pathwise extension to several swaps (statement). In BH3R0BA3PC/e1, proposition 7
History
- 2026-10-28: add by m2/v0.4.2
Statement C9128MEMK0
| URI | m2://inv/C9128MEMK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pizza theorem#ES7O, Statement (statement)
History
- 2026-11-02: add by m2/dev
Qualitative stability C913QDCT44
| URI | m2://inv/C913QDCT44 |
|---|---|
| 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.18277#4BHF, Qualitative stability (statement). In YFRNY7S92A/e1, corollary 7.3
History
- 2026-10-28: add by m2/v0.4.2
skew potentials C91H6AXGEF
| URI | m2://inv/C91H6AXGEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#5G4T, skew potentials (statement). In YR3CSTYEJW/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Wakendorf I C91JGKFQ8J
| URI | m2://inv/C91JGKFQ8J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#SW3H, Wakendorf I (unknown)
History
- 2026-11-02: add by m2/dev
C91QG31DKC C91QG31DKC
| URI | m2://inv/C91QG31DKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.21931#FXEM (statement)
History
- 2026-11-02: add by m2/v0.6.17
Cavalieri's principle C91SANQV65
| URI | m2://inv/C91SANQV65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#3HBZ, Cavalieri's principle (definition)
History
- 2026-11-02: add by m2/dev
C91Z4KT7VG C91Z4KT7VG
| URI | m2://inv/C91Z4KT7VG |
|---|---|
| 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 0809.0068#JSDJ (statement). In MBKYGM01FK/e1, proposition 1.3
History
- 2026-10-27: add by m2/v0.3.5
C9204PX7B5 C9204PX7B5
| URI | m2://inv/C9204PX7B5 |
|---|---|
| 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.36444#Q6TE (statement). In 4DJE72VPJP/e1, proposition 5.9
History
- 2026-10-30: add by m2/v0.4.12
C920GYWHTX C920GYWHTX
| URI | m2://inv/C920GYWHTX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.27103#1VBG (statement)
History
- 2026-11-01: add by m2/v0.6.15
C9225F41PA C9225F41PA
| URI | m2://inv/C9225F41PA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35442#YNOD (statement). In C6R0DAA279/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
C922J3RC68 C922J3RC68
| URI | m2://inv/C922J3RC68 |
|---|---|
| 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 2504.00267#NH0G (statement). In 38XJWDZ2PH/e1, theorem 4.13
History
- 2026-10-27: add by m2/v0.3.5
Chiaromonte, Francesca C923CBFP3V
| URI | m2://inv/C923CBFP3V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#PYG6, Chiaromonte, Francesca (topic)
History
- 2026-11-02: add by m2/dev
ran C924CFBHZA
| URI | m2://inv/C924CFBHZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#1VR8, ran (definition)
History
- 2026-11-02: add by m2/dev
Statement C928ECZBZ2
| URI | m2://inv/C928ECZBZ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fenchel–Moreau theorem#INE3, Statement (statement)
History
- 2026-11-02: add by m2/dev
Uniqueness of solutions C9296S33QN
| URI | m2://inv/C9296S33QN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06529#9FVO, Uniqueness of solutions (statement). In JFQY4CYHKP/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Dixmier conjecture C92KC9A728
| URI | m2://inv/C92KC9A728 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#9ASG, Dixmier conjecture (statement)
History
- 2026-11-02: add by m2/dev
Nehari C92KN7MC9F
| URI | m2://inv/C92KN7MC9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#OTR8, Nehari (statement). In E7BPGPP9Z5/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Theorem C92SYNJDKQ
| URI | m2://inv/C92SYNJDKQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wirtinger's inequality for functions#873F, Theorem (statement)
History
- 2026-11-02: add by m2/dev
C92T6NXVG9 C92T6NXVG9
| URI | m2://inv/C92T6NXVG9 |
|---|---|
| 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.36818#AMHA (statement). In SK6AP2B9JH/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
C92VB76JXA C92VB76JXA
| URI | m2://inv/C92VB76JXA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#4NL8 (definition). In 46370P3Y9S/e1, definition 5.5
History
- 2026-10-27: add by m2/v0.4.2
C934H8MHCR C934H8MHCR
| URI | m2://inv/C934H8MHCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#8P1E (statement). In H72E12TYHA/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
C937NYD2P0 C937NYD2P0
| URI | m2://inv/C937NYD2P0 |
|---|---|
| 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.10902#6QRU (statement). In 96T1K6C3NZ/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.3
C93CCBGYGA C93CCBGYGA
| URI | m2://inv/C93CCBGYGA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous embedding#33E9 (problem)
History
- 2026-11-02: add by m2/dev
Ampersand curve C93P1KVP5Q
| URI | m2://inv/C93P1KVP5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#380Q, Ampersand curve (definition)
- wikipedia: Wikipedia List of curves#X9BL, Ampersand curve (definition)
History
- 2026-11-02: add by m2/dev
Telegra.ph C93YXAGN7J
| URI | m2://inv/C93YXAGN7J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telegram (software)#ZZQU, Telegra.ph (unknown)
History
- 2026-11-02: add by m2/dev
C93ZGMT60A C93ZGMT60A
| URI | m2://inv/C93ZGMT60A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#2DFA (statement). In 3A4K47Y9F2/e1, theorem 6.5
History
- 2026-10-27: add by m2/v0.4.0
C941V0P0YN C941V0P0YN
| URI | m2://inv/C941V0P0YN |
|---|---|
| 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.33557#6MSG (statement). In 95YZVAPGJA/e1, corollary 1.6
History
- 2026-10-30: add by m2/v0.4.12
Pointwise Gamma limit at characteristic states C945G6BAK4
| URI | m2://inv/C945G6BAK4 |
|---|---|
| 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.20215#UD56, Pointwise Gamma limit at characteristic states (statement)
History
- 2026-11-02: add by m2/v0.6.18
C947M76Y4E C947M76Y4E
| URI | m2://inv/C947M76Y4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#S3FW (statement). In V42PPD7SWH/e1, lemma 4.10
History
- 2026-10-31: add by m2/v0.5.6
C94XRFBS43 C94XRFBS43
| URI | m2://inv/C94XRFBS43 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01899#EFYQ (statement). In 638TEFBFGP/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
Lemma 1 C94YM7JRVN
| URI | m2://inv/C94YM7JRVN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaplansky's theorem on projective modules#LC08, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
C951S6N0AW C951S6N0AW
| URI | m2://inv/C951S6N0AW |
|---|---|
| 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.33283#K3LU (statement). In CXPFSDMEPB/e1, corollary 5.7
History
- 2026-10-30: add by m2/v0.4.12
Alexander Belavin C9573J6NT0
| URI | m2://inv/C9573J6NT0 |
|---|---|
| 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 Q2641669, Alexander Belavin (unknown). Also nLab Alexander Belavin
History
- 2026-10-26: add by m2/dev
C958K22CN9 C958K22CN9
| URI | m2://inv/C958K22CN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.13548#PW11 (statement). In EQF1ZQ5K1S/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.0
C95E3K49MM C95E3K49MM
| URI | m2://inv/C95E3K49MM |
|---|---|
| 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#E399 (statement). In GYMGDQS25R/e1, proposition 6.19
History
- 2026-10-29: add by m2/v0.4.10
Symmetries C95FHH44VF
| URI | m2://inv/C95FHH44VF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anti-de Sitter space#D317, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
$M \approx 1 $ and $ 1 \ll \log(L) \ll N$ C95FYJWEXN
| URI | m2://inv/C95FYJWEXN |
|---|---|
| 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 2405.10580#8MNT, $M \approx 1 $ and $ 1 \ll \log(L) \ll N$ (statement). In FXEJE0PWEP/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
Jointly Borel representatives C95GKH4CYW
| URI | m2://inv/C95GKH4CYW |
|---|---|
| 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.18907#Y8WI, Jointly Borel representatives (statement). In 4SSZ4PF2P2/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
C95GRZHH7K C95GRZHH7K
| URI | m2://inv/C95GRZHH7K |
|---|---|
| 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.08145#RB6E (statement). In N0QVPPFFC3/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
C95J6V2J7R C95J6V2J7R
| URI | m2://inv/C95J6V2J7R |
|---|---|
| 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 2602.13510#398X (statement). In Y75MQW7CFV/e1, lemma A.5
History
- 2026-10-27: add by m2/v0.3.5
Richard Weber C95WX0TGYW
| URI | m2://inv/C95WX0TGYW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Weber (mathematician), Richard Weber (topic). Also Wikidata Q7329863
History
- 2026-11-02: add by m2/dev
C95X7PDC8Y C95X7PDC8Y
| URI | m2://inv/C95X7PDC8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19464#LNUB (statement). In G8JCZ109A9/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
existential quantification C95ZYPF74P
| URI | m2://inv/C95ZYPF74P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Existential quantifier 0MSRQHCNN9 |
Mentions
- wikidata: Wikidata Q773483, existential quantification (unknown). Also nLab existential quantifier
- wikipedia: Wikipedia Existential quantification, Existential quantification (definition). Also Wikidata Q773483
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
National Longitudinal Survey of Youth 1979 Children and Young Adults C9623DH594
| URI | m2://inv/C9623DH594 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Longitudinal Surveys#B86X, National Longitudinal Survey of Youth 1979 Children and Young Adults (unknown)
History
- 2026-11-02: add by m2/dev
Hille–Yosida theorem C963SB69V6
| URI | m2://inv/C963SB69V6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q974405, Hille–Yosida theorem (statement). Also Wikidata Q974405
- thousand_plus: thousand_plus Q974405, Hille–Yosida theorem (statement). Also Wikidata Q974405, Wikipedia Hille–Yosida theorem
- wikipedia: Wikipedia Hille–Yosida theorem, Hille–Yosida theorem (statement). Also Wikidata Q974405
History
- 2026-10-26: add by m2/dev
the proof is left as an exercise to the reader C96AC5CRGV
| URI | m2://inv/C96AC5CRGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#9M1Z, the proof is left as an exercise to the reader (definition)
History
- 2026-11-02: add by m2/dev
C96CV3VPPK C96CV3VPPK
| URI | m2://inv/C96CV3VPPK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#ZUGY (definition). In M0SQY5EZN5/e1, definition 4.2.3
History
- 2026-10-27: add by m2/v0.3.5
Dirichlet's theorem on arithmetic progressions C96M842REK
| URI | m2://inv/C96M842REK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#E83S, Dirichlet's theorem on arithmetic progressions (statement)
History
- 2026-11-02: add by m2/dev
C96PKMA5RR C96PKMA5RR
| URI | m2://inv/C96PKMA5RR |
|---|---|
| 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#2G9A (statement). In W4TYN4PGE8/e1, lemma 2.42
History
- 2026-10-27: add by m2/v0.3.5
toric section C96R13YHJ3
| URI | m2://inv/C96R13YHJ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q985864, toric section (unknown). Also MathWorld ToricSection
- wikipedia: Wikipedia Toric section, Toric section (definition). Also Wikidata Q985864
History
- 2026-10-26: add by m2/dev
Duality principle C9790RTJK2
| URI | m2://inv/C9790RTJK2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebra#YZ6Y, Duality principle (statement)
History
- 2026-11-02: add by m2/dev
Properties C97F6JGCJJ
| URI | m2://inv/C97F6JGCJJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cinquefoil knot#X3YG, Properties (statement)
History
- 2026-11-02: add by m2/dev
C97K7RDFN4 C97K7RDFN4
| URI | m2://inv/C97K7RDFN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37252#0ZWY (statement). In E3EK0ESPA7/e1, theorem 1.7
History
- 2026-10-30: add by m2/v0.4.12
C97MBNMDB6 C97MBNMDB6
| URI | m2://inv/C97MBNMDB6 |
|---|---|
| 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.30323#RLY0 (statement). In HDJ6N25XVT/e1, theorem 6.3
History
- 2026-10-31: add by m2/v0.5.6
Cluster points are critical C97TJ0WP6Q
| URI | m2://inv/C97TJ0WP6Q |
|---|---|
| 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.32997#9AE6, Cluster points are critical (statement). In N380GY9A9N/e1, theorem 3.6
History
- 2026-10-31: add by m2/v0.5.6
1 E-27 m C980NHA1W5
| URI | m2://inv/C980NHA1W5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#5SG3, 1 E-27 m (unknown)
History
- 2026-11-02: add by m2/dev
C985BEWTR2 C985BEWTR2
| URI | m2://inv/C985BEWTR2 |
|---|---|
| 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.07001#GSOT (statement). In 5DFTVG7FFF/e1, theorem 5.7
History
- 2026-10-29: add by m2/v0.4.10
Edward Blades C987Q89H38
| URI | m2://inv/C987Q89H38 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Blades, Edward Blades (topic). Also Wikidata Q107236123
History
- 2026-11-02: add by m2/dev
Rotation-equivariant $D_{\h_k}$ perturbative lower bound C98E5KV6AK
| URI | m2://inv/C98E5KV6AK |
|---|---|
| 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.10875#OHOY, Rotation-equivariant $D_{\h_k}$ perturbative lower bound (statement). In N91F15MHW1/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.3
C98G9XRWJY C98G9XRWJY
| URI | m2://inv/C98G9XRWJY |
|---|---|
| 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 2212.06621#9C4Z (statement). In DB223AABTH/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Fibonacci, sequence C98GCMCE45
| URI | m2://inv/C98GCMCE45 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.1.1/fibonacci-sequence, Fibonacci, sequence (concept). In QKM9DD2H56, index, section 9.1.1
History
- 2026-11-01: add by m2/v0.6.13
C98JPF0KGD C98JPF0KGD
| URI | m2://inv/C98JPF0KGD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-209 (exercise). In VNMV985MXX, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
C98K7414PQ C98K7414PQ
| URI | m2://inv/C98K7414PQ |
|---|---|
| Kind | definition |
| 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.16514#W8ZR (definition). In 7RSA1AZ4XK/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
C98N4VKZ81 C98N4VKZ81
| URI | m2://inv/C98N4VKZ81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 62-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.35574#IKXN (statement). In 3Q70DMD7Z7/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
C98PS92PCB C98PS92PCB
| URI | m2://inv/C98PS92PCB |
|---|---|
| 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 2506.07061#FNVM (definition). In G2PA4KAGRP/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.6
rascal triangle C98PYSMB8Z
| URI | m2://inv/C98PYSMB8Z |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q125895638, rascal triangle (object). Also OEIS A077028
History
- 2026-10-26: add by m2/dev
H. T. Kung C98QNK57M0
| URI | m2://inv/C98QNK57M0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9ZPN, H. T. Kung (unknown)
History
- 2026-11-02: add by m2/dev
C98TPT5D95 C98TPT5D95
| URI | m2://inv/C98TPT5D95 |
|---|---|
| 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 1806.00752#YBS3 (statement). In GGW2N4JHXM/e1, proposition 11
History
- 2026-10-27: add by m2/v0.3.5
Continuum (set theory) C992T2PTGC
| URI | m2://inv/C992T2PTGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#3QMF, Continuum (set theory) (definition)
History
- 2026-11-02: add by m2/dev
Uniform finite-ring evaluation comparison C995WAV8PS
| URI | m2://inv/C995WAV8PS |
|---|---|
| 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.22485#4PDA, Uniform finite-ring evaluation comparison (statement)
History
- 2026-11-02: add by m2/v0.6.17
C9992WWG7D C9992WWG7D
| URI | m2://inv/C9992WWG7D |
|---|---|
| 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.30203#NV4K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Morwen Thistlethwaite C99KE3D3X3
| URI | m2://inv/C99KE3D3X3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#B0Y5, Morwen Thistlethwaite (topic)
History
- 2026-11-02: add by m2/dev
Contraction of products of at least $m$ regularized greedy kernels C99SZX9AJQ
| URI | m2://inv/C99SZX9AJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#M59C, Contraction of products of at least $m$ regularized greedy kernels (statement). In B29M4E6KGC/e1, lemma H.5
History
- 2026-10-28: add by m2/v0.4.2
Example C99T91HKPX
| URI | m2://inv/C99T91HKPX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance and contravariance of vectors#UQUR, Example (example)
History
- 2026-11-02: add by m2/dev
Gottlob Frege C99TWN7K5T
| URI | m2://inv/C99TWN7K5T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#U2KZ, Gottlob Frege (topic)
History
- 2026-11-02: add by m2/dev
Nonstandard calculus C99TX3WBSY
| URI | m2://inv/C99TX3WBSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#ECRB, Nonstandard calculus (definition)
History
- 2026-11-02: add by m2/dev
Bieri-Neumann-Strebel C99W8KX5TS
| URI | m2://inv/C99W8KX5TS |
|---|---|
| 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 0810.0962#7QD9, Bieri-Neumann-Strebel (statement). In 80YMRN5KS9/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Numerical methods in fluid mechanics C9A7KRKF55
| URI | m2://inv/C9A7KRKF55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical methods in fluid mechanics, Numerical methods in fluid mechanics (definition). Also Wikidata Q17104831
History
- 2026-11-02: add by m2/dev
Luz de Teresa C9A96FDA03
| URI | m2://inv/C9A96FDA03 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#39W1, Luz de Teresa (topic)
History
- 2026-11-02: add by m2/dev
C9A9JJMN45 C9A9JJMN45
| URI | m2://inv/C9A9JJMN45 |
|---|---|
| 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 1909.03896#BDFZ (statement). In CX9RVPQVBM/e1, lemma 24
History
- 2026-10-27: add by m2/v0.3.5
List of largest cities C9AHVX052X
| URI | m2://inv/C9AHVX052X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of largest cities, List of largest cities (topic). Also Wikidata Q1496553
History
- 2026-11-02: add by m2/dev
Einstein–Weyl geometry C9ANWY1WJW
| URI | m2://inv/C9ANWY1WJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein–Weyl geometry, Einstein–Weyl geometry (definition). Also Wikidata Q123253272
History
- 2026-11-02: add by m2/dev
Affirmative conclusion from a negative premise C9AP9EDGAQ
| URI | m2://inv/C9AP9EDGAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affirmative conclusion from a negative premise, Affirmative conclusion from a negative premise (definition). Also Wikidata Q2911588
History
- 2026-11-02: add by m2/dev
William Paul Thurston C9AWSB1EAD
| URI | m2://inv/C9AWSB1EAD |
|---|---|
| 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#Q0RV, William Paul Thurston (topic)
History
- 2026-11-02: add by m2/dev
Bilinear estimate C9B7EBF17E
| URI | m2://inv/C9B7EBF17E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28009#YL3W, Bilinear estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tensor product C9BG49KSCG
| URI | m2://inv/C9BG49KSCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#5M2F, Tensor product (definition)
History
- 2026-11-02: add by m2/dev
C9BSNRQA1J C9BSNRQA1J
| URI | m2://inv/C9BSNRQA1J |
|---|---|
| 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.11034#FNSK (statement). In 2KACPY9MMF/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.3
C9BT94TR8W C9BT94TR8W
| URI | m2://inv/C9BT94TR8W |
|---|---|
| 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.25524#IP8O (definition)
History
- 2026-11-01: add by m2/v0.6.15
Koszul complex C9BYT5TH7X
| URI | m2://inv/C9BYT5TH7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#2CS9, Koszul complex (definition)
History
- 2026-11-02: add by m2/dev
Symmetric algebra C9BZFRM2SP
| URI | m2://inv/C9BZFRM2SP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#L25E, Symmetric algebra (definition)
History
- 2026-11-02: add by m2/dev
Infinite series C9C7TCVP4A
| URI | m2://inv/C9C7TCVP4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#V2GS, Infinite series (definition)
- wikipedia: Wikipedia List of calculus topics#K4D8, Infinite series (definition)
History
- 2026-11-02: add by m2/dev
C9C7Y9R025 C9C7Y9R025
| URI | m2://inv/C9C7Y9R025 |
|---|---|
| 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.12983#5X31 (statement). In M6TFZ6E060/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
C9CEFN6AHD C9CEFN6AHD
| URI | m2://inv/C9CEFN6AHD |
|---|---|
| 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.14689#J3VH (statement). In 6BKMNJYNPJ/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Observability up to a compact term C9CFNE0C1H
| URI | m2://inv/C9CFNE0C1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11968#LYPL, Observability up to a compact term (statement). In X6E7P2ACAS/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
Theorie der vielfachen Kontinuität C9CHR7FJEJ
| URI | m2://inv/C9CHR7FJEJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Schläfli#D1J6, Theorie der vielfachen Kontinuität (unknown)
History
- 2026-11-02: add by m2/dev
Related results C9CKTG83RB
| URI | m2://inv/C9CKTG83RB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lions–Lax–Milgram theorem#HVUA, Related results (statement)
History
- 2026-11-02: add by m2/dev
Near sets C9CKVTXC7E
| URI | m2://inv/C9CKVTXC7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near sets, Near sets (definition). Also Wikidata Q6984403
History
- 2026-11-02: add by m2/dev
C9CQ7QSZA5 C9CQ7QSZA5
| URI | m2://inv/C9CQ7QSZA5 |
|---|---|
| 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#RXQ4 (statement). In BDN507RN7J/e1, theorem 3.5.7
History
- 2026-10-30: add by m2/v0.4.12
C9CQYC2KFJ C9CQYC2KFJ
| URI | m2://inv/C9CQYC2KFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#1OJP (statement). In X47RYAZF8P/e1, lemma 6.16
History
- 2026-10-28: add by m2/v0.4.2
Double mass analysis C9CYJHRX5V
| URI | m2://inv/C9CYJHRX5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double mass analysis, Double mass analysis (definition). Also Wikidata Q5300065
History
- 2026-11-02: add by m2/dev
C9D0K1XZY6 C9D0K1XZY6
| URI | m2://inv/C9D0K1XZY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/swapsum.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 70.4
History
- 2026-11-01: add by m2/v0.6.13
Kazhdan–Lusztig conjectures C9D3QQXCBZ
| URI | m2://inv/C9D3QQXCBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#SOSZ, Kazhdan–Lusztig conjectures (definition)
History
- 2026-11-02: add by m2/dev
C9D540ZFG9 C9D540ZFG9
| URI | m2://inv/C9D540ZFG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08052#OOPF (statement). In 672XAVEQ34/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
$p$-th variation along $\pi$ C9DNSDCBFF
| URI | m2://inv/C9DNSDCBFF |
|---|---|
| Kind | definition |
| 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.05457#MKTZ, $p$-th variation along $\pi$ (definition). In SV36P5P5Z3/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Equivariant splitting at exceptional parameters C9DSSD264T
| URI | m2://inv/C9DSSD264T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#MNKX, Equivariant splitting at exceptional parameters (statement)
History
- 2026-11-01: add by m2/v0.6.15
C9E6APG3JA C9E6APG3JA
| URI | m2://inv/C9E6APG3JA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20145#ALDK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mie scattering C9EA7QVWY4
| URI | m2://inv/C9EA7QVWY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mie scattering, Mie scattering (definition). Also Wikidata Q901737
History
- 2026-11-02: add by m2/dev
C9ECDQCKZW C9ECDQCKZW
| URI | m2://inv/C9ECDQCKZW |
|---|---|
| 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.28650#H46Q (definition)
History
- 2026-11-01: add by m2/v0.6.15
C9EDNBK74A C9EDNBK74A
| URI | m2://inv/C9EDNBK74A |
|---|---|
| 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 2310.13621#OZ46 (statement). In DG0EZ1BPV5/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
C9EFX7RGSY C9EFX7RGSY
| URI | m2://inv/C9EFX7RGSY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/infinite-valued-logics/goedel.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 39.4
History
- 2026-11-01: add by m2/v0.6.13
C9EGB816RW C9EGB816RW
| URI | m2://inv/C9EGB816RW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29170#OCS4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
emanant C9ENQP6Z2T
| URI | m2://inv/C9ENQP6Z2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#CO8G, emanant (definition)
History
- 2026-11-02: add by m2/dev
C9EZXX55Y0 C9EZXX55Y0
| URI | m2://inv/C9EZXX55Y0 |
|---|---|
| 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.35095#XWM2 (statement). In MM3XTWS35F/e1, corollary 2
History
- 2026-10-30: add by m2/v0.4.12
Definition C9F8AWT638
| URI | m2://inv/C9F8AWT638 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bergman metric#4VCV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Virtually soluble C9FN58DMJ7
| URI | m2://inv/C9FN58DMJ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solvable group#B0OE, Virtually soluble (unknown)
History
- 2026-11-02: add by m2/dev
Vanishing-space and insertion invariants C9FTQQ5649
| URI | m2://inv/C9FTQQ5649 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#1CM5, Vanishing-space and insertion invariants (statement). In HGTFJ325A4/e1, corollary 7.6
History
- 2026-10-30: add by m2/v0.4.12
Hadamard code C9FX93QZ1Z
| URI | m2://inv/C9FX93QZ1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#IA6R, Hadamard code (definition)
History
- 2026-11-02: add by m2/dev
jump carried by the potential C9FY425FPK
| URI | m2://inv/C9FY425FPK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#61SO, jump carried by the potential (statement). In YR3CSTYEJW/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Spin glass C9G3ZZXV15
| URI | m2://inv/C9G3ZZXV15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin glass, Spin glass (definition). Also Wikidata Q1490646
History
- 2026-11-02: add by m2/dev
Exactness from boundary common failure C9GCXGZXBN
| URI | m2://inv/C9GCXGZXBN |
|---|---|
| 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.17677#QZG1, Exactness from boundary common failure (statement). In 5E9G06XJKC/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
C9GJB593S9 C9GJB593S9
| URI | m2://inv/C9GJB593S9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#WEBX (statement). In E7W2HDNEKJ/e1, lemma H.4
History
- 2026-10-30: add by m2/v0.4.12
Mathematical operators and symbols in Unicode C9GMZZFG1W
| URI | m2://inv/C9GMZZFG1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical operators and symbols in Unicode, Mathematical operators and symbols in Unicode (definition). Also Wikidata Q6528433
History
- 2026-11-02: add by m2/dev
C9GP8FC3EJ C9GP8FC3EJ
| URI | m2://inv/C9GP8FC3EJ |
|---|---|
| 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 1011.1990#QC62 (statement). In GV0JBN5DWQ/e1, lemma B.1
History
- 2026-10-27: add by m2/v0.3.5
Definition C9GR8CHCRA
| URI | m2://inv/C9GR8CHCRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular trace#TIDH, Definition (definition)
History
- 2026-11-02: add by m2/dev
curve C9GZYB6RQ4
| URI | m2://inv/C9GZYB6RQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q161973, curve (unknown). Also MathWorld Curve
- wikipedia: Wikipedia Curve, Curve (definition). Also Wikidata Q161973
History
- 2026-10-26: add by m2/dev
C9H2D7E76A C9H2D7E76A
| URI | m2://inv/C9H2D7E76A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20368#HYIB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Variations C9H6NPV2HS
| URI | m2://inv/C9H6NPV2HS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of cyclic redundancy checks#IOV7, Variations (statement)
History
- 2026-11-02: add by m2/dev
Linnik's theorem C9H739GZ9M
| URI | m2://inv/C9H739GZ9M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4YRO, Linnik's theorem (statement)
History
- 2026-11-02: add by m2/dev
C9HFC0EKKZ C9HFC0EKKZ
| URI | m2://inv/C9HFC0EKKZ |
|---|---|
| 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.23871#2O1U (statement)
History
- 2026-11-02: add by m2/v0.6.17
C9HFQTGMBS C9HFQTGMBS
| URI | m2://inv/C9HFQTGMBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#RDPW (statement). In 9EMCPF1F2T/e1, proposition 46
History
- 2026-10-29: add by m2/v0.4.10
C9JBPJAG60 C9JBPJAG60
| URI | m2://inv/C9JBPJAG60 |
|---|---|
| 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 2502.05771#CK9X (statement). In 958KKGH89J/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.6
C9JD1GJQHW C9JD1GJQHW
| URI | m2://inv/C9JD1GJQHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17957#TQGV (statement). In T5ZBX4YPZB/e1, corollary 2.2
History
- 2026-10-28: add by m2/v0.4.2
Pierre Bieliavsky C9JDJZ7NKZ
| URI | m2://inv/C9JDJZ7NKZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Bieliavsky, Pierre Bieliavsky (topic). Also Wikidata Q19323055
History
- 2026-11-02: add by m2/dev
C9JHQ64JFW C9JHQ64JFW
| URI | m2://inv/C9JHQ64JFW |
|---|---|
| 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.36811#9KNN (statement). In ZQDX8E43SQ/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
criss-cross algorithm C9JNN8T6XW
| URI | m2://inv/C9JNN8T6XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17006040, criss-cross algorithm (unknown). Also MathWorld Criss-CrossMethod
- wikipedia: Wikipedia Criss-cross algorithm, Criss-cross algorithm (definition). Also Wikidata Q17006040
History
- 2026-10-26: add by m2/dev
Homotopy excision theorem C9JNY6J18C
| URI | m2://inv/C9JNY6J18C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RADG, Homotopy excision theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications C9JTNXZF18
| URI | m2://inv/C9JTNXZF18 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy associative matrix#J0RR, Applications (example)
History
- 2026-11-02: add by m2/dev
Conjugacy class C9JWFEN3X9
| URI | m2://inv/C9JWFEN3X9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#IQHI, Conjugacy class (definition)
History
- 2026-11-02: add by m2/dev
Set of uniqueness C9JXXNQPPV
| URI | m2://inv/C9JXXNQPPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of properties of sets of reals#E8Y6, Set of uniqueness (definition)
- wikipedia: Wikipedia List of harmonic analysis topics#4XK1, Set of uniqueness (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#KXLB, Set of uniqueness (definition)
History
- 2026-11-02: add by m2/dev
Agreement radius C9K88YZSFC
| URI | m2://inv/C9K88YZSFC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#WGR6, Agreement radius (definition). In 8BNPFYQDQX/e1, definition 4.5
History
- 2026-10-29: add by m2/v0.4.10
Mahesh Kakde C9K9WDSH8N
| URI | m2://inv/C9K9WDSH8N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mahesh Kakde, Mahesh Kakde (topic). Also Wikidata Q102348149
History
- 2026-11-02: add by m2/dev
C9KA13N2V5 C9KA13N2V5
| URI | m2://inv/C9KA13N2V5 |
|---|---|
| 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 2610.13888#YFYC (statement). In XJWYBPS14M/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
C9KAJ6BGFZ C9KAJ6BGFZ
| URI | m2://inv/C9KAJ6BGFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#TCCU (statement). In CEKW9CNVVW/e1, theorem 6.8
History
- 2026-10-29: add by m2/v0.4.10
Applications C9KB2FGE8V
| URI | m2://inv/C9KB2FGE8V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard score#M5V2, Applications (example)
History
- 2026-11-02: add by m2/dev
Formulation C9KDT7GADA
| URI | m2://inv/C9KDT7GADA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering problem of Rado#8XVM, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Hermite–Hadamard inequality C9KEFWB0NF
| URI | m2://inv/C9KEFWB0NF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#I6SE, Hermite–Hadamard inequality (statement)
History
- 2026-11-02: add by m2/dev
James's theorem C9KQ1DE2WV
| URI | m2://inv/C9KQ1DE2WV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James's theorem#TVLQ, James's theorem (statement)
History
- 2026-11-02: add by m2/dev
Louis Norberg Howard C9KS7FG8KJ
| URI | m2://inv/C9KS7FG8KJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Norberg Howard, Louis Norberg Howard (topic). Also Wikidata Q15445751
History
- 2026-11-02: add by m2/dev
Joseph Lehner C9KXQXA0ZW
| URI | m2://inv/C9KXQXA0ZW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#U8OF, Joseph Lehner (topic)
History
- 2026-11-02: add by m2/dev
Arrow--Hansson C9KYTDGN5R
| URI | m2://inv/C9KYTDGN5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20542#38PN, Arrow--Hansson (statement). In 8PZXZ8Y9FK/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.2
Properties C9M9BBKKTX
| URI | m2://inv/C9M9BBKKTX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plummer model#BHWW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hypergraph regularity method C9MBH42MPZ
| URI | m2://inv/C9MBH42MPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergraph regularity method, Hypergraph regularity method (definition). Also Wikidata Q113396367
History
- 2026-11-02: add by m2/dev
Zygmunt Wilhelm Birnbaum C9MBNW7ZT2
| URI | m2://inv/C9MBNW7ZT2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#F440, Zygmunt Wilhelm Birnbaum (unknown)
History
- 2026-11-02: add by m2/dev
vacuum C9MEVM4V2P
| URI | m2://inv/C9MEVM4V2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11475, vacuum (definition). Also ProofWiki Definition:Vacuum
History
- 2026-10-26: add by m2/dev
C9MM3M2T18 C9MM3M2T18
| URI | m2://inv/C9MM3M2T18 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#21O8 (example). In XBHQRTBH62/e1, example 6.6
History
- 2026-10-31: add by m2/v0.5.6
C9MT1J4TZ7 C9MT1J4TZ7
| URI | m2://inv/C9MT1J4TZ7 |
|---|---|
| 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.08664#6PZE (statement). In 1YY0P4ZS0T/e1, corollary 30
History
- 2026-10-29: add by m2/v0.4.10
C9MZGFVR6C C9MZGFVR6C
| URI | m2://inv/C9MZGFVR6C |
|---|---|
| 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#9GOZ (statement). In DK1V8M7DS4/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
C9N38JYQJP C9N38JYQJP
| URI | m2://inv/C9N38JYQJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2411.17227#HCPM (statement). In DDNP38CHQJ/e1, corollary 7.7
History
- 2026-10-27: add by m2/v0.3.5
C9N3G48QPR C9N3G48QPR
| URI | m2://inv/C9N3G48QPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#KT2W (statement). In G1RP4JY5PE/e1, lemma 2.3.4
History
- 2026-10-31: add by m2/v0.5.6
Graph property C9NA65947N
| URI | m2://inv/C9NA65947N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph property, Graph property (definition). Also Wikidata Q722659
History
- 2026-11-02: add by m2/dev
Equation, endpoints, and polarity of the equality profile C9NFGDGND7
| URI | m2://inv/C9NFGDGND7 |
|---|---|
| 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 2609.38041#EV3S, Equation, endpoints, and polarity of the equality profile (statement). In 54NQGN1BWM/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
function, one-to-one C9NFZD6CX6
| URI | m2://inv/C9NFZD6CX6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/4.1/function-one-to-one, function, one-to-one (concept). In QKM9DD2H56, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
C9NP1VYFR4 C9NP1VYFR4
| URI | m2://inv/C9NP1VYFR4 |
|---|---|
| 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 1004.4564#EDBS (statement). In BZ54C9SKYS/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
Vitali Milman C9NT3DBMFZ
| URI | m2://inv/C9NT3DBMFZ |
|---|---|
| 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 Q1425084, Vitali Milman (unknown). Also ProofWiki Mathematician:Vitali_Davidovich_Milman
History
- 2026-10-26: add by m2/dev
Place of a field C9NTRSWXR9
| URI | m2://inv/C9NTRSWXR9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute value (algebra)#AXKM, Place of a field (unknown)
History
- 2026-11-02: add by m2/dev
Cap form of the defect C9NZ30F67X
| URI | m2://inv/C9NZ30F67X |
|---|---|
| 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.25120#Q5MW, Cap form of the defect (statement)
History
- 2026-11-01: add by m2/v0.6.15
Token reconfiguration C9P2PETKZE
| URI | m2://inv/C9P2PETKZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Token reconfiguration, Token reconfiguration (definition). Also Wikidata Q25303754
History
- 2026-11-02: add by m2/dev
Moffatt eddies C9PFRZMQEQ
| URI | m2://inv/C9PFRZMQEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moffatt eddies, Moffatt eddies (definition). Also Wikidata Q85786023
History
- 2026-11-02: add by m2/dev
C9PG1J24AJ C9PG1J24AJ
| URI | m2://inv/C9PG1J24AJ |
|---|---|
| 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 0805.4273#K4BX (statement). In ZX3NV58FRX/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.3.5
C9PSB7GH50 C9PSB7GH50
| URI | m2://inv/C9PSB7GH50 |
|---|---|
| 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 2601.01000#6WHC (statement). In RYFV9HGWWZ/e1, lemma 45
History
- 2026-10-27: add by m2/v0.3.5
William Palin Elderton C9PTJ15RXN
| URI | m2://inv/C9PTJ15RXN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5R3F, William Palin Elderton (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5V3T, William Palin Elderton (unknown)
History
- 2026-11-02: add by m2/dev
C9PWJRWKYG C9PWJRWKYG
| URI | m2://inv/C9PWJRWKYG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21501#WKQJ (example). In 1H64QT301C/e1, example 3.7
History
- 2026-10-27: add by m2/v0.4.2
C9PZMKME2W C9PZMKME2W
| URI | m2://inv/C9PZMKME2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28501#1E56 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pathwise kinetic identity including the weak trace C9Q0N85FMV
| URI | m2://inv/C9Q0N85FMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20735#L626, Pathwise kinetic identity including the weak trace (statement)
History
- 2026-11-02: add by m2/v0.6.18
Differential and integral forms of physical laws C9Q0ZGGX6Q
| URI | m2://inv/C9Q0ZGGX6Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergence theorem#HCFD, Differential and integral forms of physical laws (statement)
History
- 2026-11-02: add by m2/dev
composition C9Q6ZYV9XJ
| URI | m2://inv/C9Q6ZYV9XJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#5AYX, composition (definition)
History
- 2026-11-02: add by m2/dev
C9QNGNJKRW C9QNGNJKRW
| URI | m2://inv/C9QNGNJKRW |
|---|---|
| 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.12371#QS8B (statement). In 8TTFQH19QR/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
C9QR3MERZB C9QR3MERZB
| URI | m2://inv/C9QR3MERZB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20860#6L7I (definition)
History
- 2026-11-02: add by m2/v0.6.18
Investigations in Numbers, Data, and Space C9QRDKPZ1X
| URI | m2://inv/C9QRDKPZ1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Investigations in Numbers, Data, and Space, Investigations in Numbers, Data, and Space (definition). Also Wikidata Q6060683
History
- 2026-11-02: add by m2/dev
C9QZKFPKMJ C9QZKFPKMJ
| URI | m2://inv/C9QZKFPKMJ |
|---|---|
| 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 2504.14383#0V02 (statement). In QD0X3XJS6T/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.3.5
C9R5D86SVB C9R5D86SVB
| URI | m2://inv/C9R5D86SVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22924#F3KN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Radon–Riesz property C9RC74SCP4
| URI | m2://inv/C9RC74SCP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon–Riesz property, Radon–Riesz property (definition). Also Wikidata Q7281576
History
- 2026-11-02: add by m2/dev
C9RM084EX1 C9RM084EX1
| URI | m2://inv/C9RM084EX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#KE1E (statement). In DGE917KQSQ/e1, theorem 8.1
History
- 2026-10-27: add by m2/v0.4.2
linear separation C9RNZHF0YE
| URI | m2://inv/C9RNZHF0YE |
|---|---|
| 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#YN7J, linear separation (definition)
History
- 2026-11-01: add by m2/v0.6.15
C9RQA3472D C9RQA3472D
| URI | m2://inv/C9RQA3472D |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi#ICQF (problem)
History
- 2026-11-02: add by m2/dev
categorical C9RRZCWKC7
| URI | m2://inv/C9RRZCWKC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#VF98, categorical (definition)
History
- 2026-11-02: add by m2/dev
Computation C9RT7KW64C
| URI | m2://inv/C9RT7KW64C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's syzygy theorem#KGT8, Computation (definition)
History
- 2026-11-02: add by m2/dev
C9S00JPM4H C9S00JPM4H
| URI | m2://inv/C9S00JPM4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#GLWC (statement). In 43TBS9P2PX/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.2
C9S15HGQR7 C9S15HGQR7
| URI | m2://inv/C9S15HGQR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#RXM5 (statement). In SBZNH932ZV/e1, theorem 2.9
History
- 2026-10-30: add by m2/v0.4.12
Prüfer coding C9S1A6F4Q0
| URI | m2://inv/C9S1A6F4Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#7LOD, Prüfer coding (definition)
History
- 2026-11-02: add by m2/dev
Laeken indicators C9S4FHBR9S
| URI | m2://inv/C9S4FHBR9S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deprivation index#Z9NC, Laeken indicators (unknown)
History
- 2026-11-02: add by m2/dev
Circular parking C9S4VR6K7C
| URI | m2://inv/C9S4VR6K7C |
|---|---|
| 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.23607#72WI, Circular parking (definition)
History
- 2026-11-02: add by m2/v0.6.17
C9S7DJ4F02 C9S7DJ4F02
| URI | m2://inv/C9S7DJ4F02 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1503.05744#U6UV (definition). In 5XKHZKEGAF/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
C9SDZ7NT4C C9SDZ7NT4C
| URI | m2://inv/C9SDZ7NT4C |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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/0406514#TXV4 (statement). In CY1FE8W1ZW/e1, lemma 0.210
History
- 2026-10-27: add by m2/v0.3.5
Local well-posedness C9SPEHSK7N
| URI | m2://inv/C9SPEHSK7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28454#XYMN, Local well-posedness (statement)
History
- 2026-11-01: add by m2/v0.6.15
C9SS6SDVJM C9SS6SDVJM
| URI | m2://inv/C9SS6SDVJM |
|---|---|
| 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.31527#UV1H (statement). In ZQ2YZ4P6P5/e1, proposition 2.10
History
- 2026-10-31: add by m2/v0.5.6
C9SYQ0VWPZ C9SYQ0VWPZ
| URI | m2://inv/C9SYQ0VWPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05820#CIXB (statement). In S8EGCJQ0JV/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.10
Local Existence C9T05GEBRR
| URI | m2://inv/C9T05GEBRR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.08210#7JB3, Local Existence (statement). In D4VDVX74FT/e1, theorem 0.1
History
- 2026-10-27: add by m2/v0.3.6
existential import C9T0K2YSEF
| URI | m2://inv/C9T0K2YSEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#IIFO, existential import (definition)
History
- 2026-11-02: add by m2/dev
Kadec 1/4 Theorem C9T1VFTZ8Z
| URI | m2://inv/C9T1VFTZ8Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz sequence#5ZC8, Kadec 1/4 Theorem (statement)
History
- 2026-11-02: add by m2/dev
C9T4D9M9TW C9T4D9M9TW
| URI | m2://inv/C9T4D9M9TW |
|---|---|
| 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.21403#BX25 (statement)
History
- 2026-11-02: add by m2/v0.6.18
UV ink C9TB7XM7BE
| URI | m2://inv/C9TB7XM7BE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invisible ink#XELW, UV ink (unknown)
History
- 2026-11-02: add by m2/dev
C9THB9NRKG C9THB9NRKG
| URI | m2://inv/C9THB9NRKG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/PowerSets.tex#prob:PowerSets (exercise). In P1C114YBXG, problem, section G
History
- 2026-11-01: add by m2/v0.6.13
Examples C9THD4EAQ6
| URI | m2://inv/C9THD4EAQ6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atomic sentence#QO8J, Examples (example)
History
- 2026-11-02: add by m2/dev
Relative likelihood C9TTHFJFCJ
| URI | m2://inv/C9TTHFJFCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative likelihood, Relative likelihood (definition). Also Wikidata Q80704202
History
- 2026-11-02: add by m2/dev
Lambert series C9V17NSA6V
| URI | m2://inv/C9V17NSA6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#P5X4, Lambert series (definition)
- wikipedia: Wikipedia List of number theory topics#IRWW, Lambert series (definition)
History
- 2026-11-02: add by m2/dev
Definition C9V294GGD5
| URI | m2://inv/C9V294GGD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detrended fluctuation analysis#ZKVE, Definition (definition)
History
- 2026-11-02: add by m2/dev
C9VAAN5GHR C9VAAN5GHR
| URI | m2://inv/C9VAAN5GHR |
|---|---|
| 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 math/0411039#MK9V (definition). In ZTBDXSKFFW/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
C9VC338D4E C9VC338D4E
| URI | m2://inv/C9VC338D4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33643#OMO9 (statement). In G8Y8XD02EC/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Examples C9VD7VHEJW
| URI | m2://inv/C9VD7VHEJW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inhabited set#04IP, Examples (example)
History
- 2026-11-02: add by m2/dev
C9VEVRZJQB C9VEVRZJQB
| URI | m2://inv/C9VEVRZJQB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#ques-7 (exercise). In RZP28ERRZV, ques, section 101.7
History
- 2026-11-01: add by m2/v0.6.13
False positive paradox C9VJ2SPH3N
| URI | m2://inv/C9VJ2SPH3N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base rate fallacy#VJHT, False positive paradox (statement)
History
- 2026-11-02: add by m2/dev
Tomotada Ohtsuki C9VT2Q14RW
| URI | m2://inv/C9VT2Q14RW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#79AT, Tomotada Ohtsuki (unknown)
History
- 2026-11-02: add by m2/dev
C9VZ714BEB C9VZ714BEB
| URI | m2://inv/C9VZ714BEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00909#6SYC (statement). In Z4TD36VFPW/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Lower {Hausdorff dimension} estimate C9W07XFQPS
| URI | m2://inv/C9W07XFQPS |
|---|---|
| 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#5EUF, Lower {Hausdorff dimension} estimate (statement). In 6HKGGCMBCK/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Fundamental --- \textsc{$\lambda$-E} / \textsc{App-Cong C9W3CJTGKD
| URI | m2://inv/C9W3CJTGKD |
|---|---|
| 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#6JXH, Fundamental --- \textsc{$\lambda$-E} / \textsc{App-Cong (statement). In CPYWHRTPKC/e1, lemma 6.60
History
- 2026-10-27: add by m2/v0.4.2
Conjugate subgroups C9W7TD9WWP
| URI | m2://inv/C9W7TD9WWP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugacy class#ZRRZ, Conjugate subgroups (unknown)
History
- 2026-11-02: add by m2/dev
Angular velocity C9WA93402V
| URI | m2://inv/C9WA93402V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#F5AA, Angular velocity (definition)
History
- 2026-11-02: add by m2/dev
C9X2NZQW8X C9X2NZQW8X
| URI | m2://inv/C9X2NZQW8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#ZZCT (statement). In 9RBATD2Z1F/e1, corollary 4.1
History
- 2026-10-30: add by m2/v0.4.12
C9XBXBXH07 C9XBXBXH07
| URI | m2://inv/C9XBXBXH07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#S3U7 (statement). In 8XAKGH8S2D/e1, lemma 3.13
History
- 2026-10-29: add by m2/v0.4.10
C9XCGC6CTY C9XCGC6CTY
| URI | m2://inv/C9XCGC6CTY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05327#B5OY (statement). In ZD7BWDKT84/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
Sun-Yung Alice Chang C9XN3280NC
| URI | m2://inv/C9XN3280NC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XNM5, Sun-Yung Alice Chang (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5KKR, Sun-Yung Alice Chang (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XVDC, Sun-Yung Alice Chang (topic)
History
- 2026-11-02: add by m2/dev
Properties C9XNEY0ZDW
| URI | m2://inv/C9XNEY0ZDW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Watts–Strogatz model#47VT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Sedulius Scottus C9XNM2VA3X
| URI | m2://inv/C9XNM2VA3X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#UVA3, Sedulius Scottus (unknown)
History
- 2026-11-02: add by m2/dev
Rank order list C9Y4SPY2HK
| URI | m2://inv/C9Y4SPY2HK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Resident Matching Program#74W3, Rank order list (unknown)
History
- 2026-11-02: add by m2/dev
Explicit formula for rational initial data C9Y7Q464C0
| URI | m2://inv/C9Y7Q464C0 |
|---|---|
| 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.00770#6RZ8, Explicit formula for rational initial data (statement). In AYGRJSRG1M/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Extreme point C9Y7TFWYV9
| URI | m2://inv/C9Y7TFWYV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme point, Extreme point (definition). Also Wikidata Q1385465
History
- 2026-11-02: add by m2/dev
C9Y9RB354A C9Y9RB354A
| URI | m2://inv/C9Y9RB354A |
|---|---|
| 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.07122#YL00 (statement). In W0ZHX9DHPV/e1, proposition 11
History
- 2026-10-29: add by m2/v0.4.10
C9YEB2WSWH C9YEB2WSWH
| URI | m2://inv/C9YEB2WSWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20077#KZBX (statement). In W5XRKWDADE/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
satisfiability C9YEWA1QMF
| URI | m2://inv/C9YEWA1QMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#93VB, satisfiability (definition)
History
- 2026-11-02: add by m2/dev
Lah, Ivo C9YH3J3BSN
| URI | m2://inv/C9YH3J3BSN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#55UU, Lah, Ivo (unknown)
History
- 2026-11-02: add by m2/dev
Self-report inventory C9YSF5FFJM
| URI | m2://inv/C9YSF5FFJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#VC59, Self-report inventory (unknown)
History
- 2026-11-02: add by m2/dev
Rolf Schock C9Z1GD491Y
| URI | m2://inv/C9Z1GD491Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rolf Schock, Rolf Schock (topic). Also Wikidata Q1380028
History
- 2026-11-02: add by m2/dev
Bollobás, Thomason C9Z6PKNX82
| URI | m2://inv/C9Z6PKNX82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#6ZFU, Bollobás, Thomason (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gaussian function C9Z8Y7NQVV
| URI | m2://inv/C9Z8Y7NQVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1054475, Gaussian function (unknown). Also MathWorld GaussianFunction
- wikipedia: Wikipedia Gaussian function, Gaussian function (definition). Also Wikidata Q1054475
History
- 2026-10-26: add by m2/dev
C9ZE9D5FYX C9ZE9D5FYX
| URI | m2://inv/C9ZE9D5FYX |
|---|---|
| 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.11960#U0FO (statement). In 7BB4XJNM9F/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.3
Algorithm C9ZJB8SH44
| URI | m2://inv/C9ZJB8SH44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random coordinate descent#QE5Z, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
C9ZM4DRM74 C9ZM4DRM74
| URI | m2://inv/C9ZM4DRM74 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/proof-search/completeness.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 59.5
History
- 2026-11-01: add by m2/v0.6.13
C9ZPXCPBPY C9ZPXCPBPY
| URI | m2://inv/C9ZPXCPBPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/ce-topmost.tex#lem:cut-adm-G3c (statement). In PKGMM3P5QY, lem, section 56.2
History
- 2026-11-01: add by m2/v0.6.13
C9ZRFBPFRJ C9ZRFBPFRJ
| URI | m2://inv/C9ZRFBPFRJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-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.26269#56I8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
C9ZTDRWV00 C9ZTDRWV00
| URI | m2://inv/C9ZTDRWV00 |
|---|---|
| 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.02141#FVUT (statement). In 5AB8YPS19N/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.12
Generalizations C9ZW06QPMG
| URI | m2://inv/C9ZW06QPMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel summation#3AP7, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Scherk's second surface C9ZZR5EZ2C
| URI | m2://inv/C9ZZR5EZ2C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scherk surface#16QG, Scherk's second surface (unknown)
History
- 2026-11-02: add by m2/dev