Inventory rows DW
The cards of the rows of the inventory whose ids start with DW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Definition DW07KC0DMT
| URI | m2://inv/DW07KC0DMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mertens conjecture#6YPX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Powerset construction DW09G4ZEN4
| URI | m2://inv/DW09G4ZEN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#N7BS, Powerset construction (definition)
History
- 2026-11-02: add by m2/dev
DW09Z4M2S0 DW09Z4M2S0
| URI | m2://inv/DW09Z4M2S0 |
|---|---|
| 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 2610.12736#HZZJ (definition). In 5350Q52F6P/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.2
DW0EVPDH8M DW0EVPDH8M
| URI | m2://inv/DW0EVPDH8M |
|---|---|
| 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 2403.01959#UCY1 (statement). In 5YMNGJRC6Y/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.3.5
DW0G79BPR6 DW0G79BPR6
| URI | m2://inv/DW0G79BPR6 |
|---|---|
| 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.05056#7BRM (definition). In 4PF04DW3YP/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.12
DW0GJYC887 DW0GJYC887
| URI | m2://inv/DW0GJYC887 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-33 (exercise). In VNMV985MXX, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Definition and example DW0JDJQ6Q8
| URI | m2://inv/DW0JDJQ6Q8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong product of graphs#DPMG, Definition and example (definition)
History
- 2026-11-02: add by m2/dev
Example DW0S65SRYR
| URI | m2://inv/DW0S65SRYR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial design#GQBC, Example (example)
History
- 2026-11-02: add by m2/dev
Definition DW160A2XDX
| URI | m2://inv/DW160A2XDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exalcomm#WTY8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples DW1DJTDA5E
| URI | m2://inv/DW1DJTDA5E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semantic domain#BH0Y, Examples (example)
History
- 2026-11-02: add by m2/dev
Cameron Gordon DW1NQJZD4Y
| URI | m2://inv/DW1NQJZD4Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cameron Gordon (mathematician), Cameron Gordon (topic). Also Wikidata Q5026253
History
- 2026-11-02: add by m2/dev
DW1PHD8H4S DW1PHD8H4S
| URI | m2://inv/DW1PHD8H4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33584#SVPQ (statement). In 3HFBAWQCA1/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
Nolan Wallach DW1WTAFCJY
| URI | m2://inv/DW1WTAFCJY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ITVU, Nolan Wallach (unknown)
History
- 2026-11-02: add by m2/dev
Outline of algebra DW1XQWFRTN
| URI | m2://inv/DW1XQWFRTN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#RSKD, Outline of algebra (topic)
History
- 2026-11-02: add by m2/dev
Manin obstruction DW2C7NZN4V
| URI | m2://inv/DW2C7NZN4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manin obstruction, Manin obstruction (definition). Also Wikidata Q6749775
History
- 2026-11-02: add by m2/dev
Closed sets are complements of open sets DW2D215YXH
| URI | m2://inv/DW2D215YXH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#theorem-1, Closed sets are complements of open sets (statement). In RZP28ERRZV, theorem, section 100.7
History
- 2026-11-01: add by m2/v0.6.13
DW2HG6MKWS DW2HG6MKWS
| URI | m2://inv/DW2HG6MKWS |
|---|---|
| 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#GSJB (statement). In N380GY9A9N/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
DW2W9FZTTV DW2W9FZTTV
| URI | m2://inv/DW2W9FZTTV |
|---|---|
| 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.02790#MBEH (statement). In NB7HZ8W2K2/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.12
Derived group DW2Y720XHR
| URI | m2://inv/DW2Y720XHR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#MA38, Derived group (definition)
History
- 2026-11-02: add by m2/dev
Monotonicity of support DW3508ZK6S
| URI | m2://inv/DW3508ZK6S |
|---|---|
| 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.20609#2GAL, Monotonicity of support (statement)
History
- 2026-11-02: add by m2/v0.6.18
DW38BXJTVK DW38BXJTVK
| URI | m2://inv/DW38BXJTVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#TJPA (statement). In 8SXY7Y68HV/e1, theorem 6.11
History
- 2026-10-28: add by m2/v0.4.2
Formal definition DW3GZP8YR0
| URI | m2://inv/DW3GZP8YR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial correlation#9HK6, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
DW40QN1EQZ DW40QN1EQZ
| URI | m2://inv/DW40QN1EQZ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#T4UD (unknown). In 4YJH4FPWDA/e1, unknown 2.6
History
- 2026-10-30: add by m2/v0.4.12
Hamiltonian cycle DW461WJYS8
| URI | m2://inv/DW461WJYS8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Hamiltonian cycle 0HF30P75G4 |
Mentions
- wikidata: Wikidata Q9197353, Hamiltonian cycle (unknown). Also EoM Hamiltonian_tour, MathWorld HamiltonianCycle
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
lateralized DW4N0AJ9CX
| URI | m2://inv/DW4N0AJ9CX |
|---|---|
| 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#P358, lateralized (unknown)
History
- 2026-11-02: add by m2/dev
Analyticity and classical entire fibers DW4VCQ5SA1
| URI | m2://inv/DW4VCQ5SA1 |
|---|---|
| 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.05652#EB1T, Analyticity and classical entire fibers (statement). In 8BNPFYQDQX/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Kan complex DW4VWKRSBV
| URI | m2://inv/DW4VWKRSBV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/kan-complex, Kan complex (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
Solid Isotropic Material with Penalisation DW5440JV5A
| URI | m2://inv/DW5440JV5A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topology optimization#AMGH, Solid Isotropic Material with Penalisation (unknown)
History
- 2026-11-02: add by m2/dev
DW56DWNEAQ DW56DWNEAQ
| URI | m2://inv/DW56DWNEAQ |
|---|---|
| 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.35421#XV72 (statement). In KE8B8KMDJJ/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Encoding law DW58XCZW1M
| URI | m2://inv/DW58XCZW1M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#CTCS, Encoding law (unknown)
History
- 2026-11-02: add by m2/dev
Enigma rotor details DW594N42Q1
| URI | m2://inv/DW594N42Q1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enigma rotor details, Enigma rotor details (definition). Also Wikidata Q326785
History
- 2026-11-02: add by m2/dev
DW5PEMF2S7 DW5PEMF2S7
| URI | m2://inv/DW5PEMF2S7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06066#HK1Z (statement). In V2YFQ5RF6V/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
DW61DC31DP DW61DC31DP
| URI | m2://inv/DW61DC31DP |
|---|---|
| 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#5Y5H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Leslie Valiant DW66VBENNT
| URI | m2://inv/DW66VBENNT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2CWD, Leslie Valiant (unknown)
History
- 2026-11-02: add by m2/dev
DW69C5ATTN DW69C5ATTN
| URI | m2://inv/DW69C5ATTN |
|---|---|
| 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.19461#Q3CC (statement). In D5X5P2QD6A/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Easy DW6HS3Y379
| URI | m2://inv/DW6HS3Y379 |
|---|---|
| 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-11, Easy (exercise). In E59CDZA4DP, exercise, section 11.1.5
History
- 2026-11-01: add by m2/v0.6.13
DW6P5AZXND DW6P5AZXND
| URI | m2://inv/DW6P5AZXND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2610.05421#4YYE (statement). In 4R1MMSAAVK/e1, corollary 2.2
History
- 2026-10-29: add by m2/v0.4.10
DW6SVYKW1B DW6SVYKW1B
| URI | m2://inv/DW6SVYKW1B |
|---|---|
| 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 2002.01498#7JBI (statement). In 2H7TQ695XW/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
DW6WVAH7Q8 DW6WVAH7Q8
| URI | m2://inv/DW6WVAH7Q8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-5 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Prawitz's theorem DW6XSFHJ8T
| URI | m2://inv/DW6XSFHJ8T |
|---|---|
| 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#IQLR, Prawitz's theorem (statement). In 23G8VNDWDM/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.2
DW750RSPYS DW750RSPYS
| URI | m2://inv/DW750RSPYS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/constructions.tex#example-8 (example). In RZP28ERRZV, example, section 96.6.3
History
- 2026-11-01: add by m2/v0.6.13
DW7578PPPH DW7578PPPH
| URI | m2://inv/DW7578PPPH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13875#AYJ4 (statement). In W6FK624JRQ/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
ultrafilter DW76N4A9G9
| URI | m2://inv/DW76N4A9G9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#8MOI, ultrafilter (definition)
History
- 2026-11-02: add by m2/dev
Applications DW79GAK9WZ
| URI | m2://inv/DW79GAK9WZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oblivious pseudorandom function#XLU4, Applications (example)
History
- 2026-11-02: add by m2/dev
Classification of the $2$-homogeneous groups DW7CR3WXEA
| URI | m2://inv/DW7CR3WXEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#A3YB, Classification of the $2$-homogeneous groups (statement). In 9NVKKW8HDH/e1, lemma 2.109
History
- 2026-10-28: add by m2/v0.4.2
DW7DY6JA2S DW7DY6JA2S
| URI | m2://inv/DW7DY6JA2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.06637#9XVM (statement). In KFCJ5CFP3G/e1, theorem 1.10
History
- 2026-10-27: add by m2/v0.3.5
Theorem DW7DZ4EW3E
| URI | m2://inv/DW7DZ4EW3E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kripke–Platek set theory#8P7H, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalized Riemann hypothesis (GRH) DW7KAZBVKY
| URI | m2://inv/DW7KAZBVKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Riemann hypothesis#QT7X, Generalized Riemann hypothesis (GRH) (statement)
History
- 2026-11-02: add by m2/dev
DW7MFKM3K4 DW7MFKM3K4
| URI | m2://inv/DW7MFKM3K4 |
|---|---|
| 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.18324#RUMQ (statement). In C0EG2EY0M4/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
DW7VKMWZ62 DW7VKMWZ62
| URI | m2://inv/DW7VKMWZ62 |
|---|---|
| Kind | definition |
| 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.38118#00FE (definition). In K4KKTYYKKH/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Philo the Dialectician DW80PM28HA
| URI | m2://inv/DW80PM28HA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#IXIQ, Philo the Dialectician (topic)
History
- 2026-11-02: add by m2/dev
Sun Zhiwei DW856527W0
| URI | m2://inv/DW856527W0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7J53, Sun Zhiwei (unknown)
History
- 2026-11-02: add by m2/dev
The probability monad DW876NBRAG
| URI | m2://inv/DW876NBRAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.26270#NYYH, The probability monad (statement)
History
- 2026-11-01: add by m2/v0.6.15
Harada–Norton group DW88ABYFMY
| URI | m2://inv/DW88ABYFMY |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3117684, Harada–Norton group (unknown). Also MathWorld Harada-NortonGroup
- wikipedia: Wikipedia Harada–Norton group, Harada–Norton group (object). Also Wikidata Q3117684
History
- 2026-10-26: add by m2/dev
DW88Q963XG DW88Q963XG
| URI | m2://inv/DW88Q963XG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#8KE4 (statement). In KH1H3TSWPS/e1, corollary 2.11
History
- 2026-10-27: add by m2/v0.3.6
Namibia Statistics Agency DW89Q5C82S
| URI | m2://inv/DW89Q5C82S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Namibia Statistics Agency, Namibia Statistics Agency (definition). Also Wikidata Q1964290
History
- 2026-11-02: add by m2/dev
undetermined coefficients, for second-order systems DW8A1KG54D
| URI | m2://inv/DW8A1KG54D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.9.3/undetermined-coefficients-for-second-order-systems, undetermined coefficients, for second-order systems (concept). In E9HS8K3A52, index, section 10.9.3
History
- 2026-11-01: add by m2/v0.6.13
DW8GFD830C DW8GFD830C
| URI | m2://inv/DW8GFD830C |
|---|---|
| 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.37313#DOYU (statement). In Z1F6SXQ6XW/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Rate equation DW8K8BP85D
| URI | m2://inv/DW8K8BP85D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate equation, Rate equation (definition). Also Wikidata Q904041
History
- 2026-11-02: add by m2/dev
DW8N0RKM90 DW8N0RKM90
| URI | m2://inv/DW8N0RKM90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22708#72UY (statement)
History
- 2026-11-02: add by m2/v0.6.17
DW8QJ2BEHN DW8QJ2BEHN
| URI | m2://inv/DW8QJ2BEHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15402#6NSS (statement). In WSE8SEHVXG/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
DW8RBM1QMP DW8RBM1QMP
| URI | m2://inv/DW8RBM1QMP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39745#Q2UF (example). In V276PQS61M/e1, example 4.1
History
- 2026-10-30: add by m2/v0.4.12
DW94HD3NDF DW94HD3NDF
| URI | m2://inv/DW94HD3NDF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#6P8B (statement). In VTVC0TCWSB/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Bohuslav Hostinský DW96CJ2P1C
| URI | m2://inv/DW96CJ2P1C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bohuslav Hostinský, Bohuslav Hostinský (topic). Also Wikidata Q11220590
History
- 2026-11-02: add by m2/dev
Accelerating change DW9K2NNMXJ
| URI | m2://inv/DW9K2NNMXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#DXPP, Accelerating change (unknown)
History
- 2026-11-02: add by m2/dev
Plug-in estimator DW9QZHTEQZ
| URI | m2://inv/DW9QZHTEQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21363#WLNF, Plug-in estimator (statement). In YPH7NS5AAQ/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.2
DWA4GRZ4ET DWA4GRZ4ET
| URI | m2://inv/DWA4GRZ4ET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1802.02910#MS3Z (statement). In AY2MA29921/e1, proposition 03
History
- 2026-10-27: add by m2/v0.3.5
Luis Álvarez-Gaumé DWA7811A58
| URI | m2://inv/DWA7811A58 |
|---|---|
| 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 Q1876558, Luis Álvarez-Gaumé (unknown). Also nLab Luis Alvarez-Gaumé
History
- 2026-10-26: add by m2/dev
DWA9CNQJC7 DWA9CNQJC7
| URI | m2://inv/DWA9CNQJC7 |
|---|---|
| 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.11056#DB3Q (statement). In 1NDB3SAG7K/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
Properties DWA9J0WNJN
| URI | m2://inv/DWA9J0WNJN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exclusive or#9JPX, Properties (statement)
History
- 2026-11-02: add by m2/dev
DWAAM61MPT DWAAM61MPT
| URI | m2://inv/DWAAM61MPT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/rank.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 74.4
History
- 2026-11-01: add by m2/v0.6.13
DWAF58EZ0T DWAF58EZ0T
| URI | m2://inv/DWAF58EZ0T |
|---|---|
| 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#DJ9E (statement). In E7W2HDNEKJ/e1, lemma 8.4
History
- 2026-10-30: add by m2/v0.4.12
George Edward Hughes DWAHNGP8XT
| URI | m2://inv/DWAHNGP8XT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Edward Hughes, George Edward Hughes (topic). Also Wikidata Q1507286
History
- 2026-11-02: add by m2/dev
David Mayne DWATQGGVTC
| URI | m2://inv/DWATQGGVTC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Mayne, David Mayne (topic). Also Wikidata Q5237257
History
- 2026-11-02: add by m2/dev
DWAVA7B3H4 DWAVA7B3H4
| URI | m2://inv/DWAVA7B3H4 |
|---|---|
| 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#2EAC (statement). In 5AB8YPS19N/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Lisl Gaal DWAXQ8DYWH
| URI | m2://inv/DWAXQ8DYWH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lisl Gaal, Lisl Gaal (topic). Also Wikidata Q58495449
History
- 2026-11-02: add by m2/dev
Barban–Davenport–Halberstam theorem DWAZQCSRJC
| URI | m2://inv/DWAZQCSRJC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#KYYZ, Barban–Davenport–Halberstam theorem (statement)
History
- 2026-11-02: add by m2/dev
DWB1W8Z2BV DWB1W8Z2BV
| URI | m2://inv/DWB1W8Z2BV |
|---|---|
| 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.20568#AF9W (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples DWB5H6MH8W
| URI | m2://inv/DWB5H6MH8W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound interest#ASFB, Examples (example)
History
- 2026-11-02: add by m2/dev
DWBB5Z5P00 DWBB5Z5P00
| URI | m2://inv/DWBB5Z5P00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#EY5O (statement). In 6NVP3YRWVA/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Selection of scales DWBPSXGFC6
| URI | m2://inv/DWBPSXGFC6 |
|---|---|
| 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 2609.21476#C5JW, Selection of scales (statement)
History
- 2026-11-02: add by m2/v0.6.18
A conditional reduction using isolated perturbations DWBRWF6QKA
| URI | m2://inv/DWBRWF6QKA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.07528#1ROI, A conditional reduction using isolated perturbations (statement). In WVX0T502A1/e1, proposition 5.9
History
- 2026-10-29: add by m2/v0.4.10
Existential generalization DWBV9S1WYK
| URI | m2://inv/DWBV9S1WYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Existential generalization, Existential generalization (definition). Also Wikidata Q5420356
History
- 2026-11-02: add by m2/dev
Racah polynomials DWBVB310GX
| URI | m2://inv/DWBVB310GX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Racah polynomials P6JYNDX5DR |
Mentions
- wikidata: Wikidata Q3907354, Racah polynomials (unknown). Also MathWorld RacahPolynomial
- wikipedia: Wikipedia Racah polynomials, Racah polynomials (definition). Also Wikidata Q3907354
History
- 2026-10-26: add by m2/dev
DWBY0SZW6P DWBY0SZW6P
| URI | m2://inv/DWBY0SZW6P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/manifolds.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 44.1
History
- 2026-11-01: add by m2/v0.6.13
colimit, of types DWC0QCAMGE
| URI | m2://inv/DWC0QCAMGE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/colimit-of-types, colimit, of types (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
\bf Properties of the hard family DWC2HZSGCK
| URI | m2://inv/DWC2HZSGCK |
|---|---|
| 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.16295#SDSP, \bf Properties of the hard family (statement). In J1SKCVMNCB/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
DWC2QMG614 DWC2QMG614
| URI | m2://inv/DWC2QMG614 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv alg-geom/9506022#MY69 (unknown). In AQGEM4XAKD/e1, unknown 2.1
History
- 2026-10-27: add by m2/v0.3.5
Consistency DWC3G3ASX3
| URI | m2://inv/DWC3G3ASX3 |
|---|---|
| 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.12357#OO4G, Consistency (statement). In 1F26AF81XP/e1, proposition 7.6
History
- 2026-10-28: add by m2/v0.4.2
Code-talker paradox DWC6PAKKRA
| URI | m2://inv/DWC6PAKKRA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Code-talker paradox, Code-talker paradox (statement). Also Wikidata Q5139964
History
- 2026-11-02: add by m2/dev
American Time Use Survey DWC6QPHRFE
| URI | m2://inv/DWC6QPHRFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia American Time Use Survey, American Time Use Survey (definition). Also Wikidata Q28228543
History
- 2026-11-02: add by m2/dev
Interaction-free measurement DWCDBZ831V
| URI | m2://inv/DWCDBZ831V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#G8FX, Interaction-free measurement (unknown)
History
- 2026-11-02: add by m2/dev
DWCPQ1Z5CG DWCPQ1Z5CG
| URI | m2://inv/DWCPQ1Z5CG |
|---|---|
| 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.12105#5HKE (statement). In 289HM2RXT3/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.3
DWCSZT5CSQ DWCSZT5CSQ
| URI | m2://inv/DWCSZT5CSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#definition-5 (definition). In RZP28ERRZV, definition, section 66.4
History
- 2026-11-01: add by m2/v0.6.13
DWCVDZ9PS3 DWCVDZ9PS3
| URI | m2://inv/DWCVDZ9PS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38396#K757 (statement). In FGNNVKQR1Z/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Convex DWCYZKGVDC
| URI | m2://inv/DWCYZKGVDC |
|---|---|
| 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 2109.08858#7UPW, Convex (statement). In E6795TKR6R/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
DWD0V18J86 DWD0V18J86
| URI | m2://inv/DWD0V18J86 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#A12C (statement). In 6NVP3YRWVA/e1, corollary 3.14
History
- 2026-10-29: add by m2/v0.4.10
Properties DWD2JRW1HM
| URI | m2://inv/DWD2JRW1HM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean relation#2W5Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
DWD57VC9QJ DWD57VC9QJ
| URI | m2://inv/DWD57VC9QJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03517#H84W (statement). In 3CGS9GSKTQ/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
DWD81HRJGH DWD81HRJGH
| URI | m2://inv/DWD81HRJGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34013#2GA0 (statement). In 3TA3P3CWSJ/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
Jiří Rosický DWD83F1K4P
| URI | m2://inv/DWD83F1K4P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jiří Rosický (mathematician), Jiří Rosický (topic). Also Wikidata Q103165583
History
- 2026-11-02: add by m2/dev
DWD854KRW2 DWD854KRW2
| URI | m2://inv/DWD854KRW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#def:vector_space_direct_sum (definition). In RZP28ERRZV, definition, section 62.3
History
- 2026-11-01: add by m2/v0.6.13
DWD9MMTJCB DWD9MMTJCB
| URI | m2://inv/DWD9MMTJCB |
|---|---|
| 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.34311#Z07Q (statement). In YYV9SHAPCZ/e1, proposition 3.9
History
- 2026-10-30: add by m2/v0.4.12
DWDH982AA3 DWDH982AA3
| URI | m2://inv/DWDH982AA3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15643#4AF7 (statement). In 7QFBJCRPW1/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
DWDPBMS18C DWDPBMS18C
| URI | m2://inv/DWDPBMS18C |
|---|---|
| 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.09084#ZP20 (statement). In F5VT2K2QYX/e1, lemma 28
History
- 2026-10-29: add by m2/v0.4.10
Wilf–Zeilberger pair DWDTBKMH67
| URI | m2://inv/DWDTBKMH67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of hypergeometric identities#49K9, Wilf–Zeilberger pair (definition)
History
- 2026-11-02: add by m2/dev
DWDVHYT0Z0 DWDVHYT0Z0
| URI | m2://inv/DWDVHYT0Z0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#UPKA (example)
History
- 2026-11-01: add by m2/v0.6.15
Infomax DWDVNGTHZN
| URI | m2://inv/DWDVNGTHZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infomax, Infomax (definition). Also Wikidata Q6030480
History
- 2026-11-02: add by m2/dev
Examples DWEH7E20FZ
| URI | m2://inv/DWEH7E20FZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic polynomial#IFL9, Examples (example)
History
- 2026-11-02: add by m2/dev
Completeness DWEM469YNH
| URI | m2://inv/DWEM469YNH |
|---|---|
| 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 2207.11097#C89P, Completeness (statement). In 13H5BTAXHF/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.5
DWEMAN1FJV DWEMAN1FJV
| URI | m2://inv/DWEMAN1FJV |
|---|---|
| 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.29943#XXOM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Time Stamping Authority DWET14A22M
| URI | m2://inv/DWET14A22M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trusted timestamping#30TF, Time Stamping Authority (unknown)
History
- 2026-11-02: add by m2/dev
DWEXCJY2J3 DWEXCJY2J3
| URI | m2://inv/DWEXCJY2J3 |
|---|---|
| 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#3TZY (definition). In M0SQY5EZN5/e1, definition 4.4.2
History
- 2026-10-27: add by m2/v0.3.5
Applications DWEY6Q04AN
| URI | m2://inv/DWEY6Q04AN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subnet (mathematics)#9LD8, Applications (example)
History
- 2026-11-02: add by m2/dev
DWEZ36ATHJ DWEZ36ATHJ
| URI | m2://inv/DWEZ36ATHJ |
|---|---|
| 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 2301.02848#DV9Z (statement). In G6WQDW52TJ/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.6
Brun--Devetak--Hsieh DWF0XQQAG0
| URI | m2://inv/DWF0XQQAG0 |
|---|---|
| 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.02392#1KO7, Brun--Devetak--Hsieh (statement). In W066HQZQBF/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
DWF2WF1C0M DWF2WF1C0M
| URI | m2://inv/DWF2WF1C0M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-52 (exercise). In E9HS8K3A52, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Mellin-compatible transition DWFG0FRMAM
| URI | m2://inv/DWFG0FRMAM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#HA6Q, Mellin-compatible transition (definition). In HF7YNMW39N/e1, definition 14.1
History
- 2026-10-27: add by m2/v0.4.0
DWFG594J63 DWFG594J63
| URI | m2://inv/DWFG594J63 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-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.24545#EOLD (definition)
History
- 2026-11-01: add by m2/v0.6.15
Example DWFQR58P0S
| URI | m2://inv/DWFQR58P0S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear programming relaxation#5VUK, Example (example)
History
- 2026-11-02: add by m2/dev
DWFTKBCNR2 DWFTKBCNR2
| URI | m2://inv/DWFTKBCNR2 |
|---|---|
| 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.18335#VR5Z (statement). In XKN1C8Y9SD/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
DWGA08DQ7R DWGA08DQ7R
| URI | m2://inv/DWGA08DQ7R |
|---|---|
| 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 2509.21121#0R3O (statement). In MTDABJF9AP/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
Magic hypercube DWGB8EC35V
| URI | m2://inv/DWGB8EC35V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#W9WA, Magic hypercube (definition)
History
- 2026-11-02: add by m2/dev
DWGF16WAHC DWGF16WAHC
| URI | m2://inv/DWGF16WAHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20469#9NI6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Information bottleneck method DWGJZAK16T
| URI | m2://inv/DWGJZAK16T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information bottleneck method, Information bottleneck method (definition). Also Wikidata Q6031013
History
- 2026-11-02: add by m2/dev
DWGM6EV1MT DWGM6EV1MT
| URI | m2://inv/DWGM6EV1MT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#CJXB (example)
History
- 2026-11-01: add by m2/v0.6.15
Cone of curves DWGN8DWD1F
| URI | m2://inv/DWGN8DWD1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone of curves, Cone of curves (definition). Also Wikidata Q5159467
History
- 2026-11-02: add by m2/dev
DWGTB167NT DWGTB167NT
| URI | m2://inv/DWGTB167NT |
|---|---|
| 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 2610.13699#7NEZ (statement). In ZSMAQ666K7/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
DWGWDXKRWY DWGWDXKRWY
| URI | m2://inv/DWGWDXKRWY |
|---|---|
| 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 2502.08738#FNXL (example). In 9GMTVSTAVN/e1, example 7
History
- 2026-10-27: add by m2/v0.3.5
DWH52CKCPJ DWH52CKCPJ
| URI | m2://inv/DWH52CKCPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30675#I420 (statement). In RQ0K0A6PQA/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Piecewise-deterministic Markov process DWH8Q83Z4V
| URI | m2://inv/DWH8Q83Z4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9AR6, Piecewise-deterministic Markov process (definition)
History
- 2026-11-02: add by m2/dev
DWH9ZTESJB DWH9ZTESJB
| URI | m2://inv/DWH9ZTESJB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/beta-reduction.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 35.2
History
- 2026-11-01: add by m2/v0.6.13
DWHTBGJPRV DWHTBGJPRV
| URI | m2://inv/DWHTBGJPRV |
|---|---|
| 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.08682#SLME (statement). In Y306A1GPM5/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
Karl Seebach DWHTJB67H7
| URI | m2://inv/DWHTJB67H7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Seebach, Karl Seebach (topic). Also Wikidata Q91655
History
- 2026-11-02: add by m2/dev
DWHW8H19W6 DWHW8H19W6
| URI | m2://inv/DWHW8H19W6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#A2M5 (statement). In 8SXY7Y68HV/e1, proposition 5.7
History
- 2026-10-28: add by m2/v0.4.2
Category of topological spaces DWHWNYHZMQ
| URI | m2://inv/DWHWNYHZMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#X62V, Category of topological spaces (definition)
History
- 2026-11-02: add by m2/dev
Dual q-Krawtchouk polynomials DWJ356YS7E
| URI | m2://inv/DWJ356YS7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual q-Krawtchouk polynomials, Dual q-Krawtchouk polynomials (definition). Also Wikidata Q5310236
History
- 2026-11-02: add by m2/dev
DWJ38KY3V8 DWJ38KY3V8
| URI | m2://inv/DWJ38KY3V8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 98.6
History
- 2026-11-01: add by m2/v0.6.13
Level of a field quantity DWJ7K1AHP4
| URI | m2://inv/DWJ7K1AHP4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Level (logarithmic quantity)#7VKL, Level of a field quantity (unknown)
History
- 2026-11-02: add by m2/dev
algebra, colimits of DWJ7KFKC4D
| URI | m2://inv/DWJ7KFKC4D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/algebra-colimits-of, algebra, colimits of (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
XYZ inequality DWJ9N7910Q
| URI | m2://inv/DWJ9N7910Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#4O8R, XYZ inequality (statement)
History
- 2026-11-02: add by m2/dev
Calibration principle DWJM2EKRW7
| URI | m2://inv/DWJM2EKRW7 |
|---|---|
| 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#Q9PA, Calibration principle (statement). In 54NQGN1BWM/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Semilinear precision DWJTR1PPVZ
| URI | m2://inv/DWJTR1PPVZ |
|---|---|
| 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.05652#5MVF, Semilinear precision (statement). In 8BNPFYQDQX/e1, theorem 17.3
History
- 2026-10-29: add by m2/v0.4.10
Basu, Debabrata DWK19D6JCD
| URI | m2://inv/DWK19D6JCD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#D6JP, Basu, Debabrata (topic)
History
- 2026-11-02: add by m2/dev
DWK1SR7P4B DWK1SR7P4B
| URI | m2://inv/DWK1SR7P4B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 92.7
History
- 2026-11-01: add by m2/v0.6.13
DWK9PBZRQW DWK9PBZRQW
| URI | m2://inv/DWK9PBZRQW |
|---|---|
| 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 2504.01057#X545 (statement). In 69QFBXJENW/e1, corollary 2.10
History
- 2026-10-27: add by m2/v0.3.5
Inverse iteration DWKG214XQT
| URI | m2://inv/DWKG214XQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#3S22, Inverse iteration (definition)
History
- 2026-11-02: add by m2/dev
Lomax distribution DWKGHHS1SR
| URI | m2://inv/DWKGHHS1SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#7NQL, Lomax distribution (definition)
History
- 2026-11-02: add by m2/dev
undetermined coefficients, for systems DWKJJ5QC28
| URI | m2://inv/DWKJJ5QC28 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.9.1/undetermined-coefficients-for-systems, undetermined coefficients, for systems (concept). In E9HS8K3A52, index, section 10.9.1
History
- 2026-11-01: add by m2/v0.6.13
DWKK9NF4VG DWKK9NF4VG
| URI | m2://inv/DWKK9NF4VG |
|---|---|
| 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.30203#8256 (definition)
History
- 2026-11-01: add by m2/v0.6.15
DWKW0JTTQQ DWKW0JTTQQ
| URI | m2://inv/DWKW0JTTQQ |
|---|---|
| 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.32077#J34U (statement). In WYXQDSQR9B/e1, proposition 3.15
History
- 2026-10-31: add by m2/v0.5.6
Tanimoto score DWM3RSVCKA
| URI | m2://inv/DWM3RSVCKA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jaccard index#YE1T, Tanimoto score (unknown)
History
- 2026-11-02: add by m2/dev
Examples DWM3XKPV6W
| URI | m2://inv/DWM3XKPV6W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suppes–Lemmon notation#JCGT, Examples (example)
History
- 2026-11-02: add by m2/dev
DWM5WCBQXF DWM5WCBQXF
| URI | m2://inv/DWM5WCBQXF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FiniteSets.tex#thm:decreaseCardinality (statement). In P1C114YBXG, theorem, section B
History
- 2026-11-01: add by m2/v0.6.13
Coversine DWM8Q0Y8MW
| URI | m2://inv/DWM8Q0Y8MW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#7WOD, Coversine (definition)
History
- 2026-11-02: add by m2/dev
DWMD3CG0W8 DWMD3CG0W8
| URI | m2://inv/DWMD3CG0W8 |
|---|---|
| Kind | statement |
| 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.19791#HD6O (statement). In AVDB4KJ6XB/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
DWMKW32F7H DWMKW32F7H
| URI | m2://inv/DWMKW32F7H |
|---|---|
| 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.31278#ALPY (statement). In KEP21CZFV9/e1, proposition #1
History
- 2026-10-31: add by m2/v0.5.6
Axioms by Glimm and Jaffe DWMKXC684B
| URI | m2://inv/DWMKXC684B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwinger function#RDHW, Axioms by Glimm and Jaffe (statement)
History
- 2026-11-02: add by m2/dev
Integral representation DWMP8RYCZV
| URI | m2://inv/DWMP8RYCZV |
|---|---|
| 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#QLK7, Integral representation (statement). In T15EJSPCNG/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Strict arithmetic terms for $p_n$ and $\pi(n)$ DWMQA78J0D
| URI | m2://inv/DWMQA78J0D |
|---|---|
| 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.13365#NC4S, Strict arithmetic terms for $p_n$ and $\pi(n)$ (statement). In YMBTSX10FF/e1, corollary 3.9
History
- 2026-10-28: add by m2/v0.4.2
DWMQWKQZ9Y DWMQWKQZ9Y
| URI | m2://inv/DWMQWKQZ9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#MB4L (statement). In WRE0P7V6Z3/e1, corollary 7.4
History
- 2026-10-30: add by m2/v0.4.12
DWMWMRGDCY DWMWMRGDCY
| URI | m2://inv/DWMWMRGDCY |
|---|---|
| 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 2411.16655#9KA1 (statement). In EJHAXRV685/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
Illusory superiority DWMYN54J89
| URI | m2://inv/DWMYN54J89 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#N9US, Illusory superiority (unknown)
History
- 2026-11-02: add by m2/dev
Computable model theory DWMZ6Q34KE
| URI | m2://inv/DWMZ6Q34KE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#QGL0, Computable model theory (topic)
History
- 2026-11-02: add by m2/dev
Structure theorem DWMZGENQ2D
| URI | m2://inv/DWMZGENQ2D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph of groups#ADEK, Structure theorem (statement)
History
- 2026-11-02: add by m2/dev
Euler–Mascheroni constant DWN2JEFVWR
| URI | m2://inv/DWN2JEFVWR |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Euler–Mascheroni constant 00C5P9JZBK |
Mentions
- wikidata: Wikidata Q273023, Euler–Mascheroni constant (object). Also MathWorld Euler-MascheroniConstant, OEIS A001620, ProofWiki Definition:Euler-Mascheroni_Constant
- wikipedia: Wikipedia Euler's constant, Euler's constant (conjecture). Also Wikidata Q273023
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
DWN9XEQJ7Y DWN9XEQJ7Y
| URI | m2://inv/DWN9XEQJ7Y |
|---|---|
| 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.20097#1427 (statement)
History
- 2026-11-02: add by m2/v0.6.18
superspace DWNBPGEXKQ
| URI | m2://inv/DWNBPGEXKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6501705, superspace (unknown). Also nLab superspace
- wikipedia: Wikipedia Superspace, Superspace (definition). Also Wikidata Q6501705
History
- 2026-10-26: add by m2/dev
Involutivity of the kernel DWNDPE8DQB
| URI | m2://inv/DWNDPE8DQB |
|---|---|
| Kind | statement |
| 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.27966#QJID, Involutivity of the kernel (statement)
History
- 2026-11-01: add by m2/v0.6.15
DWNE3200K2 DWNE3200K2
| URI | m2://inv/DWNE3200K2 |
|---|---|
| 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 0911.1417#6LV3 (statement). In BBD7TZW79R/e1, corollary 6.2
History
- 2026-10-27: add by m2/v0.3.5
Proposition DWP2B9DDA1
| URI | m2://inv/DWP2B9DDA1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Average order of an arithmetic function#6ZW7, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Weighted matroid DWP5WZECJK
| URI | m2://inv/DWP5WZECJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted matroid, Weighted matroid (definition). Also Wikidata Q7979897
History
- 2026-11-02: add by m2/dev
DWPBEGWAAF DWPBEGWAAF
| URI | m2://inv/DWPBEGWAAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.36332#FJ0D (statement). In APK7X4MFAX/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Fluctuation-dissipation theorem DWPES4DGBR
| URI | m2://inv/DWPES4DGBR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jarzynski equality#Q7XL, Fluctuation-dissipation theorem (statement)
History
- 2026-11-02: add by m2/dev
Leopoldo Nachbin DWPSSK7BBF
| URI | m2://inv/DWPSSK7BBF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#T8AZ, Leopoldo Nachbin (topic)
History
- 2026-11-02: add by m2/dev
DWQ2EJEHAA DWQ2EJEHAA
| URI | m2://inv/DWQ2EJEHAA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.05398#FDE3 (statement). In WQKQ8438M7/e1, lemma 1.5
History
- 2026-10-27: add by m2/v0.3.5
Riemann sum, left DWQGYJX3PH
| URI | m2://inv/DWQGYJX3PH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.2.3/riemann-sum-left, Riemann sum, left (concept). In 907G4C4EJ1, index, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
The criterion for arbitrary lower and upper bandwidths DWQJG74EZC
| URI | m2://inv/DWQJG74EZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#JEH1, The criterion for arbitrary lower and upper bandwidths (statement). In FDDA562VCA/e1, corollary 2.26
History
- 2026-10-29: add by m2/v0.4.10
Control event rate DWR11R63FH
| URI | m2://inv/DWR11R63FH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5OZU, Control event rate (definition)
History
- 2026-11-02: add by m2/dev
Odd degree DWR3TSW0HC
| URI | m2://inv/DWR3TSW0HC |
|---|---|
| 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.23781#9I3F, Odd degree (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pairwise independence DWR48TDZ90
| URI | m2://inv/DWR48TDZ90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UQA6, Pairwise independence (definition)
History
- 2026-11-02: add by m2/dev
Functional derivative DWR4WJ7GK5
| URI | m2://inv/DWR4WJ7GK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of variational topics#TZA1, Functional derivative (definition)
History
- 2026-11-02: add by m2/dev
DWR6B81Q9A DWR6B81Q9A
| URI | m2://inv/DWR6B81Q9A |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.00590#NDUG (proof). In D3WTQN2F7B/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
DWR8W99T11 DWR8W99T11
| URI | m2://inv/DWR8W99T11 |
|---|---|
| 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.23685#C83M (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement DWRB5QWBVJ
| URI | m2://inv/DWRB5QWBVJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AF+BG theorem#KRT6, Statement (statement)
History
- 2026-11-02: add by m2/dev
DWRE6J6KSV DWRE6J6KSV
| URI | m2://inv/DWRE6J6KSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#3983 (statement). In ZZER8ZBSCR/e1, theorem 3.13
History
- 2026-10-29: add by m2/v0.4.12
DWRKNN03JY DWRKNN03JY
| URI | m2://inv/DWRKNN03JY |
|---|---|
| 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.37425#LAIV (statement). In E02TSC01RN/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Continuity set DWRMAB6VZ0
| URI | m2://inv/DWRMAB6VZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuity set, Continuity set (definition). Also Wikidata Q5165425
History
- 2026-11-02: add by m2/dev
Normal shock tables DWRQYZ0EJK
| URI | m2://inv/DWRQYZ0EJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal shock tables, Normal shock tables (definition). Also Wikidata Q7051834
History
- 2026-11-02: add by m2/dev
DWRRCVHHEY DWRRCVHHEY
| URI | m2://inv/DWRRCVHHEY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-63 (exercise). In E59CDZA4DP, exercise, section 1.7.3
History
- 2026-11-01: add by m2/v0.6.13
DWRRXR3MJF DWRRXR3MJF
| URI | m2://inv/DWRRXR3MJF |
|---|---|
| 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.03384#42PO (definition). In J55JTTKG84/e1, definition 4.26
History
- 2026-10-29: add by m2/v0.4.12
Relation to the Riemann hypothesis DWRVQ99CFA
| URI | m2://inv/DWRVQ99CFA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindelöf hypothesis#XZ9B, Relation to the Riemann hypothesis (statement)
History
- 2026-11-02: add by m2/dev
DWRZ7M6TM9 DWRZ7M6TM9
| URI | m2://inv/DWRZ7M6TM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#convzero:prop (statement). In E59CDZA4DP, prop, section 10.2.4
History
- 2026-11-01: add by m2/v0.6.13
The domain DWS8218K7S
| URI | m2://inv/DWS8218K7S |
|---|---|
| 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.29605#D67P, The domain (statement)
History
- 2026-11-01: add by m2/v0.6.15
DWS97A23FH DWS97A23FH
| URI | m2://inv/DWS97A23FH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-1.xml#activity-3 (exercise). In 649HGZKE96, activity, section 7.1.3
History
- 2026-11-01: add by m2/v0.6.13
M. B. W. Tent DWSD3E5044
| URI | m2://inv/DWSD3E5044 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. B. W. Tent, M. B. W. Tent (topic). Also Wikidata Q16886058
History
- 2026-11-02: add by m2/dev
Maximum modulus principle DWSHBM57RT
| URI | m2://inv/DWSHBM57RT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#thm:maxprinciple, Maximum modulus principle (statement). In E59CDZA4DP, thm, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
DWSRV01AC4 DWSRV01AC4
| URI | m2://inv/DWSRV01AC4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2405.14678#586R (example). In 9ZSNSJRJ5N/e1, example 20
History
- 2026-10-27: add by m2/v0.4.2
DWSWNKSJ6C DWSWNKSJ6C
| URI | m2://inv/DWSWNKSJ6C |
|---|---|
| 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 2510.23812#F3Y8 (statement). In D8XZBXJPR5/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.5
Admissible decision rule DWT0XNBK9A
| URI | m2://inv/DWT0XNBK9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Admissible decision rule, Admissible decision rule (definition). Also Wikidata Q4683801
History
- 2026-11-02: add by m2/dev
DWT8E30822 DWT8E30822
| URI | m2://inv/DWT8E30822 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29653#9INO (statement)
History
- 2026-11-01: add by m2/v0.6.15
DWTA7VHEKA DWTA7VHEKA
| URI | m2://inv/DWTA7VHEKA |
|---|---|
| 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.15444#GDM6 (statement). In M2X9TEYRPC/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
DWTQQNWPRT DWTQQNWPRT
| URI | m2://inv/DWTQQNWPRT |
|---|---|
| Kind | example |
| 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 2207.11097#YHC1 (example). In 13H5BTAXHF/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Example DWTTS7BR3D
| URI | m2://inv/DWTTS7BR3D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector autoregression#7M8T, Example (example)
History
- 2026-11-02: add by m2/dev
Kosaraju's algorithm DWTYCJA45B
| URI | m2://inv/DWTYCJA45B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kosaraju's algorithm, Kosaraju's algorithm (definition). Also Wikidata Q2655281
History
- 2026-11-02: add by m2/dev
DWTYK1N9QC DWTYK1N9QC
| URI | m2://inv/DWTYK1N9QC |
|---|---|
| Kind | problem |
| 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.07508#F35R (problem). In TPA3E67MKK/e1, problem 10.4
History
- 2026-10-29: add by m2/v0.4.10
The standard induced structure on the totally geodesic $S^5$ DWTYX1AFFT
| URI | m2://inv/DWTYX1AFFT |
|---|---|
| Kind | example |
| 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.00078#5DXI, The standard induced structure on the totally geodesic $S^5$ (example). In KXYGWSGP9M/e1, example 3.8
History
- 2026-10-30: add by m2/v0.4.12
DWV14A80DP DWV14A80DP
| URI | m2://inv/DWV14A80DP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#HND1 (example). In J99PFFJXPE/e1, example 4.3
History
- 2026-10-27: add by m2/v0.3.6
Rational tangle DWV58TCN87
| URI | m2://inv/DWV58TCN87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#7XGE, Rational tangle (definition)
History
- 2026-11-02: add by m2/dev
DWV8QJH8RE DWV8QJH8RE
| URI | m2://inv/DWV8QJH8RE |
|---|---|
| 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 2411.16655#26XL (statement). In EJHAXRV685/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
DWVCHQ2DPF DWVCHQ2DPF
| URI | m2://inv/DWVCHQ2DPF |
|---|---|
| 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.28365#JINQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Patricia Reynaud-Bouret DWVJ7X0FZ8
| URI | m2://inv/DWVJ7X0FZ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patricia Reynaud-Bouret, Patricia Reynaud-Bouret (topic). Also Wikidata Q98767042
History
- 2026-11-02: add by m2/dev
Formulation DWVV0C35NP
| URI | m2://inv/DWVV0C35NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact quantum group#L0R8, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Wewers's cyclic-cover calculations DWVX4T9V9N
| URI | m2://inv/DWVX4T9V9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#ECMN, Wewers's cyclic-cover calculations (statement)
History
- 2026-11-02: add by m2/v0.6.18
DWW34RTQ2Y DWW34RTQ2Y
| URI | m2://inv/DWW34RTQ2Y |
|---|---|
| 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 2411.01837#OK1P (statement). In 2XBYZ1QP22/e1, theorem E
History
- 2026-10-27: add by m2/v0.3.5
DWW4NX56FQ DWW4NX56FQ
| URI | m2://inv/DWW4NX56FQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39274#NQJL (statement). In HVC7RVEM6V/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
DWWD6G6MJ3 DWWD6G6MJ3
| URI | m2://inv/DWWD6G6MJ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#example-9 (example). In RZP28ERRZV, example, section 62.6.2
History
- 2026-11-01: add by m2/v0.6.13
Taiwan DWWKAN7BB6
| URI | m2://inv/DWWKAN7BB6 |
|---|---|
| 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 Q865, Taiwan (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Taiwan
History
- 2026-10-26: add by m2/dev
Von Neumann–Morgenstern utility theorem DWWKQH0XQJ
| URI | m2://inv/DWWKQH0XQJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Morgenstern utility theorem, Von Neumann–Morgenstern utility theorem (statement). Also Wikidata Q4358367
History
- 2026-11-02: add by m2/dev
DWWKVP2FT9 DWWKVP2FT9
| URI | m2://inv/DWWKVP2FT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21489#8NPG (statement). In R0Q0RV8XCF/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.4.2
Cox–Zucker machine DWWSPG1Y0V
| URI | m2://inv/DWWSPG1Y0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cox–Zucker machine, Cox–Zucker machine (definition). Also Wikidata Q228693
History
- 2026-11-02: add by m2/dev
State space DWWT2JDFZS
| URI | m2://inv/DWWT2JDFZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State space (computer science), State space (definition). Also Wikidata Q230930
History
- 2026-11-02: add by m2/dev
Random-reshuffling row-wise normalized SGDM margin convergence DWWTMEWSK7
| URI | m2://inv/DWWTMEWSK7 |
|---|---|
| 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.11309#7D7S, Random-reshuffling row-wise normalized SGDM margin convergence (statement). In TTEAQA1XXR/e1, proposition B.15
History
- 2026-10-28: add by m2/v0.4.3
equivalence, as contractible function DWWWB1302M
| URI | m2://inv/DWWWB1302M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.4/equivalence-as-contractible-function, equivalence, as contractible function (concept). In N54F33XE07, index, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Pooling design DWX8RZMS5B
| URI | m2://inv/DWX8RZMS5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6A16, Pooling design (definition)
History
- 2026-11-02: add by m2/dev
DWXDANKY84 DWXDANKY84
| URI | m2://inv/DWXDANKY84 |
|---|---|
| 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.11336#DNG5 (statement). In X1R1GDAJ0Y/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.3
Update interval DWXDVJ0956
| URI | m2://inv/DWXDVJ0956 |
|---|---|
| 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.10393#TXR3, Update interval (statement). In ZGS97E3PB7/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
bishop DWXGDVVN8E
| URI | m2://inv/DWXGDVVN8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q134, bishop (definition). Also ProofWiki Definition:Chess/Piece/Bishop
History
- 2026-10-26: add by m2/dev
DWXJABT68K DWXJABT68K
| URI | m2://inv/DWXJABT68K |
|---|---|
| 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.21715#TL02 (statement). In QW0SV5D6MQ/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
DWXJQQMTGK DWXJQQMTGK
| URI | m2://inv/DWXJQQMTGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38556#P9B4 (statement). In GC2H0HS7ZM/e1, theorem 6.9
History
- 2026-10-30: add by m2/v0.4.12
Bernoulli to Poisson DWXT374X8K
| URI | m2://inv/DWXT374X8K |
|---|---|
| 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.38228#04ID, Bernoulli to Poisson (statement). In 9YAE8FNQST/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
DWXTXAMZWF DWXTXAMZWF
| URI | m2://inv/DWXTXAMZWF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-28 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Orbit DWXWRYCC7J
| URI | m2://inv/DWXWRYCC7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbit (dynamics), Orbit (definition). Also Wikidata Q3884964
History
- 2026-11-02: add by m2/dev
Ottavio Scarlattini DWXX9YKWKR
| URI | m2://inv/DWXX9YKWKR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ottavio Scarlattini, Ottavio Scarlattini (topic). Also Wikidata Q20659036
History
- 2026-11-02: add by m2/dev
Long-time Strichartz estimate DWY1P7Y80K
| URI | m2://inv/DWY1P7Y80K |
|---|---|
| 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.15460#IPQ3, Long-time Strichartz estimate (statement). In T2Z3D2VQ9B/e1, theorem 5.7
History
- 2026-10-28: add by m2/v0.4.2
The Lefschetz–Hopf theorem DWY2KC38TN
| URI | m2://inv/DWY2KC38TN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point index#UPP1, The Lefschetz–Hopf theorem (statement)
History
- 2026-11-02: add by m2/dev
Stability with a common initial point DWY8NDE2N4
| URI | m2://inv/DWY8NDE2N4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.17909#1BHE, Stability with a common initial point (statement). In YXZX6Z8S6A/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
DWY9DHGT9C DWY9DHGT9C
| URI | m2://inv/DWY9DHGT9C |
|---|---|
| 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 2204.13401#UNV8 (definition). In B8MJT0GGW8/e1, definition 3.23
History
- 2026-10-27: add by m2/v0.4.0
Regression fallacy DWYEWNTPTH
| URI | m2://inv/DWYEWNTPTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JYW2, Regression fallacy (definition)
History
- 2026-11-02: add by m2/dev
DWYNTF5K95 DWYNTF5K95
| URI | m2://inv/DWYNTF5K95 |
|---|---|
| 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.13105#M2QC (statement). In 5ACPY6CEDV/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
Applications DWYVBHYZHC
| URI | m2://inv/DWYVBHYZHC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized normal distribution#8DMW, Applications (example)
History
- 2026-11-02: add by m2/dev
Generalizations DWZ2DAJVKY
| URI | m2://inv/DWZ2DAJVKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extraspecial group#0RU5, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Response rate (survey) DWZ5WY6Y4X
| URI | m2://inv/DWZ5WY6Y4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CTEN, Response rate (survey) (definition)
History
- 2026-11-02: add by m2/dev
Two-point function DWZ96SZFWP
| URI | m2://inv/DWZ96SZFWP |
|---|---|
| Kind | definition |
| 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.29671#U1T2, Two-point function (definition)
History
- 2026-11-01: add by m2/v0.6.15
Formulations DWZ9C41E86
| URI | m2://inv/DWZ9C41E86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hockey-stick identity#JVN4, Formulations (definition)
History
- 2026-11-02: add by m2/dev
Jong Hae Keum DWZF9QREQ5
| URI | m2://inv/DWZF9QREQ5 |
|---|---|
| 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#CH6V, Jong Hae Keum (unknown)
History
- 2026-11-02: add by m2/dev
Bridgefy DWZG7W7S18
| URI | m2://inv/DWZG7W7S18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bridgefy, Bridgefy (definition). Also Wikidata Q67144468
History
- 2026-11-02: add by m2/dev
topos DWZKDFXEVF
| URI | m2://inv/DWZKDFXEVF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.11/topos, topos (concept). In N54F33XE07, index, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
DWZREMQR7E DWZREMQR7E
| URI | m2://inv/DWZREMQR7E |
|---|---|
| Kind | definition |
| 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.26600#PTFF (definition)
History
- 2026-11-01: add by m2/v0.6.15