Inventory rows DS
The cards of the rows of the inventory whose ids start with DS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Application DS00EGEZRN
| URI | m2://inv/DS00EGEZRN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exalcomm#FDW5, Application (example)
History
- 2026-11-02: add by m2/dev
Variance propagation DS02KX17JS
| URI | m2://inv/DS02KX17JS |
|---|---|
| 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.14695#B6P0, Variance propagation (statement). In T15EJSPCNG/e1, lemma \thechapter.C.1
History
- 2026-10-28: add by m2/v0.4.2
Tree Decomposition DS09CRSNPZ
| URI | m2://inv/DS09CRSNPZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01441#LKWL, Tree Decomposition (definition). In V678XY1P9A/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
Slice--ribbon conjecture DS0BPH8TFW
| URI | m2://inv/DS0BPH8TFW |
|---|---|
| Kind | conjecture |
| 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.10206#5UPM, Slice--ribbon conjecture (conjecture). In 8TRCP1482Q/e1, conjecture 2.8
History
- 2026-10-29: add by m2/v0.4.10
DS0EN0NQ1G DS0EN0NQ1G
| URI | m2://inv/DS0EN0NQ1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13852#7WUX (statement). In SXTGSAH3WF/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Weak key DS0J9BGXRF
| URI | m2://inv/DS0J9BGXRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak key, Weak key (definition). Also Wikidata Q513687
History
- 2026-11-02: add by m2/dev
Stanislaw Lojasiewicz DS0VRVP477
| URI | m2://inv/DS0VRVP477 |
|---|---|
| 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#YUXD, Stanislaw Lojasiewicz (topic)
History
- 2026-11-02: add by m2/dev
DS0WRYN5YN DS0WRYN5YN
| URI | m2://inv/DS0WRYN5YN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22058#3XI9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
DS10FFTC2S DS10FFTC2S
| URI | m2://inv/DS10FFTC2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18070#NTX3 (statement). In RASQS0FG8A/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
DS1HBC55J4 DS1HBC55J4
| URI | m2://inv/DS1HBC55J4 |
|---|---|
| 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.40260#V5JJ (statement). In 524FZAC6NB/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
DS1PMC1TBE DS1PMC1TBE
| URI | m2://inv/DS1PMC1TBE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34011#89TI (definition). In RAXRNDW2Z0/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Abelian logic DS26MBK56Q
| URI | m2://inv/DS26MBK56Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AE1L, Abelian logic (definition)
History
- 2026-11-02: add by m2/dev
Constructions DS2BXZ38GN
| URI | m2://inv/DS2BXZ38GN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reversible cellular automaton#6CU2, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Applications DS2F8EGVC8
| URI | m2://inv/DS2F8EGVC8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langford pairing#ORJO, Applications (example)
History
- 2026-11-02: add by m2/dev
DS2G615VDD DS2G615VDD
| URI | m2://inv/DS2G615VDD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#N0M1 (statement). In TC5QA4AB4Z/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
conjugate gradient method DS2GKMQ4VM
| URI | m2://inv/DS2GKMQ4VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Conjugate gradient method AFXZGQB4EN |
Mentions
- wikidata: Wikidata Q1191895, conjugate gradient method (unknown). Also MathWorld ConjugateGradientMethod
- wikipedia: Wikipedia Conjugate gradient method, Conjugate gradient method (definition). Also Wikidata Q1191895
History
- 2026-10-26: add by m2/dev
DS2HXYHQKY DS2HXYHQKY
| URI | m2://inv/DS2HXYHQKY |
|---|---|
| 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.40207#J5LA (statement). In JXTG8KP95P/e1, corollary 6.11
History
- 2026-10-30: add by m2/v0.4.12
Hasse Invariant, Definition 5.1.3 DS2JFKE4AJ
| URI | m2://inv/DS2JFKE4AJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#Z9OE, Hasse Invariant, Definition 5.1.3 (definition). In 328KGRNN0W/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Marschak, Jacob DS2NVB7CKH
| URI | m2://inv/DS2NVB7CKH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Z09N, Marschak, Jacob (unknown)
History
- 2026-11-02: add by m2/dev
Monotone operations DS2NZFE3MY
| URI | m2://inv/DS2NZFE3MY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38220#6R72, Monotone operations (statement). In 1AC4S19925/e1, corollary 6.3
History
- 2026-10-30: add by m2/v0.4.12
DS2RJRKZM5 DS2RJRKZM5
| URI | m2://inv/DS2RJRKZM5 |
|---|---|
| Kind | example |
| 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.39317#4STJ (example). In QM1T8JDK4A/e1, example 6.13
History
- 2026-10-30: add by m2/v0.4.12
Properties DS31Q0NFMM
| URI | m2://inv/DS31Q0NFMM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreducible ideal#OBD9, Properties (statement)
History
- 2026-11-02: add by m2/dev
small icosihemidodecacron DS3457V6KE
| URI | m2://inv/DS3457V6KE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7543087, small icosihemidodecacron (unknown). Also MathWorld SmallIcosihemidodecacron
- wikipedia: Wikipedia Small icosihemidodecacron, Small icosihemidodecacron (object). Also Wikidata Q7543087
History
- 2026-10-26: add by m2/dev
DS34X0B5BQ DS34X0B5BQ
| URI | m2://inv/DS34X0B5BQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24449#6GAK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Localized polyhedral approximation DS36B0WFSG
| URI | m2://inv/DS36B0WFSG |
|---|---|
| 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#I4O2, Localized polyhedral approximation (statement)
History
- 2026-11-02: add by m2/v0.6.18
function of compact support DS38YV824D
| URI | m2://inv/DS38YV824D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3754523, function of compact support (unknown). Also EoM Function_of_compact_support
History
- 2026-10-26: add by m2/dev
Cones DS3D31ZZNA
| URI | m2://inv/DS3D31ZZNA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.25188#6RCM, Cones (definition)
History
- 2026-11-01: add by m2/v0.6.15
tetrad DS3EX6GQW7
| URI | m2://inv/DS3EX6GQW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#SVX2, tetrad (definition)
History
- 2026-11-02: add by m2/dev
DS3FGQT28S DS3FGQT28S
| URI | m2://inv/DS3FGQT28S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#9GDV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition DS3KAN6HQZ
| URI | m2://inv/DS3KAN6HQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective object#BOR1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Recovery of finite set data DS3KVBMYWJ
| URI | m2://inv/DS3KVBMYWJ |
|---|---|
| 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#XGH4, Recovery of finite set data (statement). In E7W2HDNEKJ/e1, lemma 2.17
History
- 2026-10-30: add by m2/v0.4.12
Basic properties DS3MM2FD8D
| URI | m2://inv/DS3MM2FD8D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flag bundle#YOP4, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Alternating-matchings path geometry DS3PTJBSEZ
| URI | m2://inv/DS3PTJBSEZ |
|---|---|
| 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.33021#0AW5, Alternating-matchings path geometry (statement). In GG96DW33Q9/e1, lemma I.2
History
- 2026-10-31: add by m2/v0.5.6
DS3SM79Y38 DS3SM79Y38
| URI | m2://inv/DS3SM79Y38 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#M5NT (definition). In 90QTB4CC31/e1, definition 3.16
History
- 2026-10-28: add by m2/v0.4.2
$R$-smooth numbers DS3T72TWXH
| URI | m2://inv/DS3T72TWXH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#C26I, $R$-smooth numbers (definition). In JBAQ7DTW7B/e1, definition A.1
History
- 2026-10-27: add by m2/v0.3.5
Multinomial Theorem DS3WHQW0S5
| URI | m2://inv/DS3WHQW0S5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_multinom.ptx#thm-strings-multinomial, Multinomial Theorem (statement). In QKM9DD2H56, theorem, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
DS3YSF2XQQ DS3YSF2XQQ
| URI | m2://inv/DS3YSF2XQQ |
|---|---|
| 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.36613#PXCF (statement). In GX0K0ZM700/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Rudolf Clausius DS41149J5G
| URI | m2://inv/DS41149J5G |
|---|---|
| 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 Q30693, Rudolf Clausius (unknown). Also nLab Rudolf Clausius
History
- 2026-10-26: add by m2/dev
Definitions DS42YDBWAK
| URI | m2://inv/DS42YDBWAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subtangent#GFBT, Definitions (definition)
History
- 2026-11-02: add by m2/dev
DS43HAW5B1 DS43HAW5B1
| URI | m2://inv/DS43HAW5B1 |
|---|---|
| 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#8D6C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Paul Rabinowitz DS46S29SZ0
| URI | m2://inv/DS46S29SZ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Rabinowitz, Paul Rabinowitz (topic). Also Wikidata Q2061770
History
- 2026-11-02: add by m2/dev
DS48FPBQT7 DS48FPBQT7
| URI | m2://inv/DS48FPBQT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#LRA9 (statement). In 2BET1RE1F6/e1, lemma 3.9
History
- 2026-10-31: add by m2/v0.5.6
Michael Kapovich DS48N79BFG
| URI | m2://inv/DS48N79BFG |
|---|---|
| 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 Q22670590, Michael Kapovich (unknown). Also nLab Michael Kapovich
History
- 2026-10-26: add by m2/dev
DS4H01B8GM DS4H01B8GM
| URI | m2://inv/DS4H01B8GM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.14699#19KQ (statement). In ES1CVGG59Y/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.3.5
Six circles theorem DS5533WHVM
| URI | m2://inv/DS5533WHVM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangent circles#TMY9, Six circles theorem (statement)
History
- 2026-11-02: add by m2/dev
DS56A8H60R DS56A8H60R
| URI | m2://inv/DS56A8H60R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37967#7BN8 (statement). In BR2E3CXQE0/e1, corollary 3
History
- 2026-10-30: add by m2/v0.4.12
Sfold DS5DJDZMCS
| URI | m2://inv/DS5DJDZMCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sfold, Sfold (definition). Also Wikidata Q124260382
History
- 2026-11-02: add by m2/dev
Dichromatic reflectance model DS5W505C5X
| URI | m2://inv/DS5W505C5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dichromatic reflectance model, Dichromatic reflectance model (definition). Also Wikidata Q5272547
History
- 2026-11-02: add by m2/dev
Rajeshwari Sundaram DS5XDB74ZG
| URI | m2://inv/DS5XDB74ZG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#A574, Rajeshwari Sundaram (topic)
History
- 2026-11-02: add by m2/dev
DS66ZN14G0 DS66ZN14G0
| URI | m2://inv/DS66ZN14G0 |
|---|---|
| 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.30407#Q47B (statement). In HNY6N561H5/e1, theorem 2.6
History
- 2026-10-31: add by m2/v0.5.6
Use of the cue validity DS6DSECC2B
| URI | m2://inv/DS6DSECC2B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cue validity#KSAN, Use of the cue validity (example)
History
- 2026-11-02: add by m2/dev
Projected martingale rates DS6T6082VJ
| URI | m2://inv/DS6T6082VJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13884#12OI, Projected martingale rates (statement). In N2NQ3QJYTW/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
Statement of the theorem DS6TAGWDFZ
| URI | m2://inv/DS6TAGWDFZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann series theorem#NS76, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
DS6TBZ7PHB DS6TBZ7PHB
| URI | m2://inv/DS6TBZ7PHB |
|---|---|
| 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.01441#JHH8 (statement). In V678XY1P9A/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
DS6XERS94C DS6XERS94C
| URI | m2://inv/DS6XERS94C |
|---|---|
| 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.19573#99FG (statement). In NM6Z2R61CN/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
Example DS71QQF4HK
| URI | m2://inv/DS71QQF4HK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic number#LAVF, Example (example)
History
- 2026-11-02: add by m2/dev
Theorem DS72W7HZ8B
| URI | m2://inv/DS72W7HZ8B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No-cloning theorem#H66B, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition DS76GZDRK0
| URI | m2://inv/DS76GZDRK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy of four terms#4EGC, Definition (definition)
History
- 2026-11-02: add by m2/dev
DS7GX7DV4G DS7GX7DV4G
| URI | m2://inv/DS7GX7DV4G |
|---|---|
| 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.08050#IPR0 (statement). In K9Q0GZXRN3/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Properties DS7N2NPDZR
| URI | m2://inv/DS7N2NPDZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian sheet#X5L8, Properties (statement)
History
- 2026-11-02: add by m2/dev
DS7S9E3W6R DS7S9E3W6R
| URI | m2://inv/DS7S9E3W6R |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.15255#7LSP (problem). In G691MXMYW0/e1, problem 5.1
History
- 2026-10-27: add by m2/v0.4.0
DS7SAB56T2 DS7SAB56T2
| URI | m2://inv/DS7SAB56T2 |
|---|---|
| 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.18017#8912 (statement). In EBSQEQYECS/e1, theorem 0.10
History
- 2026-10-28: add by m2/v0.4.2
DS7XHJWVS6 DS7XHJWVS6
| URI | m2://inv/DS7XHJWVS6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#1T7S (definition)
History
- 2026-11-01: add by m2/v0.6.15
Index of statistics articles DS86FRMVPG
| URI | m2://inv/DS86FRMVPG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of statistics topics#5MGK, Index of statistics articles (topic)
History
- 2026-11-02: add by m2/dev
polygraph DS8Q0RCN3V
| URI | m2://inv/DS8Q0RCN3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#PB6C, polygraph (definition)
History
- 2026-11-02: add by m2/dev
Lev Hakak DS8ZRSH4N2
| URI | m2://inv/DS8ZRSH4N2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#DU5L, Lev Hakak (unknown)
History
- 2026-11-02: add by m2/dev
Group profile DS915MNYS0
| URI | m2://inv/DS915MNYS0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Profiling (information science)#6OV3, Group profile (unknown)
History
- 2026-11-02: add by m2/dev
The edge of the bulk DS929JSZ11
| URI | m2://inv/DS929JSZ11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#D6RW, The edge of the bulk (statement). In NKXTXH59P1/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
DS92CWV3VM DS92CWV3VM
| URI | m2://inv/DS92CWV3VM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-4 (proof). In E59CDZA4DP, proof, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
Symmetry DS941TCVFA
| URI | m2://inv/DS941TCVFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry (geometry), Symmetry (definition). Also Wikidata Q21030012
History
- 2026-11-02: add by m2/dev
G. E. Forsynthe DS97QMVTF2
| URI | m2://inv/DS97QMVTF2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#5AJ9, G. E. Forsynthe (unknown)
History
- 2026-11-02: add by m2/dev
Ludwig Föppl DS9GK1YE3J
| URI | m2://inv/DS9GK1YE3J |
|---|---|
| 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#PYR0, Ludwig Föppl (unknown)
History
- 2026-11-02: add by m2/dev
Aronszajn tree DS9MJ0408A
| URI | m2://inv/DS9MJ0408A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statements independent of ZFC#RR6S, Aronszajn tree (definition)
History
- 2026-11-02: add by m2/dev
Finiteness at every fixed parameter DS9R1937AQ
| URI | m2://inv/DS9R1937AQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38650#NCEV, Finiteness at every fixed parameter (statement). In DZJ9QJVQK3/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Examples DS9SY2BPS4
| URI | m2://inv/DS9SY2BPS4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur–Selberg trace formula#Z0HH, Examples (example)
History
- 2026-11-02: add by m2/dev
DS9ZSRHQ0Q DS9ZSRHQ0Q
| URI | m2://inv/DS9ZSRHQ0Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-arithgeom.ptx#example-sum-of-arithmetic (example). In Y91XFCEVHQ, example, section 3.2.1
History
- 2026-11-01: add by m2/v0.6.13
Spencer Bloch DSA3YAVS7H
| URI | m2://inv/DSA3YAVS7H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1602226, Spencer Bloch (unknown). Also nLab Spencer Bloch
- wikipedia: Wikipedia Spencer Bloch, Spencer Bloch (topic). Also Wikidata Q1602226
History
- 2026-10-26: add by m2/dev
DSA9DHQX2N DSA9DHQX2N
| URI | m2://inv/DSA9DHQX2N |
|---|---|
| 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.02174#RLR6 (statement). In 7JPHSV4NXW/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.12
Otto Dersch DSACFVZECF
| URI | m2://inv/DSACFVZECF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#RK7O, Otto Dersch (topic)
History
- 2026-11-02: add by m2/dev
Definition (Strong Extractor) DSAD7QPA0G
| URI | m2://inv/DSAD7QPA0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomness extractor#2OGR, Definition (Strong Extractor) (definition)
History
- 2026-11-02: add by m2/dev
DSAHZERZPY DSAHZERZPY
| URI | m2://inv/DSAHZERZPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop:unboundedmonotone (statement). In E59CDZA4DP, prop, section 10.3.4
History
- 2026-11-01: add by m2/v0.6.13
Simple extension DSAXF9JCBE
| URI | m2://inv/DSAXF9JCBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#NTJE, Simple extension (definition)
History
- 2026-11-02: add by m2/dev
MQV DSB9RHW661
| URI | m2://inv/DSB9RHW661 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MQV, MQV (definition). Also Wikidata Q3306069
History
- 2026-11-02: add by m2/dev
Chandrasekhar's H-function DSBRAZZXFJ
| URI | m2://inv/DSBRAZZXFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chandrasekhar's H-function, Chandrasekhar's H-function (definition). Also Wikidata Q48996454
History
- 2026-11-02: add by m2/dev
DSBRYY8EG5 DSBRYY8EG5
| URI | m2://inv/DSBRYY8EG5 |
|---|---|
| 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 2106.01660#NVLK (statement). In DY520CF58X/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
DSC24BJ8TY DSC24BJ8TY
| URI | m2://inv/DSC24BJ8TY |
|---|---|
| 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 2208.05288#UQNC (statement). In RTW3GDYPND/e1, fact 3.18
History
- 2026-10-27: add by m2/v0.4.0
DSC3R1HWX6 DSC3R1HWX6
| URI | m2://inv/DSC3R1HWX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08074#3GQ1 (statement). In ZRPYF750AV/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
A. K. Raychaudhuri DSC9D2NHVX
| URI | m2://inv/DSC9D2NHVX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#BTPB, A. K. Raychaudhuri (unknown)
History
- 2026-11-02: add by m2/dev
Examples and counterexamples DSCH5PGK1E
| URI | m2://inv/DSCH5PGK1E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-countable space#J586, Examples and counterexamples (example)
History
- 2026-11-02: add by m2/dev
Sophie Piccard DSCNBYJ9RD
| URI | m2://inv/DSCNBYJ9RD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sophie Piccard, Sophie Piccard (topic). Also Wikidata Q21055959
History
- 2026-11-02: add by m2/dev
Southern Africa Mathematical Sciences Association DSCNWKHFD8
| URI | m2://inv/DSCNWKHFD8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Southern Africa Mathematical Sciences Association, Southern Africa Mathematical Sciences Association (topic). Also Wikidata Q56276975
History
- 2026-11-02: add by m2/dev
Inaccessible cardinal DSCPV6AHC5
| URI | m2://inv/DSCPV6AHC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#ORV5, Inaccessible cardinal (definition)
History
- 2026-11-02: add by m2/dev
Amplification DSCTSWN798
| URI | m2://inv/DSCTSWN798 |
|---|---|
| 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.04271#AJJ4, Amplification (statement). In WBXAW9G4JB/e1, corollary 10.2
History
- 2026-10-29: add by m2/v0.4.12
DSD0C021MD DSD0C021MD
| URI | m2://inv/DSD0C021MD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27023#M0MJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hadamard--Fischer determinant inequality DSD435AZ9Z
| URI | m2://inv/DSD435AZ9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#M6IG, Hadamard--Fischer determinant inequality (statement)
History
- 2026-11-02: add by m2/v0.6.17
Caltech-USGS Seismic Processing DSD5S7NKS3
| URI | m2://inv/DSD5S7NKS3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seismology#PCDH, Caltech-USGS Seismic Processing (unknown)
History
- 2026-11-02: add by m2/dev
DSD65KPBND DSD65KPBND
| URI | m2://inv/DSD65KPBND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08873#QWKT (statement). In 7WMNVJBAVR/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
DSDCHNRCN7 DSDCHNRCN7
| URI | m2://inv/DSDCHNRCN7 |
|---|---|
| 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 2211.10816#SKZV (statement). In 8VNN8PX49Y/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.6
DSDJ660D7M DSDJ660D7M
| URI | m2://inv/DSDJ660D7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21765#1BG2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Structure theorem DSDJ9WPPWQ
| URI | m2://inv/DSDJ9WPPWQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological data analysis#TTHG, Structure theorem (statement)
History
- 2026-11-02: add by m2/dev
Useful formulas DSDJYEWJSR
| URI | m2://inv/DSDJYEWJSR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berezin integral#2IGX, Useful formulas (statement)
History
- 2026-11-02: add by m2/dev
DSE8MY5C1A DSE8MY5C1A
| URI | m2://inv/DSE8MY5C1A |
|---|---|
| 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.35642#A5SX (statement). In D905BX98TP/e1, lemma 3.12
History
- 2026-10-30: add by m2/v0.4.12
P-stable group DSED0T8H8S
| URI | m2://inv/DSED0T8H8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-stable group, P-stable group (definition). Also Wikidata Q7116935
History
- 2026-11-02: add by m2/dev
DSEJBRH707 DSEJBRH707
| URI | m2://inv/DSEJBRH707 |
|---|---|
| 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.20010#108D (statement). In AK2DV65PRT/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
Taguchi methods DSEMTR2STY
| URI | m2://inv/DSEMTR2STY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KS5X, Taguchi methods (definition)
History
- 2026-11-02: add by m2/dev
DSERAY6479 DSERAY6479
| URI | m2://inv/DSERAY6479 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#1DSA (statement)
History
- 2026-11-01: add by m2/v0.6.15
DSESFPPHTH DSESFPPHTH
| URI | m2://inv/DSESFPPHTH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-trees.ptx#ex-forest (exercise). In Y91XFCEVHQ, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
DSET9WYXFH DSET9WYXFH
| URI | m2://inv/DSET9WYXFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#I3IE (statement)
History
- 2026-11-01: add by m2/v0.6.15
TDOA principle / navigation DSEWTVPKE9
| URI | m2://inv/DSEWTVPKE9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-range multilateration#KP4L, TDOA principle / navigation (statement)
History
- 2026-11-02: add by m2/dev
DSEWXA95FV DSEWXA95FV
| URI | m2://inv/DSEWXA95FV |
|---|---|
| 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.08658#QNTD (statement). In 7PK5WS7246/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Definition DSEX0Q40S2
| URI | m2://inv/DSEX0Q40S2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucas number#TB28, Definition (definition)
History
- 2026-11-02: add by m2/dev
DSEY1639A8 DSEY1639A8
| URI | m2://inv/DSEY1639A8 |
|---|---|
| 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.08288#7C2F (statement). In CHVWYJM7RM/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
DSF2XYV2FX DSF2XYV2FX
| URI | m2://inv/DSF2XYV2FX |
|---|---|
| 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#TH8E (statement). In GYMGDQS25R/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
DSFCAFKFG9 DSFCAFKFG9
| URI | m2://inv/DSFCAFKFG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10481#I3S0 (statement). In ETV3D93XYD/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
Vyacheslav Futorny DSFJVE1DYC
| URI | m2://inv/DSFJVE1DYC |
|---|---|
| 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#TLZQ, Vyacheslav Futorny (topic)
History
- 2026-11-02: add by m2/dev
Relative ping-pong for convergence actions DSFPN7YWCP
| URI | m2://inv/DSFPN7YWCP |
|---|---|
| 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.36098#7G0P, Relative ping-pong for convergence actions (statement). In NRP62VNE58/e1, proposition 8.2
History
- 2026-10-30: add by m2/v0.4.12
DSFS8H88HT DSFS8H88HT
| URI | m2://inv/DSFS8H88HT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37747#9803 (statement). In GEYDNVZEP7/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
DSFWKPHVR7 DSFWKPHVR7
| URI | m2://inv/DSFWKPHVR7 |
|---|---|
| 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.35360#XKCQ (statement). In 770AQ8T366/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Say DSFZ4G844W
| URI | m2://inv/DSFZ4G844W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#QK65, Say (definition)
History
- 2026-11-02: add by m2/dev
DSFZ8J5B0S DSFZ8J5B0S
| URI | m2://inv/DSFZ8J5B0S |
|---|---|
| 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.02689#P16V (statement). In 7BWXR38MNE/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Example DSG57SBTTV
| URI | m2://inv/DSG57SBTTV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuṭṭaka#NII0, Example (example)
History
- 2026-11-02: add by m2/dev
Short-time length minimality up to reparametrization DSG9FPHGA8
| URI | m2://inv/DSG9FPHGA8 |
|---|---|
| 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.10813#KE2V, Short-time length minimality up to reparametrization (statement). In G8F4P7GDMA/e1, theorem 5.5
History
- 2026-10-28: add by m2/v0.4.3
I. Elaine Allen DSGNKY886E
| URI | m2://inv/DSGNKY886E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#3IMR, I. Elaine Allen (topic)
History
- 2026-11-02: add by m2/dev
elaboration, in type theory DSGVG4AD43
| URI | m2://inv/DSGVG4AD43 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.11/elaboration-in-type-theory, elaboration, in type theory (concept). In N54F33XE07, index, section 4.2.11
History
- 2026-11-01: add by m2/v0.6.13
Malfatti's problem DSH0N8527X
| URI | m2://inv/DSH0N8527X |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3845332, Malfatti's problem (problem). Also MathWorld MarbleProblem
History
- 2026-10-26: add by m2/dev
Properties DSH2SWXE72
| URI | m2://inv/DSH2SWXE72 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Η set#HIJG, Properties (statement)
History
- 2026-11-02: add by m2/dev
DSHB4J5MZ8 DSHB4J5MZ8
| URI | m2://inv/DSHB4J5MZ8 |
|---|---|
| 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.34551#EJ6T (statement). In 3AF7G56AGE/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
DSHJEGQ5GQ DSHJEGQ5GQ
| URI | m2://inv/DSHJEGQ5GQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#B5PH (statement). In RTE2C0PH4S/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Turkey illusion DSHYZDT0CK
| URI | m2://inv/DSHYZDT0CK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#5703, Turkey illusion (unknown)
History
- 2026-11-02: add by m2/dev
endomorphism DSJ0GMKW0G
| URI | m2://inv/DSJ0GMKW0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#8J2I, endomorphism (definition)
History
- 2026-11-02: add by m2/dev
DSJ925QS0E DSJ925QS0E
| URI | m2://inv/DSJ925QS0E |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#DCTC (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
DSJ9HC04YF DSJ9HC04YF
| URI | m2://inv/DSJ9HC04YF |
|---|---|
| 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#XBJQ (statement). In BDN507RN7J/e1, proposition 6.1.2
History
- 2026-10-30: add by m2/v0.4.12
F. A. Bogomolov DSJHW5FY4N
| URI | m2://inv/DSJHW5FY4N |
|---|---|
| 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#N5CO, F. A. Bogomolov (topic)
History
- 2026-11-02: add by m2/dev
DSJTZZX04D DSJTZZX04D
| URI | m2://inv/DSJTZZX04D |
|---|---|
| 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.37197#J1IU (statement). In 98ESNNP0CC/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
ultraproduct DSJVMMMH86
| URI | m2://inv/DSJVMMMH86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#TXGX, ultraproduct (definition)
History
- 2026-11-02: add by m2/dev
DSJXF3JVEE DSJXF3JVEE
| URI | m2://inv/DSJXF3JVEE |
|---|---|
| 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.09324#W45O (statement). In SFNYZXKBNW/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Leone Battista Alberti DSK3DFH42F
| URI | m2://inv/DSK3DFH42F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#M7SY, Leone Battista Alberti (unknown)
History
- 2026-11-02: add by m2/dev
Centistoke DSKA44DYQ9
| URI | m2://inv/DSKA44DYQ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viscosity#5PVS, Centistoke (unknown)
History
- 2026-11-02: add by m2/dev
DSKAYVFEXX DSKAYVFEXX
| URI | m2://inv/DSKAYVFEXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16267#K3T2 (statement). In 65GKPZ15VH/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
DSKCQ548CY DSKCQ548CY
| URI | m2://inv/DSKCQ548CY |
|---|---|
| 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.21009#SWPB (statement). In 23G8VNDWDM/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
Demographic history of Australia DSKGHKJV9E
| URI | m2://inv/DSKGHKJV9E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Australia#DA3E, Demographic history of Australia (unknown)
History
- 2026-11-02: add by m2/dev
DSMA73AQ3R DSMA73AQ3R
| URI | m2://inv/DSMA73AQ3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#IJSX (statement)
History
- 2026-11-02: add by m2/v0.6.18
DSMCKN5F4V DSMCKN5F4V
| URI | m2://inv/DSMCKN5F4V |
|---|---|
| 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.21969#RQUI (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties DSMJHNR4E9
| URI | m2://inv/DSMJHNR4E9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thickness (graph theory)#XSJW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Osculant DSMK52BH4P
| URI | m2://inv/DSMK52BH4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Osculant, Osculant (definition). Also Wikidata Q7106432
History
- 2026-11-02: add by m2/dev
Guyan reduction DSMT18KQHZ
| URI | m2://inv/DSMT18KQHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guyan reduction, Guyan reduction (definition). Also Wikidata Q2301313
History
- 2026-11-02: add by m2/dev
DSMXVWAPTN DSMXVWAPTN
| URI | m2://inv/DSMXVWAPTN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12371#7C17 (definition). In 8TTFQH19QR/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
DSMZ62XEAT DSMZ62XEAT
| URI | m2://inv/DSMZ62XEAT |
|---|---|
| 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#YCHB (statement). In AYGRJSRG1M/e1, proposition
History
- 2026-10-29: add by m2/v0.4.12
DSNBT9S1Z6 DSNBT9S1Z6
| URI | m2://inv/DSNBT9S1Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14154#MT79 (statement). In 8X6PXX2TRA/e1, theorem 3.10
History
- 2026-10-28: add by m2/v0.4.2
Examples DSNCPFGCWM
| URI | m2://inv/DSNCPFGCWM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Admissible rule#S2UC, Examples (example)
History
- 2026-11-02: add by m2/dev
Characterisation principles DSNGN59X2F
| URI | m2://inv/DSNGN59X2F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dialectica interpretation#ML6B, Characterisation principles (statement)
History
- 2026-11-02: add by m2/dev
DSNKVQMV3Q DSNKVQMV3Q
| URI | m2://inv/DSNKVQMV3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34011#ANK1 (statement). In RAXRNDW2Z0/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
Definition DSNZ9EMY1T
| URI | m2://inv/DSNZ9EMY1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton polynomial#0RC4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition DSP6HE69DT
| URI | m2://inv/DSP6HE69DT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz projector#XYZV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Signal-Noise Decomposition of the Average Discrete Gradient DSPC9B6BPK
| URI | m2://inv/DSPC9B6BPK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16705#8PEP, Signal-Noise Decomposition of the Average Discrete Gradient (statement). In B48YQVGAF5/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Exponential rate of the Fisher--Rao flow DSPDE1EKPT
| URI | m2://inv/DSPDE1EKPT |
|---|---|
| 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.06653#PYPA, Exponential rate of the Fisher--Rao flow (statement). In 9D2N76AJAT/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.10
Autoregressive–moving-average model DSPG9AW9DR
| URI | m2://inv/DSPG9AW9DR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1MXR, Autoregressive–moving-average model (definition)
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#JHAH, Autoregressive–moving-average model (definition)
History
- 2026-11-02: add by m2/dev
DSPRHR35X7 DSPRHR35X7
| URI | m2://inv/DSPRHR35X7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37805#V9Z9 (statement). In 9ABCBQEHZ9/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Class number criterion DSPX5R5582
| URI | m2://inv/DSPX5R5582 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular prime#NF2S, Class number criterion (statement)
History
- 2026-11-02: add by m2/dev
DSPXGFZHQM DSPXGFZHQM
| URI | m2://inv/DSPXGFZHQM |
|---|---|
| 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 2609.35307#26HF (statement). In FT5TKY10T8/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
An Omega theorem DSQ0CGHZ2G
| URI | m2://inv/DSQ0CGHZ2G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Z function#QO4H, An Omega theorem (statement)
History
- 2026-11-02: add by m2/dev
DSQ65PXGHA DSQ65PXGHA
| URI | m2://inv/DSQ65PXGHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04431#DWMB (statement). In 3PSAWXCCJ8/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
List of cohomology theories DSQ87FPR0M
| URI | m2://inv/DSQ87FPR0M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cohomology theories, List of cohomology theories (topic). Also Wikidata Q6610387
History
- 2026-11-02: add by m2/dev
Main statement DSQFJ0KEWW
| URI | m2://inv/DSQFJ0KEWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31782#Y1SG, Main statement (statement). In YAYP5VZ94H/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
Vitamin C DSQGE93REF
| URI | m2://inv/DSQGE93REF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#2FXF, Vitamin C (unknown)
History
- 2026-11-02: add by m2/dev
ground set DSQN8H05AF
| URI | m2://inv/DSQN8H05AF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.1/ground-set, ground set (concept). In QKM9DD2H56, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
DSQVPBPEWQ DSQVPBPEWQ
| URI | m2://inv/DSQVPBPEWQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25129#T3KR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Noreen Sher Akbar DSR17D8SNC
| URI | m2://inv/DSR17D8SNC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noreen Sher Akbar, Noreen Sher Akbar (topic). Also Wikidata Q108028290
History
- 2026-11-02: add by m2/dev
Václav Hlavatý DSREAMWWYM
| URI | m2://inv/DSREAMWWYM |
|---|---|
| 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#45QW, Václav Hlavatý (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BEQ8, Václav Hlavatý (topic)
History
- 2026-11-02: add by m2/dev
Parabolic Hausdorff dimension DSRHJMBXX4
| URI | m2://inv/DSRHJMBXX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabolic Hausdorff dimension, Parabolic Hausdorff dimension (definition). Also Wikidata Q130288503
History
- 2026-11-02: add by m2/dev
Open problems DSRJVNRDSD
| URI | m2://inv/DSRJVNRDSD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge coloring#ZJ6U, Open problems (statement)
History
- 2026-11-02: add by m2/dev
DSS4G7DG6R DSS4G7DG6R
| URI | m2://inv/DSS4G7DG6R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-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.02017#46OX (definition). In F6C80AEXC1/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Independence of premise DSS925EW1E
| URI | m2://inv/DSS925EW1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independence of premise, Independence of premise (definition). Also Wikidata Q6016278
History
- 2026-11-02: add by m2/dev
DSSDFZQPBN DSSDFZQPBN
| URI | m2://inv/DSSDFZQPBN |
|---|---|
| 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.28540#F7LQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
modular multiplicative inverse DSSNDJQX1B
| URI | m2://inv/DSSNDJQX1B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Modular multiplicative inverse 00GXTQMY8Z |
Mentions
- wikidata: Wikidata Q2741788, modular multiplicative inverse (concept). Also MathWorld ModularInverse
- wikipedia: Wikipedia Modular multiplicative inverse, Modular multiplicative inverse (definition). Also Wikidata Q2741788
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
DSSQB8SR2P DSSQB8SR2P
| URI | m2://inv/DSSQB8SR2P |
|---|---|
| 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.20690#G7VP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sacks's density theorem DSSXYSY9D7
| URI | m2://inv/DSSXYSY9D7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedberg–Muchnik theorem#DYMP, Sacks's density theorem (statement)
History
- 2026-11-02: add by m2/dev
Central limit theorem for Brownian homology DST4T0X8FY
| URI | m2://inv/DST4T0X8FY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.27851#9PO4, Central limit theorem for Brownian homology (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chowla–Mordell theorem DSTGP9ZH6P
| URI | m2://inv/DSTGP9ZH6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#CH08, Chowla–Mordell theorem (statement)
History
- 2026-11-02: add by m2/dev
DSTHY77GMW DSTHY77GMW
| URI | m2://inv/DSTHY77GMW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-24 (exercise). In E59CDZA4DP, exercise, section 11.2.4
History
- 2026-11-01: add by m2/v0.6.13
DSTQVTV1ZS DSTQVTV1ZS
| URI | m2://inv/DSTQVTV1ZS |
|---|---|
| Kind | statement |
| 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.12352#FBYJ (statement). In EXASSFT73P/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
DSV1G9YRT1 DSV1G9YRT1
| URI | m2://inv/DSV1G9YRT1 |
|---|---|
| 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.04382#GDPG (definition). In 7VW8XD28G1/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
quotients tending to one DSV42H787S
| URI | m2://inv/DSV42H787S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#153F, quotients tending to one (example)
History
- 2026-11-01: add by m2/v0.6.15
DSVJ6ECRW1 DSVJ6ECRW1
| URI | m2://inv/DSVJ6ECRW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#XBBT (statement)
History
- 2026-11-02: add by m2/v0.6.18
DSVPY9630B DSVPY9630B
| URI | m2://inv/DSVPY9630B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#thm:cong classes equal (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
DSW0H4JK3F DSW0H4JK3F
| URI | m2://inv/DSW0H4JK3F |
|---|---|
| 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.38014#RP0F (statement). In F3X5W4E0AJ/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Use DSW5RDAJN0
| URI | m2://inv/DSW5RDAJN0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from ignorance#D5H8, Use (example)
History
- 2026-11-02: add by m2/dev
DSW81D7DMS DSW81D7DMS
| URI | m2://inv/DSW81D7DMS |
|---|---|
| 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 1709.08958#46AO (statement). In H46J8XRDFJ/e1, fact 6.1.1
History
- 2026-10-27: add by m2/v0.3.5
DSW8M4ET5Z DSW8M4ET5Z
| URI | m2://inv/DSW8M4ET5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.16541#U995 (statement). In D0XH7W96T3/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
Examples DSWA5XHY9G
| URI | m2://inv/DSWA5XHY9G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Material inference#CF0T, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications DSWF5VZ06N
| URI | m2://inv/DSWF5VZ06N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theil–Sen estimator#71RN, Applications (example)
History
- 2026-11-02: add by m2/dev
Zsolt Baranyai DSWGEC97G2
| URI | m2://inv/DSWGEC97G2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zsolt Baranyai, Zsolt Baranyai (topic). Also Wikidata Q775168
History
- 2026-11-02: add by m2/dev
Dionysius Lardner DSWJMKCVZM
| URI | m2://inv/DSWJMKCVZM |
|---|---|
| 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 Q905875, Dionysius Lardner (unknown). Also ProofWiki Mathematician:Dionysius_Lardner
History
- 2026-10-26: add by m2/dev
Definition DSWMEZPYEY
| URI | m2://inv/DSWMEZPYEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural density#XJKX, Definition (definition)
History
- 2026-11-02: add by m2/dev
DSWN9X9779 DSWN9X9779
| URI | m2://inv/DSWN9X9779 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.22642#VI2A (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ruzzo–Tompa algorithm DSWRDJDV5H
| URI | m2://inv/DSWRDJDV5H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#1M9L, Ruzzo–Tompa algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Arens–Fort space DSWRMFDVGE
| URI | m2://inv/DSWRMFDVGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arens–Fort space, Arens–Fort space (definition). Also Wikidata Q642105
History
- 2026-11-02: add by m2/dev
A Treatise on Probability DSX5CHK11T
| URI | m2://inv/DSX5CHK11T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Treatise on Probability, A Treatise on Probability (definition). Also Wikidata Q17022390
History
- 2026-11-02: add by m2/dev
Jensen's inequality DSX681GN7Q
| URI | m2://inv/DSX681GN7Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#YH3H, Jensen's inequality (statement)
History
- 2026-11-02: add by m2/dev
Spring energy DSXGQ3TGPY
| URI | m2://inv/DSXGQ3TGPY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hooke's law#KWS7, Spring energy (unknown)
History
- 2026-11-02: add by m2/dev
Marginal first contacts near criticality DSXJ1SWD6K
| URI | m2://inv/DSXJ1SWD6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#B93F, Marginal first contacts near criticality (statement). In NKXTXH59P1/e1, proposition F.1
History
- 2026-10-29: add by m2/v0.4.10
Graph enumeration DSXJGG7E0K
| URI | m2://inv/DSXJGG7E0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph enumeration, Graph enumeration (definition). Also Wikidata Q5597086
History
- 2026-11-02: add by m2/dev
DSXKEVYTYM DSXKEVYTYM
| URI | m2://inv/DSXKEVYTYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#GWT4 (statement). In GHKR740SG3/e1, theorem 12.2
History
- 2026-10-31: add by m2/v0.5.6
Keith William Morton DSXNJSG1JR
| URI | m2://inv/DSXNJSG1JR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keith William Morton, Keith William Morton (topic). Also Wikidata Q1030297
History
- 2026-11-02: add by m2/dev
Oracle complexity for monotone root-finding DSXX64FYSP
| URI | m2://inv/DSXX64FYSP |
|---|---|
| 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.36033#D1S0, Oracle complexity for monotone root-finding (statement). In N2W0AH1KRF/e1, corollary 3.6
History
- 2026-10-30: add by m2/v0.4.12
DSY56Y553C DSY56Y553C
| URI | m2://inv/DSY56Y553C |
|---|---|
| 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 2508.02432#MJ22 (statement). In B366ACYB37/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
DSYC3ZQZR0 DSYC3ZQZR0
| URI | m2://inv/DSYC3ZQZR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#3RGO (statement). In RGXQ50RWXV/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
DSYMWEXTC8 DSYMWEXTC8
| URI | m2://inv/DSYMWEXTC8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19273#Z52B (definition). In T3BY4TXYT4/e1, definition 1.3
History
- 2026-10-28: add by m2/v0.4.2
DSYWNAE0AF DSYWNAE0AF
| URI | m2://inv/DSYWNAE0AF |
|---|---|
| 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.18803#YZJ2 (statement). In VG8AF124T3/e1, lemma 8.5
History
- 2026-10-28: add by m2/v0.4.2
Definition DSZ0WEVSHM
| URI | m2://inv/DSZ0WEVSHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudin–Shapiro sequence#JW12, Definition (definition)
History
- 2026-11-02: add by m2/dev
DSZ7CX27PT DSZ7CX27PT
| URI | m2://inv/DSZ7CX27PT |
|---|---|
| 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#9B98 (statement). In RYFV9HGWWZ/e1, lemma 44
History
- 2026-10-27: add by m2/v0.3.5
DSZBY5Q6PZ DSZBY5Q6PZ
| URI | m2://inv/DSZBY5Q6PZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17479#KD17 (statement). In 4FWAY748N7/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
Kerov DSZBY8WVSQ
| URI | m2://inv/DSZBY8WVSQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#I0J9, Kerov (definition). In 9S7HGSEX6Q/e1, definition 3.8
History
- 2026-10-28: add by m2/v0.4.2
One-step bounds for CaCuSESOP DSZHEPCVV1
| URI | m2://inv/DSZHEPCVV1 |
|---|---|
| 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.06557#VLBF, One-step bounds for CaCuSESOP (statement). In VV5CH6Y31D/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
DSZQXEBZ5F DSZQXEBZ5F
| URI | m2://inv/DSZQXEBZ5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13260#QHCN (statement). In ZBQX9341RV/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
DSZS2KY1BA DSZS2KY1BA
| URI | m2://inv/DSZS2KY1BA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13076#SFKY (statement). In K7GJA4WGV7/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Generalizations DSZTH949HM
| URI | m2://inv/DSZTH949HM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinant#44AW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Bruce Schneier DSZZ139STA
| URI | m2://inv/DSZZ139STA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#UUD6, Bruce Schneier (topic)
History
- 2026-11-02: add by m2/dev