Inventory rows 7W
The cards of the rows of the inventory whose ids start with 7W. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
7W0666N5GD 7W0666N5GD
| URI | m2://inv/7W0666N5GD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.10460#V93L (statement). In 3N20HKKXTJ/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Taylor expansion 7W07GBFFXV
| URI | m2://inv/7W07GBFFXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10873#9LSW, Taylor expansion (statement). In AYG8HYGW6V/e1, lemma G.3
History
- 2026-10-28: add by m2/v0.4.3
7W0AMHTD3A 7W0AMHTD3A
| URI | m2://inv/7W0AMHTD3A |
|---|---|
| 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.08261#QONB (statement). In QD68GYRWNS/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
multiplicative principle 7W0GE2ZPMA
| URI | m2://inv/7W0GE2ZPMA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.1/multiplicative-principle, multiplicative principle (concept). In Y91XFCEVHQ, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Wahlwort 7W0J8D2GWT
| URI | m2://inv/7W0J8D2GWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wahlwort, Wahlwort (definition). Also Wikidata Q56299006
History
- 2026-11-02: add by m2/dev
group, cyclic 7W0MEJRWQR
| URI | m2://inv/7W0MEJRWQR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/group-cyclic, group, cyclic (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
redundancy 7W0N4XWZ9J
| URI | m2://inv/7W0N4XWZ9J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122192, redundancy (unknown). Also MathWorld Redundancy
History
- 2026-10-26: add by m2/dev
7W1EQAPGK9 7W1EQAPGK9
| URI | m2://inv/7W1EQAPGK9 |
|---|---|
| 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.04355#DRV6 (statement). In 99AHANMS2H/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
7W1GQDMT9K 7W1GQDMT9K
| URI | m2://inv/7W1GQDMT9K |
|---|---|
| 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 2204.04317#D7UQ (statement). In 49V3ANDZTY/e1, lemma 6.15
History
- 2026-10-27: add by m2/v0.3.5
Dominique Hulin 7W1QK6STG2
| URI | m2://inv/7W1QK6STG2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominique Hulin, Dominique Hulin (topic). Also Wikidata Q102798977
History
- 2026-11-02: add by m2/dev
7W1V8E6QEW 7W1V8E6QEW
| URI | m2://inv/7W1V8E6QEW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.21971#3SKV (definition). In R6KSZ9H8CY/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
7W1Y6KT3QG 7W1Y6KT3QG
| URI | m2://inv/7W1Y6KT3QG |
|---|---|
| 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.12329#HLFC (statement). In ZJQB9W60T6/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
7W23WFYHV2 7W23WFYHV2
| URI | m2://inv/7W23WFYHV2 |
|---|---|
| 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.15217#YH4A (definition). In G70Q2FB591/e1, definition 2.26
History
- 2026-10-28: add by m2/v0.4.2
Grassmannian 7W2AF4V47X
| URI | m2://inv/7W2AF4V47X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#HTJT, Grassmannian (definition)
History
- 2026-11-02: add by m2/dev
Hét 7W2AVJ4GMY
| URI | m2://inv/7W2AVJ4GMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#QSIT, Hét (unknown)
History
- 2026-11-02: add by m2/dev
3-subset meet-in-the-middle attack 7W2EJ90YEW
| URI | m2://inv/7W2EJ90YEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-subset meet-in-the-middle attack, 3-subset meet-in-the-middle attack (definition). Also Wikidata Q17508476
History
- 2026-11-02: add by m2/dev
7W2RB06QE5 7W2RB06QE5
| URI | m2://inv/7W2RB06QE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#9X3P (statement)
History
- 2026-11-01: add by m2/v0.6.15
7W31A8962Q 7W31A8962Q
| URI | m2://inv/7W31A8962Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13883#CD5A (statement). In F3PQ8P7R2B/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
Canonical ensemble 7W31KE8ZH8
| URI | m2://inv/7W31KE8ZH8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical ensemble, Canonical ensemble (object). Also Wikidata Q1077753
History
- 2026-11-02: add by m2/dev
7W3N1CJBGW 7W3N1CJBGW
| URI | m2://inv/7W3N1CJBGW |
|---|---|
| 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.26896#FTTI (statement)
History
- 2026-11-01: add by m2/v0.6.15
7W3QBTAX7A 7W3QBTAX7A
| URI | m2://inv/7W3QBTAX7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#61I2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
7W3XK09TMQ 7W3XK09TMQ
| URI | m2://inv/7W3XK09TMQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#X4G5 (statement). In 9ZSNSJRJ5N/e1, proposition 5
History
- 2026-10-27: add by m2/v0.4.2
7W4APX44CP 7W4APX44CP
| URI | m2://inv/7W4APX44CP |
|---|---|
| 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 2205.13464#W5B7 (statement). In JPYGC2R3FC/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.6
7W4FX9TXCH 7W4FX9TXCH
| URI | m2://inv/7W4FX9TXCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36309#G1CG (statement). In FAJ10EJMYE/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
7W4SAF2J5J 7W4SAF2J5J
| URI | m2://inv/7W4SAF2J5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#5M7H (statement). In TB1294GY5X/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.4.2
7W4VR764H8 7W4VR764H8
| URI | m2://inv/7W4VR764H8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13295#YLA8 (example). In 8Q7QXTWD0S/e1, example 5.3
History
- 2026-10-28: add by m2/v0.4.2
7W4W597DRK 7W4W597DRK
| URI | m2://inv/7W4W597DRK |
|---|---|
| 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.33027#YZQA (statement). In E2AF84709B/e1, lemma 17
History
- 2026-10-31: add by m2/v0.5.6
Mori–Zwanzig formalism 7W4W8CB75F
| URI | m2://inv/7W4W8CB75F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mori–Zwanzig formalism, Mori–Zwanzig formalism (definition). Also Wikidata Q63966659
History
- 2026-11-02: add by m2/dev
45-45-90 7W4X973HKT
| URI | m2://inv/7W4X973HKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special right triangle#1RMJ, 45-45-90 (unknown)
History
- 2026-11-02: add by m2/dev
Dilation and area tails 7W520V1TFN
| URI | m2://inv/7W520V1TFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#27GI, Dilation and area tails (statement)
History
- 2026-11-01: add by m2/v0.6.15
7W5583S1RF 7W5583S1RF
| URI | m2://inv/7W5583S1RF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/epistemic-logic/language-epistemic-logic.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
7W5662Q2AK 7W5662Q2AK
| URI | m2://inv/7W5662Q2AK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08658#ZX1V (statement). In 7PK5WS7246/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
7W5CTSEYB2 7W5CTSEYB2
| URI | m2://inv/7W5CTSEYB2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-17 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
Examples 7W5NN0H1BJ
| URI | m2://inv/7W5NN0H1BJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison of topologies#MZQN, Examples (example)
History
- 2026-11-02: add by m2/dev
7W5P55ZDYY 7W5P55ZDYY
| URI | m2://inv/7W5P55ZDYY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#LJD5 (definition). In BDN507RN7J/e1, definition 6.2.1
History
- 2026-10-30: add by m2/v0.4.12
7W5Q20NBJP 7W5Q20NBJP
| URI | m2://inv/7W5Q20NBJP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/non-standard-models.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 49.3
History
- 2026-11-01: add by m2/v0.6.13
7W5TQFZAVM 7W5TQFZAVM
| URI | m2://inv/7W5TQFZAVM |
|---|---|
| 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 2104.00162#KSIV (statement). In HVGT9D84WV/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
Gabriella Pinzari 7W5W33DB2Y
| URI | m2://inv/7W5W33DB2Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y8ZJ, Gabriella Pinzari (topic)
History
- 2026-11-02: add by m2/dev
Rigidity for Klartag's log-Lichnerowicz inequality, Courtade-Fathi 7W5WGD5K05
| URI | m2://inv/7W5WGD5K05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22109#STBC, Rigidity for Klartag's log-Lichnerowicz inequality, Courtade-Fathi (statement). In MZ60NP20BH/e1, theorem 5.8
History
- 2026-10-27: add by m2/v0.4.0
7W605KAKNV 7W605KAKNV
| URI | m2://inv/7W605KAKNV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#CSXP (example). In X88HPQ0W8C/e1, example 2.30
History
- 2026-10-27: add by m2/v0.3.5
7W60AT0QCD 7W60AT0QCD
| URI | m2://inv/7W60AT0QCD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-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.21365#UIT6 (statement). In FCMMB2EVAP/e1, proposition 4.12
History
- 2026-10-27: add by m2/v0.4.2
Two solo nonzero moves defeat SRO 7W61K00AS5
| URI | m2://inv/7W61K00AS5 |
|---|---|
| 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#MQFV, Two solo nonzero moves defeat SRO (statement). In 5E9G06XJKC/e1, lemma E.19
History
- 2026-10-28: add by m2/v0.4.2
7W64CNB2F3 7W64CNB2F3
| URI | m2://inv/7W64CNB2F3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-1.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Florent Bureau 7W65N093WC
| URI | m2://inv/7W65N093WC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CUMZ, Florent Bureau (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FUNQ, Florent Bureau (topic)
History
- 2026-11-02: add by m2/dev
7W6J39DAH2 7W6J39DAH2
| URI | m2://inv/7W6J39DAH2 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1712.02437#BYRR (proof). In GZDFK652T9/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Quadtree 7W6TXDW831
| URI | m2://inv/7W6TXDW831 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#SZB2, Quadtree (unknown)
History
- 2026-11-02: add by m2/dev
7W6VRVTKD1 7W6VRVTKD1
| URI | m2://inv/7W6VRVTKD1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23685#SNO1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Area formula 7W6ZEDPQV7
| URI | m2://inv/7W6ZEDPQV7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area formula (geometric measure theory), Area formula (statement). Also Wikidata Q111914125
History
- 2026-11-02: add by m2/dev
Cosecant 7W7FJBAG13
| URI | m2://inv/7W7FJBAG13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#LJM3, Cosecant (definition)
History
- 2026-11-02: add by m2/dev
Continuous stochastic process 7W80BQ2ND6
| URI | m2://inv/7W80BQ2ND6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous stochastic process, Continuous stochastic process (definition). Also Wikidata Q5165521
History
- 2026-11-02: add by m2/dev
Alexander Friedmann 7W893NEN2D
| URI | m2://inv/7W893NEN2D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Friedmann, Alexander Friedmann (topic). Also Wikidata Q205981
History
- 2026-11-02: add by m2/dev
7W8AY97KES 7W8AY97KES
| URI | m2://inv/7W8AY97KES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15111#YVCK (statement). In 6RE6JYE4GP/e1, lemma E.7
History
- 2026-10-28: add by m2/v0.4.2
7W8HJGVJGP 7W8HJGVJGP
| URI | m2://inv/7W8HJGVJGP |
|---|---|
| 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.04608#ZWRB (statement). In ZYYMXYK7WJ/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.12
Galilean Littlewood–Paley projection 7W8QQKBMRJ
| URI | m2://inv/7W8QQKBMRJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28454#D18N, Galilean Littlewood–Paley projection (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition 2 7W8S1H9CT7
| URI | m2://inv/7W8S1H9CT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amenable group#KKOF, Definition 2 (definition)
History
- 2026-11-02: add by m2/dev
Variants 7W99WAMWAZ
| URI | m2://inv/7W99WAMWAZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial species#XH9S, Variants (statement)
History
- 2026-11-02: add by m2/dev
7W9K4Z4F91 7W9K4Z4F91
| URI | m2://inv/7W9K4Z4F91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.14306#2MZ2 (statement). In ZNBQD5WH1M/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
7W9QTYE5GR 7W9QTYE5GR
| URI | m2://inv/7W9QTYE5GR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#PUP8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Well-colored graph 7WA08KJ890
| URI | m2://inv/7WA08KJ890 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-colored graph, Well-colored graph (definition). Also Wikidata Q65079847
History
- 2026-11-02: add by m2/dev
loop, dependent $n$- 7WA16CV7BN
| URI | m2://inv/7WA16CV7BN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.13/loop-dependent-n, loop, dependent $n$- (concept). In N54F33XE07, index, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
Example 7WA4K5G7DG
| URI | m2://inv/7WA4K5G7DG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ambiguity effect#WXH4, Example (example)
History
- 2026-11-02: add by m2/dev
Methods 7WADD5WYNM
| URI | m2://inv/7WADD5WYNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lateral thinking#8IQ6, Methods (definition)
History
- 2026-11-02: add by m2/dev
Remark 7WAWNP81N9
| URI | m2://inv/7WAWNP81N9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#GYM0, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Wigner semicircle distribution 7WB7HNHTBE
| URI | m2://inv/7WB7HNHTBE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2246294, Wigner semicircle distribution (concept). Also MathWorld WignersSemicircleLaw
- wikipedia: Wikipedia Wigner semicircle distribution, Wigner semicircle distribution (definition). Also Wikidata Q2246294
History
- 2026-10-26: add by m2/dev
7WBBEWJFH6 7WBBEWJFH6
| URI | m2://inv/7WBBEWJFH6 |
|---|---|
| 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 2404.05451#US17 (statement). In 5YMFYAFFJ7/e1, theorem J
History
- 2026-10-27: add by m2/v0.3.5
Hilbe, Joseph 7WBCR0M387
| URI | m2://inv/7WBCR0M387 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#4PJS, Hilbe, Joseph (unknown)
History
- 2026-11-02: add by m2/dev
7WBDC3JRGT 7WBDC3JRGT
| URI | m2://inv/7WBDC3JRGT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#E4YW (example). In X88HPQ0W8C/e1, example 2.10
History
- 2026-10-27: add by m2/v0.3.5
Chetwynd, Amanda 7WBE672X6J
| URI | m2://inv/7WBE672X6J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#W5PM, Chetwynd, Amanda (topic)
History
- 2026-11-02: add by m2/dev
Exponential contraction; *{Theorem C 7WBH1XRWNR
| URI | m2://inv/7WBH1XRWNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#OWQI, Exponential contraction; *{Theorem C (statement). In DDNP38CHQJ/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.3.5
Gordon Pask 7WBKPAJ7TN
| URI | m2://inv/7WBKPAJ7TN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gordon Pask, Gordon Pask (topic). Also Wikidata Q370461
History
- 2026-11-02: add by m2/dev
poly-nilpotent group 7WBPD3TB29
| URI | m2://inv/7WBPD3TB29 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4369993, poly-nilpotent group (unknown). Also EoM Poly-nilpotent_group
History
- 2026-10-26: add by m2/dev
Open questions 7WBTWGYP8T
| URI | m2://inv/7WBTWGYP8T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eternal dominating set#7ACY, Open questions (statement)
History
- 2026-11-02: add by m2/dev
Edward Belbruno 7WBYYPX2BW
| URI | m2://inv/7WBYYPX2BW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Belbruno, Edward Belbruno (topic). Also Wikidata Q5341844
History
- 2026-11-02: add by m2/dev
Generalizations 7WC154JBV8
| URI | m2://inv/7WC154JBV8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forbidden subgraph problem#N540, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
7WCJNFBQVE 7WCJNFBQVE
| URI | m2://inv/7WCJNFBQVE |
|---|---|
| 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.21508#0FPP (statement)
History
- 2026-11-02: add by m2/v0.6.18
7WCJWRHH5X 7WCJWRHH5X
| URI | m2://inv/7WCJWRHH5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38212#GW75 (statement). In 5821K2RD8J/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Polar motion 7WCSE325SA
| URI | m2://inv/7WCSE325SA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar motion, Polar motion (definition). Also Wikidata Q2167025
History
- 2026-11-02: add by m2/dev
Infinity: A Very Short Introduction 7WCYW7DB6F
| URI | m2://inv/7WCYW7DB6F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114004720, Infinity: A Very Short Introduction (unknown). Also ProofWiki Book:Ian_Stewart/Infinity:_A_Very_Short_Introduction
History
- 2026-10-26: add by m2/dev
7WCZ3CT64A 7WCZ3CT64A
| URI | m2://inv/7WCZ3CT64A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.04527#HH4W (statement). In Z9ZXAC6TZQ/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.12
7WCZBE1MSJ 7WCZBE1MSJ
| URI | m2://inv/7WCZBE1MSJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#IXUU (statement). In 8TRCP1482Q/e1, theorem B.24
History
- 2026-10-29: add by m2/v0.4.10
7WDHC3YFPQ 7WDHC3YFPQ
| URI | m2://inv/7WDHC3YFPQ |
|---|---|
| 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.16492#IYRJ (statement). In XQZ3X5A955/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
approach space 7WDW4PAAG3
| URI | m2://inv/7WDW4PAAG3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4781718, approach space (unknown). Also nLab approach space
History
- 2026-10-26: add by m2/dev
7WDY8GF0F2 7WDY8GF0F2
| URI | m2://inv/7WDY8GF0F2 |
|---|---|
| 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 2311.04609#MVVO (statement). In 66W1NPE62D/e1, theorem 0.3
History
- 2026-10-27: add by m2/v0.3.5
7WDZ2A9KK3 7WDZ2A9KK3
| URI | m2://inv/7WDZ2A9KK3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06556#3ED5 (example). In KW8C7VE9XR/e1, example 33
History
- 2026-10-29: add by m2/v0.4.10
Subbase 7WE3FHSBK3
| URI | m2://inv/7WE3FHSBK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#HV5D, Subbase (definition)
History
- 2026-11-02: add by m2/dev
Judgments in law 7WE8AJ3P80
| URI | m2://inv/7WE8AJ3P80 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judgement#657A, Judgments in law (statement)
History
- 2026-11-02: add by m2/dev
7WEBQSJ5Y0 7WEBQSJ5Y0
| URI | m2://inv/7WEBQSJ5Y0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15454#PYPP (statement). In RGQZVNXWM5/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Euclidean group 7WEJ0MVGBQ
| URI | m2://inv/7WEJ0MVGBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Euclidean group 0H3YY8CPKH |
Mentions
- wikidata: Wikidata Q852195, Euclidean group (unknown). Also MathWorld EuclideanGroup
- wikipedia: Wikipedia Euclidean group, Euclidean group (definition). Also Wikidata Q852195
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Matrix t-distribution 7WEMEPR95G
| URI | m2://inv/7WEMEPR95G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#O0TL, Matrix t-distribution (definition)
History
- 2026-11-02: add by m2/dev
7WENA8694C 7WENA8694C
| URI | m2://inv/7WENA8694C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.08885#ZBYF (definition). In B4RHB3CF12/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Gentle singularities 7WER1P4PGB
| URI | m2://inv/7WER1P4PGB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penrose–Hawking singularity theorems#CLP8, Gentle singularities (unknown)
History
- 2026-11-02: add by m2/dev
Benson's algorithm 7WERPJT3ZC
| URI | m2://inv/7WERPJT3ZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benson's algorithm, Benson's algorithm (definition). Also Wikidata Q4890227
History
- 2026-11-02: add by m2/dev
Applications 7WETF1M1XW
| URI | m2://inv/7WETF1M1XW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reuleaux polygon#0OPK, Applications (example)
History
- 2026-11-02: add by m2/dev
7WEVDZXH6E 7WEVDZXH6E
| URI | m2://inv/7WEVDZXH6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.06512#ZR2J (statement). In RY2X22P6XW/e1, corollary 46
History
- 2026-10-27: add by m2/v0.3.5
Cahn–Hilliard equation 7WEXKJM2MG
| URI | m2://inv/7WEXKJM2MG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#7A6S, Cahn–Hilliard equation (definition)
History
- 2026-11-02: add by m2/dev
Diagonals in shrinking windows 7WF13812E9
| URI | m2://inv/7WF13812E9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#YLTE, Diagonals in shrinking windows (statement). In NKXTXH59P1/e1, lemma E.24
History
- 2026-10-29: add by m2/v0.4.10
induction hypothesis 7WF47BFGVP
| URI | m2://inv/7WF47BFGVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54505027, induction hypothesis (definition). Also ProofWiki Definition:Induction_Hypothesis
History
- 2026-10-26: add by m2/dev
Goldbach's conjecture 7WF6H3ETA2
| URI | m2://inv/7WF6H3ETA2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldbach's conjecture#HHG5, Goldbach's conjecture (statement)
History
- 2026-11-02: add by m2/dev
7WF85SBXKK 7WF85SBXKK
| URI | m2://inv/7WF85SBXKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.13888#L8UH (statement). In 2G5K2GZTX7/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.0
7WFDCHN6ZJ 7WFDCHN6ZJ
| URI | m2://inv/7WFDCHN6ZJ |
|---|---|
| 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.21454#RCNU (statement). In ZP2RJFZ3V2/e1, corollary 3.1
History
- 2026-10-27: add by m2/v0.4.2
7WFFJAD4KN 7WFFJAD4KN
| URI | m2://inv/7WFFJAD4KN |
|---|---|
| Kind | definition |
| 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 2609.34570#RIFV (definition). In EVFX1R7ZDD/e1, definition 4
History
- 2026-10-30: add by m2/v0.4.12
Gardner, Martha M. 7WFJ2VAT2N
| URI | m2://inv/7WFJ2VAT2N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#NBOZ, Gardner, Martha M. (topic)
History
- 2026-11-02: add by m2/dev
7WFQNED77S 7WFQNED77S
| URI | m2://inv/7WFQNED77S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14085#JX8B (statement). In T8F19ZGHF3/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.2
7WFYN2YK6H 7WFYN2YK6H
| URI | m2://inv/7WFYN2YK6H |
|---|---|
| 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 2503.22636#C1BI (statement). In 2X2A6MT0QD/e1, theorem C
History
- 2026-10-27: add by m2/v0.4.2
7WG01528PN 7WG01528PN
| URI | m2://inv/7WG01528PN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14450#V13S (statement). In ZHTGQT07PE/e1, proposition 4.20
History
- 2026-10-28: add by m2/v0.4.2
7WG142DE4T 7WG142DE4T
| URI | m2://inv/7WG142DE4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#1DMV (statement). In BDN507RN7J/e1, proposition 4.4.12
History
- 2026-10-30: add by m2/v0.4.12
High school exterior angle theorem 7WG1JGB4E9
| URI | m2://inv/7WG1JGB4E9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior angle theorem#UMKR, High school exterior angle theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition 7WGN4T4573
| URI | m2://inv/7WGN4T4573 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotonically normal space#GUTZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
$C^k$ cell decomposition 7WGPAGPKJP
| URI | m2://inv/7WGPAGPKJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#0QTN, $C^k$ cell decomposition (statement). In ZJ6VQCRDVR/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
7WGXJDZ6D7 7WGXJDZ6D7
| URI | m2://inv/7WGXJDZ6D7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17957#M1B6 (statement). In T5ZBX4YPZB/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
local 7WGZ8ESYZ8
| URI | m2://inv/7WGZ8ESYZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#376U, local (definition)
History
- 2026-11-02: add by m2/dev
Luzin N property 7WH2STYAT8
| URI | m2://inv/7WH2STYAT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luzin N property, Luzin N property (definition). Also Wikidata Q1160012
History
- 2026-11-02: add by m2/dev
Jennifer Flegg 7WH49MGSTT
| URI | m2://inv/7WH49MGSTT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jennifer Flegg, Jennifer Flegg (topic). Also Wikidata Q30361383
History
- 2026-11-02: add by m2/dev
First Main Theorem of Value Distribution Theory 7WHAAFR5CR
| URI | m2://inv/7WHAAFR5CR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Complex analysis > First Main Theorem of Value Distribution Theory, First Main Theorem of Value Distribution Theory (unknown). Also Mathlib ValueDistribution.characteristic_sub_characteristic_inv_le
History
- 2026-10-26: add by m2/dev
Backfitting algorithm 7WHC6WXT7W
| URI | m2://inv/7WHC6WXT7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Backfitting algorithm, Backfitting algorithm (definition). Also Wikidata Q4839620
History
- 2026-11-02: add by m2/dev
7WHD1CR65Q 7WHD1CR65Q
| URI | m2://inv/7WHD1CR65Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1503.05744#NTIB (statement). In 5XKHZKEGAF/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.5
System on TPTP 7WHDVB032X
| URI | m2://inv/7WHDVB032X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System on TPTP, System on TPTP (definition). Also Wikidata Q7663739
History
- 2026-11-02: add by m2/dev
Stacking number of paths, {*{Theorem 7.4 7WHGMRSRYT
| URI | m2://inv/7WHGMRSRYT |
|---|---|
| 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.09650#ZKOL, Stacking number of paths, {*{Theorem 7.4 (statement). In 628KM8869P/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
7WHH8P9DFZ 7WHH8P9DFZ
| URI | m2://inv/7WHH8P9DFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-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 2504.00596#7EKL (statement). In F8RC6AENB0/e1, proposition 7.12
History
- 2026-10-27: add by m2/v0.3.5
7WHPQ6K20Z 7WHPQ6K20Z
| URI | m2://inv/7WHPQ6K20Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.05986#N5O5 (statement). In N5ZM8MXJXH/e1, fact 2.3
History
- 2026-10-29: add by m2/v0.4.10
7WHYGJ40V3 7WHYGJ40V3
| URI | m2://inv/7WHYGJ40V3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25761#QT67 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NESSIE 7WHYX10NVD
| URI | m2://inv/7WHYX10NVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NESSIE, NESSIE (definition). Also Wikidata Q1663719
History
- 2026-11-02: add by m2/dev
Local algebraic-dimension theorem 7WJ4B833BG
| URI | m2://inv/7WJ4B833BG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#LR8O, Local algebraic-dimension theorem (statement). In RZDNWV9E29/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.6
7WJ6BW88TC 7WJ6BW88TC
| URI | m2://inv/7WJ6BW88TC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#D38F (statement). In 90QTB4CC31/e1, theorem 3.30
History
- 2026-10-28: add by m2/v0.4.2
Rabin fingerprint 7WJ778A50V
| URI | m2://inv/7WJ778A50V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rabin fingerprint, Rabin fingerprint (definition). Also Wikidata Q2125043
History
- 2026-11-02: add by m2/dev
7WJ7FTBEAT 7WJ7FTBEAT
| URI | m2://inv/7WJ7FTBEAT |
|---|---|
| Kind | statement |
| 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#49JS (statement). In 8SVVEVGMNE/e1, proposition 4.22
History
- 2026-10-27: add by m2/v0.3.5
7WJ8STDHR0 7WJ8STDHR0
| URI | m2://inv/7WJ8STDHR0 |
|---|---|
| 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 1712.02437#USSV (statement). In GZDFK652T9/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Ex-tangential quadrilateral 7WJASXKJ0Y
| URI | m2://inv/7WJASXKJ0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ex-tangential quadrilateral, Ex-tangential quadrilateral (definition). Also Wikidata Q5419140
History
- 2026-11-02: add by m2/dev
Pointwise stabilizers of non-collinear triples 7WJAY9PYWX
| URI | m2://inv/7WJAY9PYWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#W17Y, Pointwise stabilizers of non-collinear triples (statement). In 9NVKKW8HDH/e1, lemma 2.67
History
- 2026-10-28: add by m2/v0.4.2
Public-key steganography 7WJD0Y8YT3
| URI | m2://inv/7WJD0Y8YT3 |
|---|---|
| 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.14615#GFM2, Public-key steganography (statement). In 7D5MMP8XB5/e1, corollary 8.4
History
- 2026-10-28: add by m2/v0.4.2
Convergence of LKQL 7WJDGK28TF
| URI | m2://inv/7WJDGK28TF |
|---|---|
| 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.27741#XQ0R, Convergence of LKQL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples of algebraic integers 7WJHDVKKSY
| URI | m2://inv/7WJHDVKKSY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#example-2, Examples of algebraic integers (example). In RZP28ERRZV, example, section 16.2
History
- 2026-11-01: add by m2/v0.6.13
Enneagram 7WJJPVTHXP
| URI | m2://inv/7WJJPVTHXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#FG36, Enneagram (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#TL00, Enneagram (definition)
History
- 2026-11-02: add by m2/dev
General definition 7WJP9T7FR1
| URI | m2://inv/7WJP9T7FR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Induced homomorphism#49HD, General definition (definition)
History
- 2026-11-02: add by m2/dev
Halperin conjecture 7WJQ1HHG4C
| URI | m2://inv/7WJQ1HHG4C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halperin conjecture, Halperin conjecture (statement). Also Wikidata Q85765562
History
- 2026-11-02: add by m2/dev
Bruno Abakanowicz 7WJQ6A17ZW
| URI | m2://inv/7WJQ6A17ZW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruno Abakanowicz, Bruno Abakanowicz (topic). Also Wikidata Q2483013
History
- 2026-11-02: add by m2/dev
7WJQR4VYJB 7WJQR4VYJB
| URI | m2://inv/7WJQR4VYJB |
|---|---|
| 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 2011.14561#5WEL (statement). In V2XJJJX1Z8/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Non-separable wavelet 7WJXCJWC3Z
| URI | m2://inv/7WJXCJWC3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-separable wavelet, Non-separable wavelet (definition). Also Wikidata Q28035619
History
- 2026-11-02: add by m2/dev
Properties 7WK547APM8
| URI | m2://inv/7WK547APM8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn polynomials#GQQ9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Purity budget 7WKASF5NMV
| URI | m2://inv/7WKASF5NMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04271#T6MC, Purity budget (statement). In WBXAW9G4JB/e1, proposition 13.1
History
- 2026-10-29: add by m2/v0.4.12
Properties 7WKH0B7AW2
| URI | m2://inv/7WKH0B7AW2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoidal monad#B07R, Properties (statement)
History
- 2026-11-02: add by m2/dev
7WKHB6CMCY 7WKHB6CMCY
| URI | m2://inv/7WKHB6CMCY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34168#R2DP (statement). In 30YQV8N04M/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
Definition 7WKQNR7VEG
| URI | m2://inv/7WKQNR7VEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diophantine approximation#YI7V, Definition (definition)
History
- 2026-11-02: add by m2/dev
Robin Plackett 7WKSD7BM19
| URI | m2://inv/7WKSD7BM19 |
|---|---|
| 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#FQL6, Robin Plackett (topic)
History
- 2026-11-02: add by m2/dev
Total Function 7WM4HAHP5S
| URI | m2://inv/7WM4HAHP5S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial function#BWFE, Total Function (unknown)
History
- 2026-11-02: add by m2/dev
Power series 7WMAT191NF
| URI | m2://inv/7WMAT191NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#KI20, Power series (definition)
History
- 2026-11-02: add by m2/dev
Notation 7WMCRZKQKC
| URI | m2://inv/7WMCRZKQKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ADM formalism#MQ9B, Notation (definition)
History
- 2026-11-02: add by m2/dev
7WMDF6GPG4 7WMDF6GPG4
| URI | m2://inv/7WMDF6GPG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#BOXV (statement)
History
- 2026-11-01: add by m2/v0.6.15
7WMHNFCD3Q 7WMHNFCD3Q
| URI | m2://inv/7WMHNFCD3Q |
|---|---|
| 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 Q14491931 (unknown). Also nLab Thomas Streicher
History
- 2026-10-26: add by m2/dev
7WMKF2FVMR 7WMKF2FVMR
| URI | m2://inv/7WMKF2FVMR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-4.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Small dodecicosahedron 7WNDMZ3TFR
| URI | m2://inv/7WNDMZ3TFR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#K1G0, Small dodecicosahedron (object)
History
- 2026-11-02: add by m2/dev
7WNJJP916Z 7WNJJP916Z
| URI | m2://inv/7WNJJP916Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26162#QGQR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 7WNY7BWG51
| URI | m2://inv/7WNY7BWG51 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal stopping#74NF, Examples (example)
History
- 2026-11-02: add by m2/dev
7WNZAVGPXB 7WNZAVGPXB
| URI | m2://inv/7WNZAVGPXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#3SMD (statement). In KH1H3TSWPS/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.6
Software for solving polynomial systems 7WP8PVWV05
| URI | m2://inv/7WP8PVWV05 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of polynomial equations#RNYF, Software for solving polynomial systems (unknown)
History
- 2026-11-02: add by m2/dev
7WPAY4S3K1 7WPAY4S3K1
| URI | m2://inv/7WPAY4S3K1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#contrfamtotalpostcompequiv (statement). In N54F33XE07, cor, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
isotopy 7WPBS08EZE
| URI | m2://inv/7WPBS08EZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#DZ6R, isotopy (definition)
History
- 2026-11-02: add by m2/dev
Median edges 7WPDY475MZ
| URI | m2://inv/7WPDY475MZ |
|---|---|
| Kind | definition |
| 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 2610.07285#1Y9R, Median edges (definition). In S284XRA4WK/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
7WPE1QDV0D 7WPE1QDV0D
| URI | m2://inv/7WPE1QDV0D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#09FQ (statement). In 5KR3MHYVV6/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Conditional bias of the stochastic critic error 7WPF2A35NP
| URI | m2://inv/7WPF2A35NP |
|---|---|
| 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.39837#K2I9, Conditional bias of the stochastic critic error (statement). In MDQXTBEK0F/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
A moment-only sufficient condition 7WPXEQDGTT
| URI | m2://inv/7WPXEQDGTT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#EE69, A moment-only sufficient condition (statement). In FTPW1SZ8D3/e1, lemma B.7
History
- 2026-10-30: add by m2/v0.4.12
7WQE0NMBZH 7WQE0NMBZH
| URI | m2://inv/7WQE0NMBZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17589#R3UW (statement). In GSTK4569X1/e1, corollary 7.6
History
- 2026-10-28: add by m2/v0.4.2
7WQGAJNAS9 7WQGAJNAS9
| URI | m2://inv/7WQGAJNAS9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Routh–Hurwitz theorem 7WQPW52C8K
| URI | m2://inv/7WQPW52C8K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#K8SY, Routh–Hurwitz theorem (statement)
History
- 2026-11-02: add by m2/dev
string, binary 7WQYF1JKEP
| URI | m2://inv/7WQYF1JKEP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.1/string-binary, string, binary (concept). In QKM9DD2H56, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Milliken's tree theorem 7WR07DB0Q5
| URI | m2://inv/7WR07DB0Q5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6859627, Milliken's tree theorem (statement). Also Wikidata Q6859627
- thousand_plus: thousand_plus Q6859627, Milliken's tree theorem (statement). Also Wikidata Q6859627, Wikipedia Milliken's tree theorem
- wikipedia: Wikipedia Milliken's tree theorem, Milliken's tree theorem (statement). Also Wikidata Q6859627
History
- 2026-10-26: add by m2/dev
7WR17EJV24 7WR17EJV24
| URI | m2://inv/7WR17EJV24 |
|---|---|
| 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 2205.06433#R8B1 (statement). In 628PJKD3EV/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Transformer size and covering numbers 7WR1G42HK3
| URI | m2://inv/7WR1G42HK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05333#ML40, Transformer size and covering numbers (statement). In N37WKFTR7Q/e1, proposition E.7
History
- 2026-10-29: add by m2/v0.4.10
7WR3GVWGD3 7WR3GVWGD3
| URI | m2://inv/7WR3GVWGD3 |
|---|---|
| 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.24845#BUI1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Isabel Hubard Escalera 7WR8H9J8SH
| URI | m2://inv/7WR8H9J8SH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isabel Hubard Escalera, Isabel Hubard Escalera (topic). Also Wikidata Q20995118
History
- 2026-11-02: add by m2/dev
Variations 7WR9REZ2RB
| URI | m2://inv/7WR9REZ2RB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutual information#7ELG, Variations (statement)
History
- 2026-11-02: add by m2/dev
Population oscillation 7WRFWMDX1G
| URI | m2://inv/7WRFWMDX1G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population dynamics#Q1G4, Population oscillation (unknown)
History
- 2026-11-02: add by m2/dev
Definition 7WRGP59AXC
| URI | m2://inv/7WRGP59AXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal form for free groups and free product of groups#YM9Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications 7WRHS03ZW3
| URI | m2://inv/7WRHS03ZW3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermoelectric effect#90FS, Applications (example)
History
- 2026-11-02: add by m2/dev
7WRXN24G6Q 7WRXN24G6Q
| URI | m2://inv/7WRXN24G6Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#ASMN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Basic Local Alignment Search Tool 7WRZ3VKB4B
| URI | m2://inv/7WRZ3VKB4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#76ZE, Basic Local Alignment Search Tool (unknown)
History
- 2026-11-02: add by m2/dev
7WS4X21E90 7WS4X21E90
| URI | m2://inv/7WS4X21E90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.01087#JBKK (statement). In 7QXAZXGNPQ/e1, theorem 6.4
History
- 2026-10-29: add by m2/v0.4.12
7WS532V1E2 7WS532V1E2
| URI | m2://inv/7WS532V1E2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#9989 (statement)
History
- 2026-11-01: add by m2/v0.6.15
7WS8N3EV1M 7WS8N3EV1M
| URI | m2://inv/7WS8N3EV1M |
|---|---|
| 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.20002#8I8D (statement)
History
- 2026-11-02: add by m2/v0.6.18
Global stability 7WS8S2N1QB
| URI | m2://inv/7WS8S2N1QB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01299#6O8H, Global stability (statement). In Z7FB8DPPDQ/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
local homeomorphism 7WSCQ72M8S
| URI | m2://inv/7WSCQ72M8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Local homeomorphism MDH71ZZ8XX |
Mentions
- wikidata: Wikidata Q1052761, local homeomorphism (unknown). Also nLab local homeomorphism
- wikipedia: Wikipedia Local homeomorphism, Local homeomorphism (definition). Also Wikidata Q1052761
History
- 2026-10-26: add by m2/dev
7WSFTE6ZPS 7WSFTE6ZPS
| URI | m2://inv/7WSFTE6ZPS |
|---|---|
| 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.14377#C8FE (statement). In WEZPNET90D/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Gauss–Kuzmin distribution 7WSTH6WB4M
| URI | m2://inv/7WSTH6WB4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#F2OV, Gauss–Kuzmin distribution (definition)
History
- 2026-11-02: add by m2/dev
Examples 7WSVEKPYZF
| URI | m2://inv/7WSVEKPYZF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservative extension#RENS, Examples (example)
History
- 2026-11-02: add by m2/dev
7WSWN7XV1X 7WSWN7XV1X
| URI | m2://inv/7WSWN7XV1X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-27 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
Sergey Yekhanin 7WT79PPNWQ
| URI | m2://inv/7WT79PPNWQ |
|---|---|
| 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#4IP1, Sergey Yekhanin (unknown)
History
- 2026-11-02: add by m2/dev
Quadratic dual rigidity 7WT8QCER50
| URI | m2://inv/7WT8QCER50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#ORUW, Quadratic dual rigidity (statement). In 9YAE8FNQST/e1, theorem 12.2
History
- 2026-10-30: add by m2/v0.4.12
Examples 7WTA62KKN4
| URI | m2://inv/7WTA62KKN4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filter (mathematics)#5WKE, Examples (example)
History
- 2026-11-02: add by m2/dev
7WTC2YJ5H6 7WTC2YJ5H6
| URI | m2://inv/7WTC2YJ5H6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33512#IDZW (statement). In WYHZMYZT31/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
7WTCHJPCNW 7WTCHJPCNW
| URI | m2://inv/7WTCHJPCNW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03358#WUEB (definition). In KCXEY7HJ8V/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.12
SSL 1 7WTECMEKQ9
| URI | m2://inv/7WTECMEKQ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport Layer Security#Z366, SSL 1 (unknown)
History
- 2026-11-02: add by m2/dev
7WTFF0YP3V 7WTFF0YP3V
| URI | m2://inv/7WTFF0YP3V |
|---|---|
| Kind | example |
| 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.31910#BW09 (example). In E4EK1XXPY4/e1, example 5.21
History
- 2026-10-31: add by m2/v0.5.6
Rudolfsheim-Fünfhaus 7WTSH2QRS9
| URI | m2://inv/7WTSH2QRS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#06CI, Rudolfsheim-Fünfhaus (unknown)
History
- 2026-11-02: add by m2/dev
7WTXEBGPH3 7WTXEBGPH3
| URI | m2://inv/7WTXEBGPH3 |
|---|---|
| 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.32834#9HZ8 (statement). In N4M6B8EMCW/e1, lemma 3.5
History
- 2026-10-31: add by m2/v0.5.6
7WV0ADGJWJ 7WV0ADGJWJ
| URI | m2://inv/7WV0ADGJWJ |
|---|---|
| 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.04876#UIUC (statement). In 2TNAKVC0YP/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.12
Weil's criterion 7WV2SP37H4
| URI | m2://inv/7WV2SP37H4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil's criterion, Weil's criterion (statement). Also Wikidata Q7980177
History
- 2026-11-02: add by m2/dev
Exact conductor of the top-weight sheaf 7WV4AA2196
| URI | m2://inv/7WV4AA2196 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#U2X9, Exact conductor of the top-weight sheaf (statement). In QPJ6FWG5HD/e1, theorem 2.98
History
- 2026-10-29: add by m2/v0.4.12
Tarski's theorem about choice 7WV5PH2EG9
| URI | m2://inv/7WV5PH2EG9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's theorem about choice, Tarski's theorem about choice (statement). Also Wikidata Q2908743
History
- 2026-11-02: add by m2/dev
second neural $H(\divvr)$ class 7WVVTAFJQ6
| URI | m2://inv/7WVVTAFJQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#2PPE, second neural $H(\divvr)$ class (statement). In YR3CSTYEJW/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Adams' Circle 7WVXKVZRYC
| URI | m2://inv/7WVXKVZRYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q125684910, Adams' Circle (unknown). Also MathWorld AdamsCircle
History
- 2026-10-26: add by m2/dev
7WW9KR7MCV 7WW9KR7MCV
| URI | m2://inv/7WW9KR7MCV |
|---|---|
| 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 2211.14629#GJJ0 (example). In AX7TZJ5PP9/e1, example 3
History
- 2026-10-27: add by m2/v0.3.5
Zarechny 7WWAN5FVYD
| URI | m2://inv/7WWAN5FVYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#L0ZI, Zarechny (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 7WWE9KKMZG
| URI | m2://inv/7WWE9KKMZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dubins–Spanier theorems#V54X, Theorem (statement)
History
- 2026-11-02: add by m2/dev
7WWJSTK88Z 7WWJSTK88Z
| URI | m2://inv/7WWJSTK88Z |
|---|---|
| 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.37337#YL4E (example). In 813JGZV08G/e1, example 4.3
History
- 2026-10-30: add by m2/v0.4.12
7WWMKFPTJ7 7WWMKFPTJ7
| URI | m2://inv/7WWMKFPTJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#3ETE (statement)
History
- 2026-11-01: add by m2/v0.6.15
7WWP8TPYFM 7WWP8TPYFM
| URI | m2://inv/7WWP8TPYFM |
|---|---|
| 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.26366#6JMZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 7WWXMC5TVG
| URI | m2://inv/7WWXMC5TVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dowker–Thistlethwaite notation#6WUU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalizations 7WWXS0GK4H
| URI | m2://inv/7WWXS0GK4H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semidirect product#9O42, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Pentagon scale relation 7WX3JJMZPC
| URI | m2://inv/7WX3JJMZPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.27799#BXH2, Pentagon scale relation (statement)
History
- 2026-11-01: add by m2/v0.6.15
7WX40MQVMG 7WX40MQVMG
| URI | m2://inv/7WX40MQVMG |
|---|---|
| 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.24451#KETV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 7WX4KBJVDB
| URI | m2://inv/7WX4KBJVDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous binomial distribution#ACJ1, Properties (statement)
History
- 2026-11-02: add by m2/dev
definition, by structural recursion 7WX4VSJEJF
| URI | m2://inv/7WX4VSJEJF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.1/definition-by-structural-recursion, definition, by structural recursion (concept). In N54F33XE07, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
7WX9VKXMHP 7WX9VKXMHP
| URI | m2://inv/7WX9VKXMHP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13063#SVO6 (example). In R5AFFWBMAF/e1, example A.2
History
- 2026-10-28: add by m2/v0.4.2
7WXDM1CHYY 7WXDM1CHYY
| URI | m2://inv/7WXDM1CHYY |
|---|---|
| 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.09390#5HXL (statement). In 7SSKW778T8/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Mara Neusel 7WXF9G5NN0
| URI | m2://inv/7WXF9G5NN0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#WUHG, Mara Neusel (topic)
History
- 2026-11-02: add by m2/dev
Con 7WXRB6TK1X
| URI | m2://inv/7WXRB6TK1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#EW62, Con (definition)
History
- 2026-11-02: add by m2/dev
Type I, Type $\mathrm{I}_2$, Type II trichotomy 7WXZ0XDW25
| URI | m2://inv/7WXZ0XDW25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09567#PKFD, Type I, Type $\mathrm{I}_2$, Type II trichotomy (statement). In 7RV6BDZAFK/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
7WY0F6KH5K 7WY0F6KH5K
| URI | m2://inv/7WY0F6KH5K |
|---|---|
| Kind | example |
| 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 2503.16884#J5AM (example). In B984KNW591/e1, example 3.1
History
- 2026-10-27: add by m2/v0.3.5
7WYAV9FDVD 7WYAV9FDVD
| URI | m2://inv/7WYAV9FDVD |
|---|---|
| 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 2606.00589#QY18 (statement). In C8JAGP8VCQ/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
Variable 7WYEG193R3
| URI | m2://inv/7WYEG193R3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KPU7, Variable (definition)
History
- 2026-11-02: add by m2/dev
7WYEXS0VJQ 7WYEXS0VJQ
| URI | m2://inv/7WYEXS0VJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16834#5Q79 (statement). In Q0DTV6PJJW/e1, corollary 3.4
History
- 2026-10-28: add by m2/v0.4.2
7WYFKAXMH7 7WYFKAXMH7
| URI | m2://inv/7WYFKAXMH7 |
|---|---|
| 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 2609.24795#3F7S (definition)
History
- 2026-11-01: add by m2/v0.6.15
Guillaume Le Blond 7WYG0AH9WT
| URI | m2://inv/7WYG0AH9WT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guillaume Le Blond, Guillaume Le Blond (topic). Also Wikidata Q3120019
History
- 2026-11-02: add by m2/dev
Star-free language 7WYJMD4CSA
| URI | m2://inv/7WYJMD4CSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star-free language, Star-free language (definition). Also Wikidata Q3217203
History
- 2026-11-02: add by m2/dev
7WYSY594TK 7WYSY594TK
| URI | m2://inv/7WYSY594TK |
|---|---|
| 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#NP89 (statement). In ZHP1MFSACN/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Upper bound for $E(P_{\leq k_0+4}u)$ 7WYY2Y1V4M
| URI | m2://inv/7WYY2Y1V4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15460#2VGE, Upper bound for $E(P_{\leq k_0+4}u)$ (statement). In T2Z3D2VQ9B/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Examples 7WZVZED374
| URI | m2://inv/7WZVZED374 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jabotinsky matrix#3QX4, Examples (example)
History
- 2026-11-02: add by m2/dev