Inventory rows 8W
The cards of the rows of the inventory whose ids start with 8W. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Proposition 8W00F7MXG8
| URI | m2://inv/8W00F7MXG8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Image (category theory)#9SR5, Proposition (statement)
History
- 2026-11-02: add by m2/dev
8W0BBQ5NSA 8W0BBQ5NSA
| URI | m2://inv/8W0BBQ5NSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.01860#LZ6D (statement). In 8HYS0MFE25/e1, corollary 4.7
History
- 2026-10-27: add by m2/v0.3.5
8W0JH8FHYB 8W0JH8FHYB
| URI | m2://inv/8W0JH8FHYB |
|---|---|
| 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 math/9807180#O6KV (definition). In VR3766BVE5/e1, definition 2.15
History
- 2026-10-27: add by m2/v0.3.5
Quillen-Venkov 8W0RZ6FRVA
| URI | m2://inv/8W0RZ6FRVA |
|---|---|
| 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.19251#DN7H, Quillen-Venkov (statement). In CSW6NG0FRN/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
Elwin Bruno Christoffel 8W0WK5CRZX
| URI | m2://inv/8W0WK5CRZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#40D6, Elwin Bruno Christoffel (unknown)
History
- 2026-11-02: add by m2/dev
Compound of five truncated cubes 8W164D3D20
| URI | m2://inv/8W164D3D20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of five truncated cubes, Compound of five truncated cubes (definition). Also Wikidata Q5156866
History
- 2026-11-02: add by m2/dev
8W1BKVGX23 8W1BKVGX23
| URI | m2://inv/8W1BKVGX23 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03688#S9DV (example). In HMWJQY9NAP/e1, example 4
History
- 2026-10-29: add by m2/v0.4.12
8W1D8REXG3 8W1D8REXG3
| URI | m2://inv/8W1D8REXG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19590#5OM2 (statement). In AZFARX0CXG/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
Linear Operators 8W1K8WZY86
| URI | m2://inv/8W1K8WZY86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear Operators (book), Linear Operators (definition). Also Wikidata Q127514399
History
- 2026-11-02: add by m2/dev
8W1XFQRTMC 8W1XFQRTMC
| URI | m2://inv/8W1XFQRTMC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#AW10 (definition). In GXHKRV5BPY/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
causal perturbation theory 8W2007B3N5
| URI | m2://inv/8W2007B3N5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1389471, causal perturbation theory (unknown). Also nLab causal perturbation theory
History
- 2026-10-26: add by m2/dev
Asymmetric norm 8W22EA4PWH
| URI | m2://inv/8W22EA4PWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymmetric norm, Asymmetric norm (definition). Also Wikidata Q4812080
History
- 2026-11-02: add by m2/dev
8W239XQKB6 8W239XQKB6
| URI | m2://inv/8W239XQKB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#UJZY (statement). In XGPZ0G9E1Q/e1, proposition 7.10
History
- 2026-10-29: add by m2/v0.4.12
Mixed Poisson process 8W2BPMKR3Z
| URI | m2://inv/8W2BPMKR3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed Poisson process, Mixed Poisson process (definition). Also Wikidata Q55648392
History
- 2026-11-02: add by m2/dev
Examples 8W2GYEETE3
| URI | m2://inv/8W2GYEETE3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk measure#M4RI, Examples (example)
History
- 2026-11-02: add by m2/dev
Cohesive zone model 8W2KMQP428
| URI | m2://inv/8W2KMQP428 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohesive zone model, Cohesive zone model (definition). Also Wikidata Q17007169
History
- 2026-11-02: add by m2/dev
8W2XP7AWEK 8W2XP7AWEK
| URI | m2://inv/8W2XP7AWEK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#KR43 (definition). In CY1FE8W1ZW/e1, definition 0.89
History
- 2026-10-27: add by m2/v0.3.5
8W311XSGTP 8W311XSGTP
| URI | m2://inv/8W311XSGTP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-26 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
8W34709WSV 8W34709WSV
| URI | m2://inv/8W34709WSV |
|---|---|
| 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.04673#F9VN (statement). In KKC0CT44FJ/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
John Montroll 8W38ENBMN0
| URI | m2://inv/8W38ENBMN0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Montroll, John Montroll (topic). Also Wikidata Q4302153
History
- 2026-11-02: add by m2/dev
square number 8W3A3Q5SKX
| URI | m2://inv/8W3A3Q5SKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q50705, square number (unknown). Also MathWorld SquareNumber, OEIS A000290
- wikipedia: Wikipedia Square number, Square number (definition). Also Wikidata Q50705
History
- 2026-10-26: add by m2/dev
8W3BABCD9D 8W3BABCD9D
| URI | m2://inv/8W3BABCD9D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-5.xml#activity-2 (exercise). In 649HGZKE96, activity, section 3.5.3
History
- 2026-11-01: add by m2/v0.6.13
8W3MQSFVQA 8W3MQSFVQA
| URI | m2://inv/8W3MQSFVQA |
|---|---|
| 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.16554#HFZB (statement). In GWNT8HEZG1/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.6
Local Gaussian rejection limit 8W3MR6YPRZ
| URI | m2://inv/8W3MR6YPRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21301#CIW8, Local Gaussian rejection limit (statement). In W7GCDXAK1K/e1, proposition 10
History
- 2026-10-27: add by m2/v0.4.2
8W3PR4H9JJ 8W3PR4H9JJ
| URI | m2://inv/8W3PR4H9JJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23424#CCJZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties 8W3R7F9TST
| URI | m2://inv/8W3R7F9TST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev polynomials#2W5X, Properties (statement)
History
- 2026-11-02: add by m2/dev
8W3X5Q842R 8W3X5Q842R
| URI | m2://inv/8W3X5Q842R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#lemma-2 (statement). In VNMV985MXX, lemma, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Private measure on a metric space 8W3Z06JGQ5
| URI | m2://inv/8W3Z06JGQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.09167#LCB4, Private measure on a metric space (statement). In S1MENYEAG5/e1, theorem 7.2
History
- 2026-10-27: add by m2/v0.3.5
8W4087DZJQ 8W4087DZJQ
| URI | m2://inv/8W4087DZJQ |
|---|---|
| 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 2610.09594#JR0A (definition). In TVE5WK2MH8/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
8W41N2E3B9 8W41N2E3B9
| URI | m2://inv/8W41N2E3B9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#BVSK (statement). In GXHKRV5BPY/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
8W42WX28G7 8W42WX28G7
| URI | m2://inv/8W42WX28G7 |
|---|---|
| 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.06463#LJ9F (example). In 3WWY9K1K9V/e1, example 2
History
- 2026-10-29: add by m2/v0.4.10
8W4AQ658JP 8W4AQ658JP
| URI | m2://inv/8W4AQ658JP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16069#4JGT (statement). In MBJA03ES8N/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
8W4BRKQYFJ 8W4BRKQYFJ
| URI | m2://inv/8W4BRKQYFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29111#QFB1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8W4HTVQC72 8W4HTVQC72
| URI | m2://inv/8W4HTVQC72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#J4Y5 (statement). In BF0RYHPMS1/e1, proposition 2.7
History
- 2026-10-30: add by m2/v0.4.12
Arnold's cat map 8W4M4WV3ZV
| URI | m2://inv/8W4M4WV3ZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#UDB2, Arnold's cat map (definition)
History
- 2026-11-02: add by m2/dev
8W4SA1856X 8W4SA1856X
| URI | m2://inv/8W4SA1856X |
|---|---|
| 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.20740#KMJA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sufficient box inequalities 8W511B6VDV
| URI | m2://inv/8W511B6VDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#1N8P, Sufficient box inequalities (statement)
History
- 2026-11-01: add by m2/v0.6.15
8W592CNKQ4 8W592CNKQ4
| URI | m2://inv/8W592CNKQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16580#SUD5 (statement). In MQPBZX4DR6/e1, proposition 5.7
History
- 2026-10-28: add by m2/v0.4.2
8W5GANFJ5Q 8W5GANFJ5Q
| URI | m2://inv/8W5GANFJ5Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14446#XSF1 (statement). In AWRXXZR673/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Anthony W. Knapp 8W5HVGABP6
| URI | m2://inv/8W5HVGABP6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anthony W. Knapp, Anthony W. Knapp (topic). Also Wikidata Q573490
History
- 2026-11-02: add by m2/dev
Hilbert's lemma 8W5MGG7TQE
| URI | m2://inv/8W5MGG7TQE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's lemma, Hilbert's lemma (statement). Also Wikidata Q5761152
History
- 2026-11-02: add by m2/dev
Baker's map 8W5SCKN4YT
| URI | m2://inv/8W5SCKN4YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Baker's map 12V4MHVV0N |
Mentions
- wikidata: Wikidata Q1018917, Baker's map (unknown). Also MathWorld BakersMap
- wikipedia: Wikipedia Baker's map, Baker's map (definition). Also Wikidata Q1018917
History
- 2026-10-26: add by m2/dev
Homotopy sphere 8W5ZAMH7HP
| URI | m2://inv/8W5ZAMH7HP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#ANX2, Homotopy sphere (definition)
History
- 2026-11-02: add by m2/dev
Correctness of the Spectral Form 8W69C41XY7
| URI | m2://inv/8W69C41XY7 |
|---|---|
| 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.25091#FZJ7, Correctness of the Spectral Form (statement)
History
- 2026-11-01: add by m2/v0.6.15
8W6F8GQW70 8W6F8GQW70
| URI | m2://inv/8W6F8GQW70 |
|---|---|
| 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.03288#TL83 (statement). In ZHP1MFSACN/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Shell populations 8W6FSXZQZM
| URI | m2://inv/8W6FSXZQZM |
|---|---|
| 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.37482#YC6Y, Shell populations (statement). In 9QDRMZX8EY/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Definition 8W6GW2P7CH
| URI | m2://inv/8W6GW2P7CH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic mean#Q33F, Definition (definition)
History
- 2026-11-02: add by m2/dev
8W6ME8NJ0K 8W6ME8NJ0K
| URI | m2://inv/8W6ME8NJ0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05631#QTMJ (statement). In M7NEWDTM32/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Properties 8W6NJ7WPMF
| URI | m2://inv/8W6NJ7WPMF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moufang loop#5W9L, Properties (statement)
History
- 2026-11-02: add by m2/dev
David S. Stoffer 8W6P6HCZ3R
| URI | m2://inv/8W6P6HCZ3R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#BXZK, David S. Stoffer (topic)
History
- 2026-11-02: add by m2/dev
Bohr model 8W6RG1Z8AK
| URI | m2://inv/8W6RG1Z8AK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#OOAE, Bohr model (unknown)
History
- 2026-11-02: add by m2/dev
Charge reduction at level two 8W6TP4KVW2
| URI | m2://inv/8W6TP4KVW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35325#XMPA, Charge reduction at level two (statement). In GHT5WXFA4E/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
nonstat 8W7622VTTM
| URI | m2://inv/8W7622VTTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#MP9B, nonstat (definition)
History
- 2026-11-02: add by m2/dev
8W765GX8KW 8W765GX8KW
| URI | m2://inv/8W765GX8KW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 51.4
History
- 2026-11-01: add by m2/v0.6.13
Robert Forsyth Scott 8W7B2S84VK
| URI | m2://inv/8W7B2S84VK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Forsyth Scott, Robert Forsyth Scott (topic). Also Wikidata Q7344448
History
- 2026-11-02: add by m2/dev
Luttinger liquid 8W7E47HES5
| URI | m2://inv/8W7E47HES5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luttinger liquid, Luttinger liquid (definition). Also Wikidata Q1430514
History
- 2026-11-02: add by m2/dev
Non-interactive zero-knowledge proof 8W7F12E52E
| URI | m2://inv/8W7F12E52E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-interactive zero-knowledge proof, Non-interactive zero-knowledge proof (definition). Also Wikidata Q7048932
History
- 2026-11-02: add by m2/dev
8W7P22B5CQ 8W7P22B5CQ
| URI | m2://inv/8W7P22B5CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33557#16UO (statement). In 95YZVAPGJA/e1, theorem 1.14
History
- 2026-10-30: add by m2/v0.4.12
8W7RAZXF65 8W7RAZXF65
| URI | m2://inv/8W7RAZXF65 |
|---|---|
| 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.04935#2BA7 (statement). In 7WVPJVPQH2/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
8W80RZ9TYB 8W80RZ9TYB
| URI | m2://inv/8W80RZ9TYB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/frame-completeness.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 51.1
History
- 2026-11-01: add by m2/v0.6.13
Theorem 8W82Q7YRR6
| URI | m2://inv/8W82Q7YRR6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envelope (category theory)#37EV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Lemma 8W8CDCKQFP
| URI | m2://inv/8W8CDCKQFP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frostman lemma#ZZNP, Lemma (statement)
History
- 2026-11-02: add by m2/dev
8W8M1T8G3E 8W8M1T8G3E
| URI | m2://inv/8W8M1T8G3E |
|---|---|
| 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.40023#YE21 (statement). In JW9ARS9AQE/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
8W8N9QZ16T 8W8N9QZ16T
| URI | m2://inv/8W8N9QZ16T |
|---|---|
| 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#4R86 (example)
History
- 2026-11-01: add by m2/v0.6.15
Greedy tag codes 8W8WAKW6KV
| URI | m2://inv/8W8WAKW6KV |
|---|---|
| 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.15631#8GN9, Greedy tag codes (statement). In AF465QFRGQ/e1, lemma II.11
History
- 2026-10-28: add by m2/v0.4.2
Regularity of the traveling wave map 8W8YN7HBVF
| URI | m2://inv/8W8YN7HBVF |
|---|---|
| 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.23145#AGFJ, Regularity of the traveling wave map (statement)
History
- 2026-11-02: add by m2/v0.6.17
Chen--Guo--Wang 8W8Z45RCEZ
| URI | m2://inv/8W8Z45RCEZ |
|---|---|
| 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.29677#MGXL, Chen--Guo--Wang (statement)
History
- 2026-11-01: add by m2/v0.6.15
Over-matching 8W92WZT4ZG
| URI | m2://inv/8W92WZT4ZG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching (statistics)#OS3E, Over-matching (unknown)
History
- 2026-11-02: add by m2/dev
8W93CHED9V 8W93CHED9V
| URI | m2://inv/8W93CHED9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#JB0C (statement). In R03K2N7FRF/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Mathematical Institute, University of Oxford 8W99X9WTE6
| URI | m2://inv/8W99X9WTE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Institute, University of Oxford, Mathematical Institute, University of Oxford (definition). Also Wikidata Q6786826
History
- 2026-11-02: add by m2/dev
\textsf{Finite-variance discrete BMD principle 8W9Z30PHRE
| URI | m2://inv/8W9Z30PHRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09404#LVE5, \textsf{Finite-variance discrete BMD principle (statement). In D7CZZ48FRN/e1, corollary 1.4
History
- 2026-10-29: add by m2/v0.4.10
8WA8A066AY 8WA8A066AY
| URI | m2://inv/8WA8A066AY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37265#IBV8 (statement). In BKYAWEC5XH/e1, proposition 5.7
History
- 2026-10-30: add by m2/v0.4.12
Great icosihemidodecahedron 8WA8WKF4XF
| URI | m2://inv/8WA8WKF4XF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#FXBT, Great icosihemidodecahedron (object)
History
- 2026-11-02: add by m2/dev
Fourier–Motzkin elimination 8WA9Y2MKYZ
| URI | m2://inv/8WA9Y2MKYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph Fourier#CFOO, Fourier–Motzkin elimination (definition)
- wikipedia: Wikipedia List of numerical analysis topics#4MYS, Fourier–Motzkin elimination (definition)
History
- 2026-11-02: add by m2/dev
Markov kernel 8WADFQVKYQ
| URI | m2://inv/8WADFQVKYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FIU3, Markov kernel (definition)
History
- 2026-11-02: add by m2/dev
Results 8WAFPCMS94
| URI | m2://inv/8WAFPCMS94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arakelov theory#L8GN, Results (statement)
History
- 2026-11-02: add by m2/dev
horizontal bundle 8WANMF62QP
| URI | m2://inv/8WANMF62QP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5903551, horizontal bundle (definition). Also ProofWiki Definition:Horizontal_Tangent_Space
History
- 2026-10-26: add by m2/dev
8WB7CWH0C8 8WB7CWH0C8
| URI | m2://inv/8WB7CWH0C8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-38 (exercise). In E59CDZA4DP, exercise, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem 8WBB0TX5B3
| URI | m2://inv/8WBB0TX5B3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kosambi–Karhunen–Loève theorem#RVXH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Corollary (entropy equipartition property) 8WBEFP5P2R
| URI | m2://inv/8WBEFP5P2R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic equipartition property#PBLN, Corollary (entropy equipartition property) (statement)
History
- 2026-11-02: add by m2/dev
8WBFZNWMXK 8WBFZNWMXK
| URI | m2://inv/8WBFZNWMXK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00934#EY3R (definition). In SHCQDPCF2J/e1, definition 3.7
History
- 2026-10-29: add by m2/v0.4.12
8WBGV95MDP 8WBGV95MDP
| URI | m2://inv/8WBGV95MDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34813#0IX7 (statement). In P3V3ZGCHV7/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
\textit{Song-Tian [10 8WBKHYA20M
| URI | m2://inv/8WBKHYA20M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#P25F, \textit{Song-Tian [10 (statement)
History
- 2026-11-01: add by m2/v0.6.15
8WBRE8Q661 8WBRE8Q661
| URI | m2://inv/8WBRE8Q661 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.08081#PLZA (problem). In FJ8XVQ6F0T/e1, problem 4.9
History
- 2026-10-27: add by m2/v0.4.0
8WBT40CMN5 8WBT40CMN5
| URI | m2://inv/8WBT40CMN5 |
|---|---|
| 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#SPIG (statement). In ZZER8ZBSCR/e1, corollary 6.22
History
- 2026-10-29: add by m2/v0.4.12
GP, focusing, without external time-dependent field 8WBTWZW0CV
| URI | m2://inv/8WBTWZW0CV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.04958#0FJZ, GP, focusing, without external time-dependent field (example). In 5HQJSF6458/e1, example 3
History
- 2026-10-27: add by m2/v0.3.5
8WBY4J2H49 8WBY4J2H49
| URI | m2://inv/8WBY4J2H49 |
|---|---|
| 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#JP9B (statement). In 5AB8YPS19N/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
Riemann series theorem 8WBZV5HWQN
| URI | m2://inv/8WBZV5HWQN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6UV2, Riemann series theorem (statement)
History
- 2026-11-02: add by m2/dev
Caloric theory 8WC0XA3AAK
| URI | m2://inv/8WC0XA3AAK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#PQPZ, Caloric theory (unknown)
History
- 2026-11-02: add by m2/dev
Peter Johnstone 8WC188SERH
| URI | m2://inv/8WC188SERH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T4GP, Peter Johnstone (topic)
History
- 2026-11-02: add by m2/dev
8WCB0NF1JR 8WCB0NF1JR
| URI | m2://inv/8WCB0NF1JR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-29 (proof). In E59CDZA4DP, proof, section 10.5.5
History
- 2026-11-01: add by m2/v0.6.13
Eugenio Calabi 8WCHXMX7XZ
| URI | m2://inv/8WCHXMX7XZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#BWJ7, Eugenio Calabi (topic)
- wikipedia: Wikipedia List of Italian mathematicians#VU5G, Eugenio Calabi (topic)
History
- 2026-11-02: add by m2/dev
33344-33434 tiling 8WCN5KK1Z3
| URI | m2://inv/8WCN5KK1Z3 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 33344-33434 tiling, 33344-33434 tiling (object). Also Wikidata Q65079681
History
- 2026-11-02: add by m2/dev
Ruth J. Williams 8WCP3FEVR9
| URI | m2://inv/8WCP3FEVR9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth J. Williams, Ruth J. Williams (topic). Also Wikidata Q18706113
History
- 2026-11-02: add by m2/dev
Fermi–Dirac statistics 8WCPY3Z8B9
| URI | m2://inv/8WCPY3Z8B9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermi–Dirac statistics, Fermi–Dirac statistics (definition). Also Wikidata Q274072
History
- 2026-11-02: add by m2/dev
Eli Maor 8WCYGVBGV5
| URI | m2://inv/8WCYGVBGV5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#WSA1, Eli Maor (topic)
History
- 2026-11-02: add by m2/dev
Final topology 8WCZ3JHWWD
| URI | m2://inv/8WCZ3JHWWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#QU2H, Final topology (definition)
History
- 2026-11-02: add by m2/dev
8WD0YPZYNZ 8WD0YPZYNZ
| URI | m2://inv/8WD0YPZYNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#9VW6 (statement). In CM2YEK9T4F/e1, proposition A
History
- 2026-10-27: add by m2/v0.4.2
Examples 8WD4RE6Q5A
| URI | m2://inv/8WD4RE6Q5A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preorder#DK5P, Examples (example)
History
- 2026-11-02: add by m2/dev
8WDPN029VN 8WDPN029VN
| URI | m2://inv/8WDPN029VN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24023#OW25 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Eugene McDonnell 8WDS5ATAGD
| URI | m2://inv/8WDS5ATAGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#X410, Eugene McDonnell (unknown)
History
- 2026-11-02: add by m2/dev
Taiwan IMO camp 8WDSEXGQBT
| URI | m2://inv/8WDSEXGQBT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#problem-2, Taiwan IMO camp (exercise). In RZP28ERRZV, problem, section 60.5
History
- 2026-11-01: add by m2/v0.6.13
Properties 8WDSP6AAVS
| URI | m2://inv/8WDSP6AAVS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixture distribution#OTA5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Three Forks, British Columbia 8WE0WNF99H
| URI | m2://inv/8WE0WNF99H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#UAE6, Three Forks, British Columbia (unknown)
History
- 2026-11-02: add by m2/dev
8WE5CGC554 8WE5CGC554
| URI | m2://inv/8WE5CGC554 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18061#5M98 (statement). In Y8A35AV31M/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Secure Shell 8WEN7YPY1A
| URI | m2://inv/8WEN7YPY1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure Shell, Secure Shell (definition). Also Wikidata Q170460
History
- 2026-11-02: add by m2/dev
8WEQRE5ZZT 8WEQRE5ZZT
| URI | m2://inv/8WEQRE5ZZT |
|---|---|
| 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.05193#U8DE (statement). In XDMM0KNNZ9/e1, corollary 13
History
- 2026-10-29: add by m2/v0.4.10
Examples 8WESN208ZB
| URI | m2://inv/8WESN208ZB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartier duality#ORJJ, Examples (example)
History
- 2026-11-02: add by m2/dev
8WESV31WPT 8WESV31WPT
| URI | m2://inv/8WESV31WPT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#1T6U (example). In 2QF1YG9DD0/e1, example 2.6
History
- 2026-10-30: add by m2/v0.4.12
Hardy and Littlewood's Conjecture F 8WEWYZ7N3Q
| URI | m2://inv/8WEWYZ7N3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulam spiral#VE0H, Hardy and Littlewood's Conjecture F (statement)
History
- 2026-11-02: add by m2/dev
8WF0CDTWTB 8WF0CDTWTB
| URI | m2://inv/8WF0CDTWTB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23562#IQE8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gary Becker 8WF2GVJ5J9
| URI | m2://inv/8WF2GVJ5J9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Z1P0, Gary Becker (unknown)
History
- 2026-11-02: add by m2/dev
Divergence of the Harmonic Series 8WFG40DDWY
| URI | m2://inv/8WFG40DDWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 34, Divergence of the Harmonic Series (statement). Also Mathlib Real.tendsto_sum_range_one_div_nat_succ_atTop
History
- 2026-10-26: add by m2/dev
Gauss–Bonnet theorem 8WFJ1Y0AZV
| URI | m2://inv/8WFJ1Y0AZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 4 |
| Outcome | open |
| Node | Gauss–Bonnet theorem ESGEHKPD60 |
Mentions
- mathlib_1000: mathlib_1000 Q742833, Gauss–Bonnet theorem (statement). Also Wikidata Q742833
- thousand_plus: thousand_plus Q742833, Gauss–Bonnet theorem (statement). Also Wikidata Q742833, Wikipedia Gauss–Bonnet theorem
- wikidata: Wikidata Q742833, Gauss–Bonnet theorem (statement). Also MathWorld Gauss-BonnetFormula
- wikipedia: Wikipedia Gauss–Bonnet theorem, Gauss–Bonnet theorem (statement). Also Wikidata Q742833
History
- 2026-10-26: add by m2/dev
8WFNG29EHV 8WFNG29EHV
| URI | m2://inv/8WFNG29EHV |
|---|---|
| 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.06810#V3L4 (statement). In 1NY2SA03XF/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.10
8WFXCSP2XY 8WFXCSP2XY
| URI | m2://inv/8WFXCSP2XY |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10452#6YPA (unknown). In 2F4PNP1V3B/e1, unknown 2
History
- 2026-10-29: add by m2/v0.4.10
spherical excess 8WFXN98K9G
| URI | m2://inv/8WFXN98K9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexell's theorem#A6HZ, spherical excess (definition)
- wikipedia: Wikipedia Lexell's theorem#STJP, solid angle measure (definition)
- wikipedia: Wikipedia Lexell's theorem#YMIN, angle measure (definition)
History
- 2026-11-02: add by m2/dev
8WG1K9GPK4 8WG1K9GPK4
| URI | m2://inv/8WG1K9GPK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12131#J12R (statement). In NYT07WF46A/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.2
8WG4ZZRWH1 8WG4ZZRWH1
| URI | m2://inv/8WG4ZZRWH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#Z2RU (statement). In RYWAX33Z51/e1, lemma 4.29
History
- 2026-10-31: add by m2/v0.5.6
8WG7EJ5B33 8WG7EJ5B33
| URI | m2://inv/8WG7EJ5B33 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.16388#3X7W (definition). In HH4ADHZ8XD/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.0
Algorithm 8WGAA23FGX
| URI | m2://inv/8WGAA23FGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic pseudo-Boolean optimization#IJA4, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Noisy expanding map on the torus 8WGNW3W3J1
| URI | m2://inv/8WGNW3W3J1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13916#JEZG, Noisy expanding map on the torus (example). In JS2JSD0507/e1, example 3.18
History
- 2026-10-28: add by m2/v0.4.2
Existence and Euler--Lagrange equation 8WGSC0WMQ6
| URI | m2://inv/8WGSC0WMQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#VFGW, Existence and Euler--Lagrange equation (statement). In 9JHMTYGWFQ/e1, proposition 21.1
History
- 2026-10-27: add by m2/v0.3.6
Robert Kottwitz 8WGSS1T7J5
| URI | m2://inv/8WGSS1T7J5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#91JL, Robert Kottwitz (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HH9B, Robert Kottwitz (unknown)
History
- 2026-11-02: add by m2/dev
8WH0MV0AAF 8WH0MV0AAF
| URI | m2://inv/8WH0MV0AAF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#NVMJ (definition). In 3A4K47Y9F2/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.4.0
Algebraic number theory 8WH31VJAHZ
| URI | m2://inv/8WH31VJAHZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#AYT8, Algebraic number theory (topic)
History
- 2026-11-02: add by m2/dev
List of integrals of rational functions 8WH85W8JHY
| URI | m2://inv/8WH85W8JHY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integrals of rational functions, List of integrals of rational functions (topic). Also Wikidata Q484623
History
- 2026-11-02: add by m2/dev
8WHC10CF2R 8WHC10CF2R
| URI | m2://inv/8WHC10CF2R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#prob:chain (exercise). In RZP28ERRZV, problem, section 88.4
History
- 2026-11-01: add by m2/v0.6.13
Beth naught 8WHCY4QH12
| URI | m2://inv/8WHCY4QH12 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beth number#N7LZ, Beth naught (unknown)
History
- 2026-11-02: add by m2/dev
Restricted Killing-spinor equation 8WHJY8CWKZ
| URI | m2://inv/8WHJY8CWKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20197#ARS0, Restricted Killing-spinor equation (statement)
History
- 2026-11-02: add by m2/v0.6.18
Second Cousin problem 8WHNQGXF67
| URI | m2://inv/8WHNQGXF67 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/4.6/second-cousin-problem, Second Cousin problem (concept). In VNMV985MXX, index, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
Frank-Wolfe algorithm 8WHP704HP7
| URI | m2://inv/8WHP704HP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#2PMU, Frank-Wolfe algorithm (definition)
History
- 2026-11-02: add by m2/dev
Persistent Strong Recovery after Weak Recovery 8WHRKEKT7N
| URI | m2://inv/8WHRKEKT7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16705#65H6, Persistent Strong Recovery after Weak Recovery (statement). In B48YQVGAF5/e1, theorem 7.4
History
- 2026-10-28: add by m2/v0.4.2
Dusko Pavlovic 8WHVBRZR49
| URI | m2://inv/8WHVBRZR49 |
|---|---|
| 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 Q62057887, Dusko Pavlovic (unknown). Also nLab Dusko Pavlovic, nLab Duško Pavlović
History
- 2026-10-26: add by m2/dev
Markov text 8WJAE9X8HT
| URI | m2://inv/8WJAE9X8HT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain#8U0P, Markov text (unknown)
History
- 2026-11-02: add by m2/dev
Strong compactness 8WJDG43TZY
| URI | m2://inv/8WJDG43TZY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07537#9UW3, Strong compactness (definition). In ZFDXNKEBT1/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Gowers-Cauchy-Schwarz inequality 8WJGK56K1J
| URI | m2://inv/8WJGK56K1J |
|---|---|
| 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.33733#49NU, Gowers-Cauchy-Schwarz inequality (statement). In QBAP8C82FG/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
form 8WJNBNVMBE
| URI | m2://inv/8WJNBNVMBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#2ESR, form (definition)
History
- 2026-11-02: add by m2/dev
$QR$ factorization 8WJY9AFTY0
| URI | m2://inv/8WJY9AFTY0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-4.xml#prop-qr, $QR$ factorization (statement). In 649HGZKE96, proposition, section 6.4.3
History
- 2026-11-01: add by m2/v0.6.13
8WK08GXM3R 8WK08GXM3R
| URI | m2://inv/8WK08GXM3R |
|---|---|
| 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.35766#XDKS (statement). In 6638EFW1NG/e1, corollary 1.4
History
- 2026-10-30: add by m2/v0.4.12
Jakob Philipp Kulik 8WK14RWJ7K
| URI | m2://inv/8WK14RWJ7K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jakob Philipp Kulik, Jakob Philipp Kulik (topic). Also Wikidata Q87038
History
- 2026-11-02: add by m2/dev
Horton graphs 8WK1ZQGECF
| URI | m2://inv/8WK1ZQGECF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78088914, Horton graphs (concept). Also MathWorld HortonGraphs
History
- 2026-10-26: add by m2/dev
Routh's theorem 8WK3WRD72M
| URI | m2://inv/8WK3WRD72M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#YUUF, Routh's theorem (statement)
History
- 2026-11-02: add by m2/dev
Great stellated 120-cell 8WKBKY4K9G
| URI | m2://inv/8WKBKY4K9G |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great stellated 120-cell, Great stellated 120-cell (object). Also Wikidata Q5600396
History
- 2026-11-02: add by m2/dev
8WKE9JEVAG 8WKE9JEVAG
| URI | m2://inv/8WKE9JEVAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#P0JT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ermelinda DeLaViña 8WKQ9C7ZFD
| URI | m2://inv/8WKQ9C7ZFD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#40G2, Ermelinda DeLaViña (topic)
History
- 2026-11-02: add by m2/dev
Localized index 8WKW4HDBYP
| URI | m2://inv/8WKW4HDBYP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#KVN7, Localized index (definition). In 6G1KBA0SXV/e1, definition 3.7
History
- 2026-10-31: add by m2/v0.5.6
Masyu 8WKW94N94Z
| URI | m2://inv/8WKW94N94Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#77XX, Masyu (definition)
History
- 2026-11-02: add by m2/dev
8WM0ZXRZB9 8WM0ZXRZB9
| URI | m2://inv/8WM0ZXRZB9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/opps.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 69.4
History
- 2026-11-01: add by m2/v0.6.13
Automated machine learning 8WM4QZP0XH
| URI | m2://inv/8WM4QZP0XH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automated machine learning, Automated machine learning (definition). Also Wikidata Q43967068
History
- 2026-11-02: add by m2/dev
Example of doubling 8WM4Z8KM4X
| URI | m2://inv/8WM4Z8KM4X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edwards curve#6RDI, Example of doubling (example)
History
- 2026-11-02: add by m2/dev
Max Gunzburger 8WM72163SX
| URI | m2://inv/8WM72163SX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max Gunzburger, Max Gunzburger (topic). Also Wikidata Q6794820
History
- 2026-11-02: add by m2/dev
isomorphism 8WMAT4ACDE
| URI | m2://inv/8WMAT4ACDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#KFZD, isomorphism (definition)
History
- 2026-11-02: add by m2/dev
8WMETWPAMC 8WMETWPAMC
| URI | m2://inv/8WMETWPAMC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 19-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 2505.05539#1SFU (definition). In 8SVVEVGMNE/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
8WN48D86CT 8WN48D86CT
| URI | m2://inv/8WN48D86CT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#TH8N (statement). In JJQPFXZQ3D/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
8WN97NXP8W 8WN97NXP8W
| URI | m2://inv/8WN97NXP8W |
|---|---|
| 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.05146#Y9GX (statement). In 63MJS935N4/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
8WNC1TCBAA 8WNC1TCBAA
| URI | m2://inv/8WNC1TCBAA |
|---|---|
| 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.02751#F21T (statement). In MWGXPXF3BW/e1, lemma 25
History
- 2026-10-29: add by m2/v0.4.12
8WNXPZZYPP 8WNXPZZYPP
| URI | m2://inv/8WNXPZZYPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#WX6B (statement). In 6M5WR7KB80/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.3
I.8 Ex. 1(a) in and Thm. 6 8WNXYRH0A0
| URI | m2://inv/8WNXYRH0A0 |
|---|---|
| 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.36181#IEU0, I.8 Ex. 1(a) in and Thm. 6 (statement). In 1KSE33PVS6/e1, proposition 17
History
- 2026-10-30: add by m2/v0.4.12
8WNY24DEMJ 8WNY24DEMJ
| URI | m2://inv/8WNY24DEMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric cone#EPJJ (definition)
History
- 2026-11-02: add by m2/dev
8WP3EM9KP2 8WP3EM9KP2
| URI | m2://inv/8WP3EM9KP2 |
|---|---|
| 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 2011.12496#6VO7 (statement). In 1DH15ZJFRZ/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
Differential order of the centered-difference defects 8WPEM99FSK
| URI | m2://inv/8WPEM99FSK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#2IO4, Differential order of the centered-difference defects (statement). In RHBS9QDHC3/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Cuboid 8WPEMPNJPG
| URI | m2://inv/8WPEMPNJPG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#Q5I1, Cuboid (object)
History
- 2026-11-02: add by m2/dev
Basis 8WPKNYSBGC
| URI | m2://inv/8WPKNYSBGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#J0A4, Basis (definition)
History
- 2026-11-02: add by m2/dev
Charles Galton Darwin 8WPN32GJ95
| URI | m2://inv/8WPN32GJ95 |
|---|---|
| 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#RMX0, Charles Galton Darwin (unknown)
History
- 2026-11-02: add by m2/dev
Berkson's paradox 8WPQHZBBBQ
| URI | m2://inv/8WPQHZBBBQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#X7YQ, Berkson's paradox (statement)
History
- 2026-11-02: add by m2/dev
Example 8WPVDYZX6C
| URI | m2://inv/8WPVDYZX6C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Moivre's formula#4A7U, Example (example)
History
- 2026-11-02: add by m2/dev
James Waddell Alexander II 8WPZE9MXKP
| URI | m2://inv/8WPZE9MXKP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q723607, James Waddell Alexander II (unknown). Also ProofWiki Mathematician:James_Waddell_Alexander_II
- wikipedia: Wikipedia James Waddell Alexander II, James Waddell Alexander II (topic). Also Wikidata Q723607
History
- 2026-10-26: add by m2/dev
8WQ2PYF981 8WQ2PYF981
| URI | m2://inv/8WQ2PYF981 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.07717#N6LA (statement). In AXFXGWG7ZG/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.4.0
8WQ9VVPG9V 8WQ9VVPG9V
| URI | m2://inv/8WQ9VVPG9V |
|---|---|
| Kind | conjecture |
| 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.23975#TRCF (conjecture)
History
- 2026-11-02: add by m2/v0.6.17
8WQBSZPPZ6 8WQBSZPPZ6
| URI | m2://inv/8WQBSZPPZ6 |
|---|---|
| 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.13685#662N (statement). In 4XQWY8C4AV/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Dejean's theorem 8WQJRG5JNB
| URI | m2://inv/8WQJRG5JNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dejean's theorem, Dejean's theorem (statement). Also Wikidata Q30751022
History
- 2026-11-02: add by m2/dev
disk integration 8WQNQZV2AN
| URI | m2://inv/8WQNQZV2AN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3825524, disk integration (unknown). Also MathWorld MethodofDisks
- wikipedia: Wikipedia Disc integration, Disc integration (definition). Also Wikidata Q3825524
History
- 2026-10-26: add by m2/dev
8WQV7C31AN 8WQV7C31AN
| URI | m2://inv/8WQV7C31AN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2610.13980#5Q2V (statement). In 6DNZE6RT72/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Example 8WR0A38AJD
| URI | m2://inv/8WR0A38AJD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State-space representation#6I8N, Example (example)
History
- 2026-11-02: add by m2/dev
Uses 8WR1TAX7Y4
| URI | m2://inv/8WR1TAX7Y4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haar measure#1LY8, Uses (example)
History
- 2026-11-02: add by m2/dev
8WR2SCFQTR 8WR2SCFQTR
| URI | m2://inv/8WR2SCFQTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#OHM3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Burgos--Menares--Qu--Sombra 8WR9HVN8DF
| URI | m2://inv/8WR9HVN8DF |
|---|---|
| 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.39505#YCGP, Burgos--Menares--Qu--Sombra (statement). In WAXS6FS388/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
8WRDCBQFA1 8WRDCBQFA1
| URI | m2://inv/8WRDCBQFA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27103#6MYL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Albert Fathi 8WRE60Y59N
| URI | m2://inv/8WRE60Y59N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert Fathi, Albert Fathi (topic). Also Wikidata Q15615156
History
- 2026-11-02: add by m2/dev
Stein distance between Gaussians 8WRGWN3DHF
| URI | m2://inv/8WRGWN3DHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10875#8KIT, Stein distance between Gaussians (statement). In N91F15MHW1/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.3
Lindeberg–Lévy CLT 8WRS5R1VWJ
| URI | m2://inv/8WRS5R1VWJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem#3QF9, Lindeberg–Lévy CLT (statement)
History
- 2026-11-02: add by m2/dev
Primal function 8WRVN20A81
| URI | m2://inv/8WRVN20A81 |
|---|---|
| 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.30877#4BIG, Primal function (statement). In QKNE21ABF3/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
8WRXFR851S 8WRXFR851S
| URI | m2://inv/8WRXFR851S |
|---|---|
| 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 2204.07961#RI80 (statement). In 4DK4VRKZVM/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Library Freedom Project 8WS7Y8A6D1
| URI | m2://inv/8WS7Y8A6D1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Library Freedom Project, Library Freedom Project (definition). Also Wikidata Q22906368
History
- 2026-11-02: add by m2/dev
8WS83YABB0 8WS83YABB0
| URI | m2://inv/8WS83YABB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26515#V86H (statement)
History
- 2026-11-01: add by m2/v0.6.15
8WSEJ8GYZ8 8WSEJ8GYZ8
| URI | m2://inv/8WSEJ8GYZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#UFOM (statement). In M4JGP708F4/e1, proposition 4.13
History
- 2026-10-29: add by m2/v0.4.12
8WSF1TRJJE 8WSF1TRJJE
| URI | m2://inv/8WSF1TRJJE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ex:stack (exercise). In N54F33XE07, ex, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
8WSTWM34DP 8WSTWM34DP
| URI | m2://inv/8WSTWM34DP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18312#US24 (statement). In NPEVE32HFP/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Contact 8WT97MD6R3
| URI | m2://inv/8WT97MD6R3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contact (mathematics), Contact (definition). Also Wikidata Q829376
History
- 2026-11-02: add by m2/dev
8WTCW2NEPJ 8WTCW2NEPJ
| URI | m2://inv/8WTCW2NEPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#795X (statement). In 5E9G06XJKC/e1, lemma C.6
History
- 2026-10-28: add by m2/v0.4.2
mex 8WTFHJFK6Y
| URI | m2://inv/8WTFHJFK6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6825699, mex (unknown). Also MathWorld Mex
- wikipedia: Wikipedia Mex (mathematics), Mex (definition). Also Wikidata Q6825699
History
- 2026-10-26: add by m2/dev
8WTFPFHMNJ 8WTFPFHMNJ
| URI | m2://inv/8WTFPFHMNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0805.4273#XVFR (statement). In ZX3NV58FRX/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
Examples 8WTGWCF2M1
| URI | m2://inv/8WTGWCF2M1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electrovacuum solution#JUMO, Examples (example)
History
- 2026-11-02: add by m2/dev
Langlands–Deligne local constant 8WV6MHFJM4
| URI | m2://inv/8WV6MHFJM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langlands–Deligne local constant, Langlands–Deligne local constant (definition). Also Wikidata Q6486191
History
- 2026-11-02: add by m2/dev
8WV7ZT53K9 8WV7ZT53K9
| URI | m2://inv/8WV7ZT53K9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Minkowski's integral inequality 8WV8P1PVAB
| URI | m2://inv/8WV8P1PVAB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski inequality#ZK7W, Minkowski's integral inequality (statement)
History
- 2026-11-02: add by m2/dev
extreme value theorem 8WV96CBD2N
| URI | m2://inv/8WV96CBD2N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.3.1/extreme-value-theorem, extreme value theorem (concept). In E59CDZA4DP, index, section 2.3.1
History
- 2026-11-01: add by m2/v0.6.13
Treinta y Tres 8WVAKJBVBK
| URI | m2://inv/8WVAKJBVBK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WR0N, Treinta y Tres (unknown)
History
- 2026-11-02: add by m2/dev
8WVB8HCH08 8WVB8HCH08
| URI | m2://inv/8WVB8HCH08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11048#FKC3 (statement). In H6TK4V0YVQ/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
The tree monad 8WVBB4NCX6
| URI | m2://inv/8WVBB4NCX6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#XHTD, The tree monad (definition). In SMJMAQ2S3J/e1, definition 16
History
- 2026-10-27: add by m2/v0.4.0
8WVMA8RZ0X 8WVMA8RZ0X
| URI | m2://inv/8WVMA8RZ0X |
|---|---|
| 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#DYKS (statement). In 3CGS9GSKTQ/e1, lemma 7.6
History
- 2026-10-29: add by m2/v0.4.12
mathematics, constructive 8WVNXYFQEY
| URI | m2://inv/8WVNXYFQEY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/mathematics-constructive, mathematics, constructive (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
Definition (analytic extension of a one-parameter group) 8WVV89E7G5
| URI | m2://inv/8WVV89E7G5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally compact quantum group#M6QR, Definition (analytic extension of a one-parameter group) (definition)
History
- 2026-11-02: add by m2/dev
8WW3JF7TX1 8WW3JF7TX1
| URI | m2://inv/8WW3JF7TX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/complement-ce.tex#thm:ce-comp (statement). In PKGMM3P5QY, thm, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
8WW45NE0HS 8WW45NE0HS
| URI | m2://inv/8WW45NE0HS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-2-6-3.xml#act-2-6-3 (exercise). In 907G4C4EJ1, activity, section 2.6.4
History
- 2026-11-01: add by m2/v0.6.13
8WW522FTR7 8WW522FTR7
| URI | m2://inv/8WW522FTR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10796#RU8N (statement). In 9YDW0QJZ6K/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.3
8WWABAPNJA 8WWABAPNJA
| URI | m2://inv/8WWABAPNJA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Very weak solution, case $V \in \mathbb{R}$ 8WWK3NJBHT
| URI | m2://inv/8WWK3NJBHT |
|---|---|
| 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 2110.12380#JD1L, Very weak solution, case $V \in \mathbb{R}$ (definition). In M6MQPEDQ8N/e1, definition 4.6
History
- 2026-10-27: add by m2/v0.3.5
The method 8WWNMFJW29
| URI | m2://inv/8WWNMFJW29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beam and Warming scheme#FLKK, The method (definition)
History
- 2026-11-02: add by m2/dev
8WWPDE9S74 8WWPDE9S74
| URI | m2://inv/8WWPDE9S74 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25314#8G50 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 8WWR5SKZXZ
| URI | m2://inv/8WWR5SKZXZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed manifold#QK6K, Examples (example)
History
- 2026-11-02: add by m2/dev
Bradley Efron 8WWTJKBFVD
| URI | m2://inv/8WWTJKBFVD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#SXYI, Bradley Efron (topic)
History
- 2026-11-02: add by m2/dev
8WWWEPQZQG 8WWWEPQZQG
| URI | m2://inv/8WWWEPQZQG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#cor:hom-fg (statement). In N54F33XE07, cor, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
8WX0KH6Q6J 8WX0KH6Q6J
| URI | m2://inv/8WX0KH6Q6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26922#2JAD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mikhail Kapranov 8WX267K794
| URI | m2://inv/8WX267K794 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1930300, Mikhail Kapranov (unknown). Also nLab Mikhail Kapranov
- wikipedia: Wikipedia Mikhail Kapranov, Mikhail Kapranov (topic). Also Wikidata Q1930300
History
- 2026-10-26: add by m2/dev
8WX3Z0T8C2 8WX3Z0T8C2
| URI | m2://inv/8WX3Z0T8C2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.12231#9S74 (statement). In W44N3VEC6H/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.6
Countably locally finite 8WXBGXHM4H
| URI | m2://inv/8WXBGXHM4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#5N3Z, Countably locally finite (definition)
History
- 2026-11-02: add by m2/dev
Nishimori identity for $3^{\text{rd}}$ and $4^{\text{th}}$ moments 8WXCVWNNC2
| URI | m2://inv/8WXCVWNNC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#PDP6, Nishimori identity for $3^{\text{rd}}$ and $4^{\text{th}}$ moments (statement). In WYE2JVEZBT/e1, lemma B.4
History
- 2026-10-31: add by m2/v0.5.6
Terminology 8WXEWV5XVS
| URI | m2://inv/8WXEWV5XVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle#NNXY, Terminology (definition)
History
- 2026-11-02: add by m2/dev
8WXN2V0NGF 8WXN2V0NGF
| URI | m2://inv/8WXN2V0NGF |
|---|---|
| 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 2301.04933#PW9S (definition). In Q70CTMCJTP/e1, definition 4.8
History
- 2026-10-27: add by m2/v0.3.5
Serre–Swan theorem 8WXNCN5T1H
| URI | m2://inv/8WXNCN5T1H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#2XQ7, Serre–Swan theorem (statement)
History
- 2026-11-02: add by m2/dev
Ngaiming Mok 8WXSHECBM3
| URI | m2://inv/8WXSHECBM3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ngaiming Mok, Ngaiming Mok (topic). Also Wikidata Q17578786
History
- 2026-11-02: add by m2/dev
Examples 8WXW4Z8MAY
| URI | m2://inv/8WXW4Z8MAY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lenstra–Lenstra–Lovász lattice basis reduction algorithm#E8VJ, Examples (example)
History
- 2026-11-02: add by m2/dev
8WXX3NVK87 8WXX3NVK87
| URI | m2://inv/8WXX3NVK87 |
|---|---|
| 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.26703#WC6D (statement)
History
- 2026-11-01: add by m2/v0.6.15
8WXX46N9KK 8WXX46N9KK
| URI | m2://inv/8WXX46N9KK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#SSNQ (definition). In S26QVW5613/e1, definition 2.3.8
History
- 2026-10-30: add by m2/v0.4.12
Skolem–Noether theorem 8WXYP26MCM
| URI | m2://inv/8WXYP26MCM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Azumaya algebra#RDAZ, Skolem–Noether theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition 8WXYREG0GT
| URI | m2://inv/8WXYREG0GT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoidal functor#1F1E, Definition (definition)
History
- 2026-11-02: add by m2/dev
8WY0T6VFA2 8WY0T6VFA2
| URI | m2://inv/8WY0T6VFA2 |
|---|---|
| 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.40203#TNLO (statement). In ECH66J4Y43/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
List of branches of combinatorics 8WY1CDPPBR
| URI | m2://inv/8WY1CDPPBR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of combinatorics#T4VH, List of branches of combinatorics (unknown)
History
- 2026-11-02: add by m2/dev
8WY3GEN3KG 8WY3GEN3KG
| URI | m2://inv/8WY3GEN3KG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25973#8NJA (definition)
History
- 2026-11-01: add by m2/v0.6.15
M-209 8WY40GE7W7
| URI | m2://inv/8WY40GE7W7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M-209, M-209 (definition). Also Wikidata Q628174
History
- 2026-11-02: add by m2/dev
8WY4X1V9DX 8WY4X1V9DX
| URI | m2://inv/8WY4X1V9DX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 35.4
History
- 2026-11-01: add by m2/v0.6.13
Formulas 8WYPE00MN6
| URI | m2://inv/8WYPE00MN6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sagitta (geometry)#32SP, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Li, Postle 8WZ1V0V9B7
| URI | m2://inv/8WZ1V0V9B7 |
|---|---|
| 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 2406.01499#15K9, Li, Postle (statement). In B32K3KBEKC/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
gravitational anomaly 8WZ6BJKNFD
| URI | m2://inv/8WZ6BJKNFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q867441, gravitational anomaly (unknown). Also nLab gravitational anomaly
History
- 2026-10-26: add by m2/dev
Jordan frame (Jordan algebra) 8WZCGKNSSY
| URI | m2://inv/8WZCGKNSSY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric cone#ALY2, Jordan frame (Jordan algebra) (unknown)
History
- 2026-11-02: add by m2/dev
apartness 8WZER8FDTE
| URI | m2://inv/8WZER8FDTE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.3/apartness, apartness (concept). In N54F33XE07, index, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
Relative acceleration 8WZGZ4TSTZ
| URI | m2://inv/8WZGZ4TSTZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kinematics#AVU7, Relative acceleration (unknown)
History
- 2026-11-02: add by m2/dev
8WZKEXY5QR 8WZKEXY5QR
| URI | m2://inv/8WZKEXY5QR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#RDU2 (definition). In GYMGDQS25R/e1, definition 6.20
History
- 2026-10-29: add by m2/v0.4.10
8WZKSZ677F 8WZKSZ677F
| URI | m2://inv/8WZKSZ677F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33829#UNPZ (statement). In S34H2JTJHH/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
8WZMTN1DEC 8WZMTN1DEC
| URI | m2://inv/8WZMTN1DEC |
|---|---|
| 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.19912#AZYH (statement)
History
- 2026-11-02: add by m2/v0.6.18
8WZN3PN2WY 8WZN3PN2WY
| URI | m2://inv/8WZN3PN2WY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/dlo.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 46.1
History
- 2026-11-01: add by m2/v0.6.13
8WZQ20WPZC 8WZQ20WPZC
| URI | m2://inv/8WZQ20WPZC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#MHCT (definition). In XYYEJN00D8/e1, definition 2.19
History
- 2026-10-30: add by m2/v0.4.12
8WZWF036YJ 8WZWF036YJ
| URI | m2://inv/8WZWF036YJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18033#0VKA (statement). In 59VRB6Y27N/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Conceptual model 8WZYK3HD2S
| URI | m2://inv/8WZYK3HD2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conceptual model, Conceptual model (definition). Also Wikidata Q2623243
History
- 2026-11-02: add by m2/dev