Inventory rows 6V
The cards of the rows of the inventory whose ids start with 6V. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Definition 6V027A7R6D
| URI | m2://inv/6V027A7R6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flow network#EN0B, Definition (definition)
History
- 2026-11-02: add by m2/dev
6V04PYQBBT 6V04PYQBBT
| URI | m2://inv/6V04PYQBBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#TZ8X (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hyper-Graeco-Latin square design 6V0DK90HXG
| URI | m2://inv/6V0DK90HXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DQ72, Hyper-Graeco-Latin square design (definition)
History
- 2026-11-02: add by m2/dev
6V0PCHQ98J 6V0PCHQ98J
| URI | m2://inv/6V0PCHQ98J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-13 (example). In E59CDZA4DP, example, section 10.3.4
History
- 2026-11-01: add by m2/v0.6.13
To the power of zero 6V0PZN9T11
| URI | m2://inv/6V0PZN9T11 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentiation#1HN5, To the power of zero (unknown)
History
- 2026-11-02: add by m2/dev
Nine dots puzzle 6V14QY6DFF
| URI | m2://inv/6V14QY6DFF |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nine dots puzzle, Nine dots puzzle (problem). Also Wikidata Q113516783
History
- 2026-11-02: add by m2/dev
6V154805SA 6V154805SA
| URI | m2://inv/6V154805SA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20097#O6BZ (statement). In Q61JJV39K1/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.2
Raetia Prima 6V18C9H522
| URI | m2://inv/6V18C9H522 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#G3SN, Raetia Prima (unknown)
History
- 2026-11-02: add by m2/dev
6V1Q7Z0DDC 6V1Q7Z0DDC
| URI | m2://inv/6V1Q7Z0DDC |
|---|---|
| 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.22374#KZBR (statement)
History
- 2026-11-02: add by m2/v0.6.17
6V1RNQWEB0 6V1RNQWEB0
| URI | m2://inv/6V1RNQWEB0 |
|---|---|
| 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.25431#JIX6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dense sublattices with suitable blocks 6V1T70DQJS
| URI | m2://inv/6V1T70DQJS |
|---|---|
| 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.15265#RXAF, Dense sublattices with suitable blocks (statement). In TCQ1JBR84Y/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
6V20RSM3W6 6V20RSM3W6
| URI | m2://inv/6V20RSM3W6 |
|---|---|
| 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.21472#GT4C (statement)
History
- 2026-11-02: add by m2/v0.6.18
6V23V6AWXA 6V23V6AWXA
| URI | m2://inv/6V23V6AWXA |
|---|---|
| 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.39269#47MD (statement). In HS4X20TX33/e1, fact 0.11
History
- 2026-10-30: add by m2/v0.4.12
Fractional Frenet equations 6V26Z46BVY
| URI | m2://inv/6V26Z46BVY |
|---|---|
| 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 2610.03754#NQ5S, Fractional Frenet equations (statement). In J1Z9P0H13V/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
6V28NVZEFW 6V28NVZEFW
| URI | m2://inv/6V28NVZEFW |
|---|---|
| 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 2609.25539#6FT6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hall 6V2EQ60BVG
| URI | m2://inv/6V2EQ60BVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-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.04870#88X2, Hall (statement). In X765ZXXVC3/e1, theorem 3.7
History
- 2026-10-29: add by m2/v0.4.12
Implementations 6V2HW9T3J5
| URI | m2://inv/6V2HW9T3J5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncentral F-distribution#T6Y6, Implementations (definition)
History
- 2026-11-02: add by m2/dev
major connective 6V2JK8VZE2
| URI | m2://inv/6V2JK8VZE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BB2K, major connective (definition)
History
- 2026-11-02: add by m2/dev
Weak-type bound for the Rubio de Francia square function 6V2M17HJ8K
| URI | m2://inv/6V2M17HJ8K |
|---|---|
| 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 2609.20531#0NHR, Weak-type bound for the Rubio de Francia square function (statement)
History
- 2026-11-02: add by m2/v0.6.18
P. R. Halmos 6V2ZH21PT4
| URI | m2://inv/6V2ZH21PT4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#8PW3, P. R. Halmos (topic)
History
- 2026-11-02: add by m2/dev
Lyapunov inequality for the observer 6V36S6GSA6
| URI | m2://inv/6V36S6GSA6 |
|---|---|
| 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.36334#Q5U9, Lyapunov inequality for the observer (statement). In YVB70SBGN1/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Game I $\geqslant$ Game III 6V37N2DWVJ
| URI | m2://inv/6V37N2DWVJ |
|---|---|
| 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 1803.10042#N9J8, Game I $\geqslant$ Game III (statement). In 718SP8YERQ/e1, proposition A2
History
- 2026-10-27: add by m2/v0.3.5
Mathematical physics 6V3CFEZ9CV
| URI | m2://inv/6V3CFEZ9CV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#4NI7, Mathematical physics (definition)
History
- 2026-11-02: add by m2/dev
6V3Y3T6KXV 6V3Y3T6KXV
| URI | m2://inv/6V3Y3T6KXV |
|---|---|
| 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.16631#IUZJ (statement). In T735PRQNJB/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
6V3ZKYNS43 6V3ZKYNS43
| URI | m2://inv/6V3ZKYNS43 |
|---|---|
| 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.38548#Y9PB (statement). In Z7ZFV3HM1S/e1, proposition 6.4
History
- 2026-10-30: add by m2/v0.4.12
6V44W2W6TY 6V44W2W6TY
| URI | m2://inv/6V44W2W6TY |
|---|---|
| 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 math/0003117#PROI (statement). In WD2NCBV9F0/e1, lemma 13.14
History
- 2026-10-27: add by m2/v0.3.5
fraction 6V45SWXWJ1
| URI | m2://inv/6V45SWXWJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q66055, fraction (unknown). Also EoM Fraction, MathWorld Fraction
- wikipedia: Wikipedia Fraction, Fraction (definition). Also Wikidata Q66055
History
- 2026-10-26: add by m2/dev
John Mackintosh Howie 6V48EKQT73
| URI | m2://inv/6V48EKQT73 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Mackintosh Howie, John Mackintosh Howie (topic). Also Wikidata Q195865
History
- 2026-11-02: add by m2/dev
Yuri Kifer 6V48JPBHXC
| URI | m2://inv/6V48JPBHXC |
|---|---|
| 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#Z3FL, Yuri Kifer (unknown)
History
- 2026-11-02: add by m2/dev
6V48MM83A5 6V48MM83A5
| URI | m2://inv/6V48MM83A5 |
|---|---|
| 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 2109.09268#Q24L (statement). In SYZFEVFHC3/e1, lemma 2.23
History
- 2026-10-27: add by m2/v0.3.5
6V4K18X2DX 6V4K18X2DX
| URI | m2://inv/6V4K18X2DX |
|---|---|
| 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.11836#4XWY (statement). In 1X68TCGB9E/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.3
Uniform bounds for score expansion 6V4KZK7BHG
| URI | m2://inv/6V4KZK7BHG |
|---|---|
| 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.20944#1Q8P, Uniform bounds for score expansion (statement). In DRRKZR6CQC/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.4.2
6V4Q6YKCC5 6V4Q6YKCC5
| URI | m2://inv/6V4Q6YKCC5 |
|---|---|
| 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.20656#BRL8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
6V4QGH3JK9 6V4QGH3JK9
| URI | m2://inv/6V4QGH3JK9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20972#AB4H (example). In 6SZE4MTXGZ/e1, example 4.7
History
- 2026-10-27: add by m2/v0.4.2
Straw man 6V4RBTB6TR
| URI | m2://inv/6V4RBTB6TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straw man, Straw man (definition). Also Wikidata Q912820
History
- 2026-11-02: add by m2/dev
6V4VTQM4A9 6V4VTQM4A9
| URI | m2://inv/6V4VTQM4A9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.33442#VQAG (statement). In EWY5YPMKA3/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
List of cryptographers 6V50X9W4TS
| URI | m2://inv/6V50X9W4TS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers, List of cryptographers (topic). Also Wikidata Q779391
History
- 2026-11-02: add by m2/dev
Ergodicity: existence, uniqueness, exponential convergence 6V582J2S5A
| URI | m2://inv/6V582J2S5A |
|---|---|
| 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.37944#4OBE, Ergodicity: existence, uniqueness, exponential convergence (statement). In KP94WJVJXY/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Gaussian hypercontractive inequality 6V5BZ3Y5MQ
| URI | m2://inv/6V5BZ3Y5MQ |
|---|---|
| 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.16180#DTZ1, Gaussian hypercontractive inequality (statement). In FCFD59D3T6/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
Two-step M-estimator 6V5RE2HM8J
| URI | m2://inv/6V5RE2HM8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-step M-estimator, Two-step M-estimator (definition). Also Wikidata Q48996123
History
- 2026-11-02: add by m2/dev
6V5VVN9E7T 6V5VVN9E7T
| URI | m2://inv/6V5VVN9E7T |
|---|---|
| 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.10474#83KS (statement). In MB29RAAQMG/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
Matrix difference equation 6V5ZSZQ0K8
| URI | m2://inv/6V5ZSZQ0K8 |
|---|---|
| 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#YCME, Matrix difference equation (definition)
History
- 2026-11-02: add by m2/dev
6V622GSZTG 6V622GSZTG
| URI | m2://inv/6V622GSZTG |
|---|---|
| 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 2409.17318#RTC1 (statement). In 2P63T9MJ4P/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.3.5
6V62JESMYM 6V62JESMYM
| URI | m2://inv/6V62JESMYM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#exer:irred_not_indecomp (exercise). In RZP28ERRZV, exercise, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
Veera Baladandayuthapani 6V65E509HV
| URI | m2://inv/6V65E509HV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Veera Baladandayuthapani, Veera Baladandayuthapani (topic). Also Wikidata Q89457353
History
- 2026-11-02: add by m2/dev
Godel 6V6954YQF4
| URI | m2://inv/6V6954YQF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#KJC9, Godel (definition)
History
- 2026-11-02: add by m2/dev
Properties 6V69NA5DV1
| URI | m2://inv/6V69NA5DV1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octonion#R022, Properties (statement)
History
- 2026-11-02: add by m2/dev
Application 6V6C4VDXK0
| URI | m2://inv/6V6C4VDXK0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arden's rule#2N9F, Application (example)
History
- 2026-11-02: add by m2/dev
Definition 6V6DCMBHCN
| URI | m2://inv/6V6DCMBHCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix addition#7H4F, Definition (definition)
History
- 2026-11-02: add by m2/dev
Concordant pair 6V6T5NWT8H
| URI | m2://inv/6V6T5NWT8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#42CG, Concordant pair (definition)
History
- 2026-11-02: add by m2/dev
Syria Euphratensis Prima 6V6W6QFE8J
| URI | m2://inv/6V6W6QFE8J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#X4GX, Syria Euphratensis Prima (unknown)
History
- 2026-11-02: add by m2/dev
object language 6V6WBDQV3Y
| URI | m2://inv/6V6WBDQV3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#J4FJ, object language (definition)
History
- 2026-11-02: add by m2/dev
Integer circuit 6V6ZDH24A7
| URI | m2://inv/6V6ZDH24A7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#72VL, Integer circuit (definition)
History
- 2026-11-02: add by m2/dev
field $\Q$ of rational numbers 6V7319MJE6
| URI | m2://inv/6V7319MJE6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > field $\Q$ of rational numbers, field $\Q$ of rational numbers (unknown). Also Mathlib Rat.instField
History
- 2026-10-26: add by m2/dev
6V7AZXN2YV 6V7AZXN2YV
| URI | m2://inv/6V7AZXN2YV |
|---|---|
| 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.29671#09PD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ensemble forecasting 6V7D0G2AHX
| URI | m2://inv/6V7D0G2AHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4BD8, Ensemble forecasting (definition)
History
- 2026-11-02: add by m2/dev
Continuum hypothesis 6V7KM37BP6
| URI | m2://inv/6V7KM37BP6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Cohen#M54Z, Continuum hypothesis (statement)
History
- 2026-11-02: add by m2/dev
6V7XV5TCKA 6V7XV5TCKA
| URI | m2://inv/6V7XV5TCKA |
|---|---|
| Kind | statement |
| 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 2605.10911#YR8U (statement). In Y23VR7N90M/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
6V82BGAY0F 6V82BGAY0F
| URI | m2://inv/6V82BGAY0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#58Q7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
6V83QP649Z 6V83QP649Z
| URI | m2://inv/6V83QP649Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#H08M (statement). In E7W2HDNEKJ/e1, theorem 4.26
History
- 2026-10-30: add by m2/v0.4.12
Al-Kharaqī 6V85GVAP9C
| URI | m2://inv/6V85GVAP9C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#RLEW, Al-Kharaqī (unknown)
History
- 2026-11-02: add by m2/dev
Computational topology 6V8BNRAXWH
| URI | m2://inv/6V8BNRAXWH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#ZHL0, Computational topology (topic)
History
- 2026-11-02: add by m2/dev
Thomas' cyclically symmetric attractor 6V8GHPXMKA
| URI | m2://inv/6V8GHPXMKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas' cyclically symmetric attractor, Thomas' cyclically symmetric attractor (definition). Also Wikidata Q18394212
History
- 2026-11-02: add by m2/dev
6V8KQ60FWS 6V8KQ60FWS
| URI | m2://inv/6V8KQ60FWS |
|---|---|
| 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 2305.10921#BVQ0 (statement). In PD5PJ0EYG6/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
6V8QBPHGYP 6V8QBPHGYP
| URI | m2://inv/6V8QBPHGYP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.01345#FH3O (definition). In PT5PBPCS3P/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.3.5
Eli Biham 6V8QG0PM2C
| URI | m2://inv/6V8QG0PM2C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#K29N, Eli Biham (topic)
History
- 2026-11-02: add by m2/dev
6V8Y4QC8TQ 6V8Y4QC8TQ
| URI | m2://inv/6V8Y4QC8TQ |
|---|---|
| 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.23872#J0SZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
6V91F986J4 6V91F986J4
| URI | m2://inv/6V91F986J4 |
|---|---|
| Kind | problem |
| 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 2309.17091#NNWM (problem). In N0JJM098W2/e1, problem 31
History
- 2026-10-27: add by m2/v0.4.0
Dianne P. O'Leary 6V93CKX7DX
| URI | m2://inv/6V93CKX7DX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QGK5, Dianne P. O'Leary (unknown)
History
- 2026-11-02: add by m2/dev
Longitudinal study 6V94NDVCH5
| URI | m2://inv/6V94NDVCH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longitudinal study, Longitudinal study (definition). Also Wikidata Q1758614
History
- 2026-11-02: add by m2/dev
Class occupancy and downward bias of within-class sample variances 6V9CTC5ZDQ
| URI | m2://inv/6V9CTC5ZDQ |
|---|---|
| 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.32652#8240, Class occupancy and downward bias of within-class sample variances (statement). In 6KAZWJ8RFX/e1, proposition 2.5
History
- 2026-10-31: add by m2/v0.5.6
6V9G52QJTN 6V9G52QJTN
| URI | m2://inv/6V9G52QJTN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-32 (exercise). In E9HS8K3A52, exercise, section 9.3.4
History
- 2026-11-01: add by m2/v0.6.13
6V9MDCFKGV 6V9MDCFKGV
| URI | m2://inv/6V9MDCFKGV |
|---|---|
| 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.01932#ZL6W (statement). In XDKWW6NR0K/e1, proposition 6.3
History
- 2026-10-29: add by m2/v0.4.12
Tangent half argument formulas 6V9QSJZV65
| URI | m2://inv/6V9QSJZV65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic functions#HFHE, Tangent half argument formulas (statement)
History
- 2026-11-02: add by m2/dev
6V9SM955BQ 6V9SM955BQ
| URI | m2://inv/6V9SM955BQ |
|---|---|
| Kind | definition |
| 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 2609.35180#WZ56 (definition). In ZA34B1CR9M/e1, definition 3.7
History
- 2026-10-30: add by m2/v0.4.12
6VA463QWEB 6VA463QWEB
| URI | m2://inv/6VA463QWEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20458#ALEY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Algorithm 6VA72ZPPR7
| URI | m2://inv/6VA72ZPPR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss composition law#LY5Q, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
A common reflection coordinate 6VA7R5ZQ66
| URI | m2://inv/6VA7R5ZQ66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#IZA5, A common reflection coordinate (statement). In HF7YNMW39N/e1, corollary 11.5
History
- 2026-10-27: add by m2/v0.4.0
6VA8K2QVH7 6VA8K2QVH7
| URI | m2://inv/6VA8K2QVH7 |
|---|---|
| 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.12014#CCE5 (statement). In DR7BK4CQ0V/e1, corollary 5.25
History
- 2026-10-28: add by m2/v0.4.3
6VAD0S53TX 6VAD0S53TX
| URI | m2://inv/6VAD0S53TX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#QV96 (definition). In 6KR7Z5ETRY/e1, definition 4.13
History
- 2026-10-27: add by m2/v0.3.5
prime spectrum 6VAHTN14F6
| URI | m2://inv/6VAHTN14F6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Algebraic geometry > prime spectrum, prime spectrum (unknown). Also Mathlib PrimeSpectrum
History
- 2026-10-26: add by m2/dev
6VANHR2RKJ 6VANHR2RKJ
| URI | m2://inv/6VANHR2RKJ |
|---|---|
| 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.07442#ZDBM (statement). In 6SDC2Z8Y8M/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.10
6VAPBKZHMD 6VAPBKZHMD
| URI | m2://inv/6VAPBKZHMD |
|---|---|
| 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#QYD2 (statement). In V2XJJJX1Z8/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Algorithm 6VAR4X3ZPP
| URI | m2://inv/6VAR4X3ZPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delaunay refinement#O2YX, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
6VB2C7PC8S 6VB2C7PC8S
| URI | m2://inv/6VB2C7PC8S |
|---|---|
| Kind | statement |
| 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 2111.09700#ES56 (statement). In XCSQ27P0XW/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.0
List of logarithmic identities 6VBBKH4V6H
| URI | m2://inv/6VBBKH4V6H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logarithmic identities, List of logarithmic identities (topic). Also Wikidata Q1814130
History
- 2026-11-02: add by m2/dev
6VBD9WQWC5 6VBD9WQWC5
| URI | m2://inv/6VBD9WQWC5 |
|---|---|
| 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.27078#913I (statement)
History
- 2026-11-01: add by m2/v0.6.15
6VBEJNGXA9 6VBEJNGXA9
| URI | m2://inv/6VBEJNGXA9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#thm:functor_isom (statement). In RZP28ERRZV, theorem, section 37.2
History
- 2026-11-01: add by m2/v0.6.13
6VBTDMF1JQ 6VBTDMF1JQ
| URI | m2://inv/6VBTDMF1JQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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 2610.03612#FX42 (definition). In REDG6QVHM3/e1, definition 4.11
History
- 2026-10-29: add by m2/v0.4.12
Caspar Isenkrahe 6VBVWXZT2N
| URI | m2://inv/6VBVWXZT2N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#J18W, Caspar Isenkrahe (topic)
History
- 2026-11-02: add by m2/dev
Complex dynamics 6VBW2HE3Q4
| URI | m2://inv/6VBW2HE3Q4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex dynamics, Complex dynamics (topic). Also Wikidata Q264224
History
- 2026-11-02: add by m2/dev
6VBY6F02SN 6VBY6F02SN
| URI | m2://inv/6VBY6F02SN |
|---|---|
| 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.01561#TXRO (statement). In W4G7BCHYEW/e1, corollary 1.5
History
- 2026-10-29: add by m2/v0.4.12
6VBYRTM02D 6VBYRTM02D
| URI | m2://inv/6VBYRTM02D |
|---|---|
| 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.20225#AQEN (statement)
History
- 2026-11-02: add by m2/v0.6.18
6VC09TT8PB 6VC09TT8PB
| URI | m2://inv/6VC09TT8PB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#I3OO (statement). In GJ7N2EWACX/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
6VC66C3CFK 6VC66C3CFK
| URI | m2://inv/6VC66C3CFK |
|---|---|
| Kind | definition |
| 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.20399#7GWE (definition)
History
- 2026-11-02: add by m2/v0.6.18
Riesz–Thorin theorem 6VC70M28PD
| URI | m2://inv/6VC70M28PD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q245902, Riesz–Thorin theorem (statement). Also Wikidata Q245902
- thousand_plus: thousand_plus Q245902, Riesz–Thorin theorem (statement). Also Wikidata Q245902, Wikipedia Riesz–Thorin theorem
- wikipedia: Wikipedia Riesz–Thorin theorem, Riesz–Thorin theorem (statement). Also Wikidata Q245902
History
- 2026-10-26: add by m2/dev
6VCQCK8Z2C 6VCQCK8Z2C
| URI | m2://inv/6VCQCK8Z2C |
|---|---|
| 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.31604#FM8E (statement). In GSN5YTQS2K/e1, corollary 3.5
History
- 2026-10-31: add by m2/v0.5.6
False Negative 6VCTNB3MPA
| URI | m2://inv/6VCTNB3MPA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False positives and false negatives#EMQE, False Negative (unknown)
History
- 2026-11-02: add by m2/dev
Nies , strengthening Chaitin 6VCZDYNTVE
| URI | m2://inv/6VCZDYNTVE |
|---|---|
| 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 0812.1600#REDG, Nies , strengthening Chaitin (statement). In 7Z12QX7837/e1, theorem 1.9
History
- 2026-10-27: add by m2/v0.3.5
Edward Travis 6VD41VH8S0
| URI | m2://inv/6VD41VH8S0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Travis, Edward Travis (topic). Also Wikidata Q1293893
History
- 2026-11-02: add by m2/dev
Mitro 6VD7MPHCPX
| URI | m2://inv/6VD7MPHCPX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mitro, Mitro (definition). Also Wikidata Q17069463
History
- 2026-11-02: add by m2/dev
6VDH01VTKN 6VDH01VTKN
| URI | m2://inv/6VDH01VTKN |
|---|---|
| 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.11395#INT8 (statement). In T3W7SMWQ73/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.3
Example 6VDVW0GDB7
| URI | m2://inv/6VDVW0GDB7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kullback–Leibler Upper Confidence Bound#SJQQ, Example (example)
History
- 2026-11-02: add by m2/dev
\thmref{thm: HKR homo 6VDZ7JVPHG
| URI | m2://inv/6VDZ7JVPHG |
|---|---|
| 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.30018#L08O, \thmref{thm: HKR homo (statement)
History
- 2026-11-01: add by m2/v0.6.15
A dimension-uniform susceptibility bound 6VDZHC62QM
| URI | m2://inv/6VDZHC62QM |
|---|---|
| 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.22301#01KM, A dimension-uniform susceptibility bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
6VEC4STSRH 6VEC4STSRH
| URI | m2://inv/6VEC4STSRH |
|---|---|
| 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.03477#LV3R (definition). In GXN3D4G4HE/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.12
6VED9G7MN1 6VED9G7MN1
| URI | m2://inv/6VED9G7MN1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-22 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
axial 6VEGD4YGRH
| URI | m2://inv/6VEGD4YGRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#PPBY, axial (definition)
History
- 2026-11-02: add by m2/dev
Conformal field theory 6VEHVAPHFF
| URI | m2://inv/6VEHVAPHFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal field theory, Conformal field theory (definition). Also Wikidata Q1191271
History
- 2026-11-02: add by m2/dev
Fragmentation into level sets 6VEJ8ZXPN0
| URI | m2://inv/6VEJ8ZXPN0 |
|---|---|
| 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 1806.05002#AW6R, Fragmentation into level sets (statement). In JBAQ7DTW7B/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.3.5
6VEMK6CCS5 6VEMK6CCS5
| URI | m2://inv/6VEMK6CCS5 |
|---|---|
| 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 2011.11439#DSA6 (statement). In 9Z8RSQ36JC/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
6VF2NM6PV1 6VF2NM6PV1
| URI | m2://inv/6VF2NM6PV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2610.13100#MHXJ (statement). In CC6S1HVK0T/e1, lemma 5.31
History
- 2026-10-28: add by m2/v0.4.2
C. P. Papaioannou 6VF5G0SE1J
| URI | m2://inv/6VF5G0SE1J |
|---|---|
| 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#T1V7, C. P. Papaioannou (topic)
History
- 2026-11-02: add by m2/dev
6VF7E5BXZ1 6VF7E5BXZ1
| URI | m2://inv/6VF7E5BXZ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#prop-3 (statement). In E59CDZA4DP, prop, section 11.1.2
History
- 2026-11-01: add by m2/v0.6.13
Example 6VF90EWCY2
| URI | m2://inv/6VF90EWCY2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gomory–Hu tree#IEBX, Example (example)
History
- 2026-11-02: add by m2/dev
Yury Grabovsky 6VFAH1W78X
| URI | m2://inv/6VFAH1W78X |
|---|---|
| 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#X7RP, Yury Grabovsky (unknown)
History
- 2026-11-02: add by m2/dev
direct sum of groups 6VFJBH30E0
| URI | m2://inv/6VFJBH30E0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4166523, direct sum of groups (unknown). Also MathWorld GroupDirectSum
- wikipedia: Wikipedia Direct sum of groups, Direct sum of groups (definition). Also Wikidata Q4166523
History
- 2026-10-26: add by m2/dev
Primitive recursive function 6VFTQYHT0Q
| URI | m2://inv/6VFTQYHT0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#S52S, Primitive recursive function (definition)
History
- 2026-11-02: add by m2/dev
6VFV6T1FM0 6VFV6T1FM0
| URI | m2://inv/6VFV6T1FM0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.36884#98FI (definition). In Z7E16PFFCP/e1, definition 3.8
History
- 2026-10-30: add by m2/v0.4.12
Properties 6VFX6WVWF5
| URI | m2://inv/6VFX6WVWF5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient category#16JR, Properties (statement)
History
- 2026-11-02: add by m2/dev
356 (number) 6VFZ93R88Y
| URI | m2://inv/6VFZ93R88Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#VENA, 356 (number) (unknown)
History
- 2026-11-02: add by m2/dev
∞-category 6VG245D6M0
| URI | m2://inv/6VG245D6M0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#A3PG, ∞-category (definition)
History
- 2026-11-02: add by m2/dev
6VG250Z99J 6VG250Z99J
| URI | m2://inv/6VG250Z99J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20060#ZPQW (example)
History
- 2026-11-02: add by m2/v0.6.18
Hawaiian earring 6VG4AD905Q
| URI | m2://inv/6VG4AD905Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#DLX9, Hawaiian earring (definition)
- wikipedia: Wikipedia List of examples in general topology#YPZ7, Hawaiian earring (definition)
History
- 2026-11-02: add by m2/dev
6VG6DJ3SAK 6VG6DJ3SAK
| URI | m2://inv/6VG6DJ3SAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-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.20932#ZMQ5 (statement). In FV78KV64B9/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
Multifactor dimensionality reduction 6VG7EVDMM3
| URI | m2://inv/6VG7EVDMM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8YCT, Multifactor dimensionality reduction (definition)
History
- 2026-11-02: add by m2/dev
6VG9X8NXAG 6VG9X8NXAG
| URI | m2://inv/6VG9X8NXAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06455#0LH5 (statement). In N6GB5J5BAY/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Uniform boundary positivity of \(K\ 6VGAVKZ104
| URI | m2://inv/6VGAVKZ104 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22659#12KX, Uniform boundary positivity of \(K\ (statement)
History
- 2026-11-02: add by m2/v0.6.17
6VGJRJ39VX 6VGJRJ39VX
| URI | m2://inv/6VGJRJ39VX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#3WI0 (definition). In CGA36VE1C5/e1, definition 3.9.2
History
- 2026-10-27: add by m2/v0.3.6
Go First Dice 6VGPT8079C
| URI | m2://inv/6VGPT8079C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Go First Dice, Go First Dice (definition). Also Wikidata Q85763779
History
- 2026-11-02: add by m2/dev
Main classification 6VGRWVQDK9
| URI | m2://inv/6VGRWVQDK9 |
|---|---|
| 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#BNC5, Main classification (statement). In 9NVKKW8HDH/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
deltoidal icositetrahedron 6VGXZJR1ND
| URI | m2://inv/6VGXZJR1ND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1184994, deltoidal icositetrahedron (object). Also MathWorld DeltoidalIcositetrahedron
- wikipedia: Wikipedia Deltoidal icositetrahedron, Deltoidal icositetrahedron (definition). Also Wikidata Q1184994
History
- 2026-10-26: add by m2/dev
Center manifold theorems 6VGY5TKDMS
| URI | m2://inv/6VGY5TKDMS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center manifold#6PQ5, Center manifold theorems (statement)
History
- 2026-11-02: add by m2/dev
6VH279VMCT 6VH279VMCT
| URI | m2://inv/6VH279VMCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 2501.01612#HNTH (statement). In A5KESSK05N/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Jacobi eigenvalue algorithm 6VH3B5X2RA
| URI | m2://inv/6VH3B5X2RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#RZ7S, Jacobi eigenvalue algorithm (definition)
History
- 2026-11-02: add by m2/dev
6VH6ZCQT0W 6VH6ZCQT0W
| URI | m2://inv/6VH6ZCQT0W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#BE85 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Comparison of covariances 6VHAF9J53N
| URI | m2://inv/6VHAF9J53N |
|---|---|
| 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#O2ZH, Comparison of covariances (statement). In NKXTXH59P1/e1, lemma G.5
History
- 2026-10-29: add by m2/v0.4.10
Gauss's test 6VHN7K9Z9X
| URI | m2://inv/6VHN7K9Z9X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence tests#CPYC, Gauss's test (unknown)
History
- 2026-11-02: add by m2/dev
363 (Number) 6VHP57J1J4
| URI | m2://inv/6VHP57J1J4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#4RPW, 363 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
Walther Mayer 6VHPZXM1JN
| URI | m2://inv/6VHPZXM1JN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walther Mayer, Walther Mayer (topic). Also Wikidata Q2014345
History
- 2026-11-02: add by m2/dev
6VHRQEACQJ 6VHRQEACQJ
| URI | m2://inv/6VHRQEACQJ |
|---|---|
| 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.25030#9N2D (statement)
History
- 2026-11-01: add by m2/v0.6.15
Paul Zimmermann 6VHXR31GAZ
| URI | m2://inv/6VHXR31GAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#01CR, Paul Zimmermann (unknown)
History
- 2026-11-02: add by m2/dev
First radiation constant 6VJ2P4CMNA
| URI | m2://inv/6VJ2P4CMNA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planck's law#CN2H, First radiation constant (unknown)
History
- 2026-11-02: add by m2/dev
6VJ67T1JKB 6VJ67T1JKB
| URI | m2://inv/6VJ67T1JKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#Y8UD (statement)
History
- 2026-11-01: add by m2/v0.6.15
6VJF4CXE8R 6VJF4CXE8R
| URI | m2://inv/6VJF4CXE8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-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 2610.11785#LE84 (statement). In 2XSZDXZ52E/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.3
regular embedding 6VJG3EB61J
| URI | m2://inv/6VJG3EB61J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#8UQ9, regular embedding (definition)
History
- 2026-11-02: add by m2/dev
6VJYYPKKJ4 6VJYYPKKJ4
| URI | m2://inv/6VJYYPKKJ4 |
|---|---|
| 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.26089#3Q6F (statement)
History
- 2026-11-01: add by m2/v0.6.15
The measure defined by the cutoff limits 6VK09KQEAW
| URI | m2://inv/6VK09KQEAW |
|---|---|
| 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.02436#BDHU, The measure defined by the cutoff limits (statement). In J9WZBK6KAY/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
6VK1D72GV5 6VK1D72GV5
| URI | m2://inv/6VK1D72GV5 |
|---|---|
| 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.26521#75T3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Aryness Joy Wickens 6VK4YT880Z
| URI | m2://inv/6VK4YT880Z |
|---|---|
| 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#HGCZ, Aryness Joy Wickens (topic)
History
- 2026-11-02: add by m2/dev
6VK6FX4Q3C 6VK6FX4Q3C
| URI | m2://inv/6VK6FX4Q3C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#theorem-5 (statement). In RZP28ERRZV, theorem, section 52.6
History
- 2026-11-01: add by m2/v0.6.13
6VK6SC0WZJ 6VK6SC0WZJ
| URI | m2://inv/6VK6SC0WZJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10937#FQTF (definition). In 6VVK3YTABP/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.3
6VKGKDRW01 6VKGKDRW01
| URI | m2://inv/6VKGKDRW01 |
|---|---|
| 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.12908#C2OD (statement). In TNC658NVMQ/e1, lemma 7.6
History
- 2026-10-28: add by m2/v0.4.2
instantiation 6VKZNXKB0S
| URI | m2://inv/6VKZNXKB0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#I9UB, instantiation (definition)
History
- 2026-11-02: add by m2/dev
Independence of $h$ for $\theta_{\mathfrak{a},h}(L)$ 6VM0741X1X
| URI | m2://inv/6VM0741X1X |
|---|---|
| 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.10365#NV2O, Independence of $h$ for $\theta_{\mathfrak{a},h}(L)$ (statement). In PRVQPSBVHK/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
Shahar Mozes 6VM0A8CCAW
| URI | m2://inv/6VM0A8CCAW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shahar Mozes, Shahar Mozes (topic). Also Wikidata Q15212866
History
- 2026-11-02: add by m2/dev
6VM8STETY8 6VM8STETY8
| URI | m2://inv/6VM8STETY8 |
|---|---|
| Kind | definition |
| 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 2410.02139#3K4P (definition). In TJ1NTK3KJW/e1, definition 25
History
- 2026-10-27: add by m2/v0.3.5
6VMASDRKRH 6VMASDRKRH
| URI | m2://inv/6VMASDRKRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#QLZM (statement). In E7W2HDNEKJ/e1, theorem 5.42
History
- 2026-10-30: add by m2/v0.4.12
6VMCDHM9CF 6VMCDHM9CF
| URI | m2://inv/6VMCDHM9CF |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.07470#KBOS (proof). In XPF72KTPMZ/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
6VMDB9Q88X 6VMDB9Q88X
| URI | m2://inv/6VMDB9Q88X |
|---|---|
| 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#LTTE (example). In X88HPQ0W8C/e1, example 2.49
History
- 2026-10-27: add by m2/v0.3.5
disjunction 6VMDE62CDQ
| URI | m2://inv/6VMDE62CDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#N0VA, disjunction (definition)
History
- 2026-11-02: add by m2/dev
6VMKXZH8DY 6VMKXZH8DY
| URI | m2://inv/6VMKXZH8DY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#PDPI (statement). In G00EYA9DXG/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Dawn C. Porter 6VMMX1431K
| URI | m2://inv/6VMMX1431K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dawn C. Porter, Dawn C. Porter (topic). Also Wikidata Q120450801
History
- 2026-11-02: add by m2/dev
6VMQ76DH2P 6VMQ76DH2P
| URI | m2://inv/6VMQ76DH2P |
|---|---|
| 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.21322#NNSH (statement). In CNDA8DBEGD/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
6VMTXC83D2 6VMTXC83D2
| URI | m2://inv/6VMTXC83D2 |
|---|---|
| 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.09154#7JA3 (statement). In JYVGX17N4F/e1, proposition A.1
History
- 2026-10-29: add by m2/v0.4.10
cosmic inflation 6VMVC797HT
| URI | m2://inv/6VMVC797HT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q273508, cosmic inflation (unknown). Also nLab cosmic inflation
- wikipedia: Wikipedia Cosmic inflation, Cosmic inflation (topic). Also Wikidata Q273508
History
- 2026-10-26: add by m2/dev
6VMW3T0RJQ 6VMW3T0RJQ
| URI | m2://inv/6VMW3T0RJQ |
|---|---|
| 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 2610.14080#64RQ (statement). In 1DRD5FAJ4C/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
6VN1C9MD4E 6VN1C9MD4E
| URI | m2://inv/6VN1C9MD4E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.12015#38EN (example). In ZZ2P08DVQW/e1, example 10.9
History
- 2026-10-27: add by m2/v0.3.5
Lester Dubins 6VNBN70KY1
| URI | m2://inv/6VNBN70KY1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lester Dubins, Lester Dubins (topic). Also Wikidata Q6531843
History
- 2026-11-02: add by m2/dev
6VND8EZZ6S 6VND8EZZ6S
| URI | m2://inv/6VND8EZZ6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#definition-1 (definition). In RZP28ERRZV, definition, section 91.1
History
- 2026-11-01: add by m2/v0.6.13
Igor Dolgachev 6VNDNBNWY7
| URI | m2://inv/6VNDNBNWY7 |
|---|---|
| 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 Q339333, Igor Dolgachev (unknown). Also nLab Igor Dolgachev
- wikipedia: Wikipedia Igor Dolgachev, Igor Dolgachev (topic). Also Wikidata Q339333
History
- 2026-10-26: add by m2/dev
6VNH3P83FG 6VNH3P83FG
| URI | m2://inv/6VNH3P83FG |
|---|---|
| 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.25100#6MBZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Anderson's theory of faulting 6VNJZRN36B
| URI | m2://inv/6VNJZRN36B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anderson's theory of faulting, Anderson's theory of faulting (definition). Also Wikidata Q109544744
History
- 2026-11-02: add by m2/dev
6VNQ6ERF3Q 6VNQ6ERF3Q
| URI | m2://inv/6VNQ6ERF3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#thm:complete_R (statement). In RZP28ERRZV, theorem, section 32.1
History
- 2026-11-01: add by m2/v0.6.13
6VNS56922D 6VNS56922D
| URI | m2://inv/6VNS56922D |
|---|---|
| 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 2610.01802#2NEH (definition). In XGPZ0G9E1Q/e1, definition 7.17
History
- 2026-10-29: add by m2/v0.4.12
Icositrigon 6VNVFXQ2H4
| URI | m2://inv/6VNVFXQ2H4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icositrigon, Icositrigon (definition). Also Wikidata Q3538667
History
- 2026-11-02: add by m2/dev
Conditional Gaussian residuals at stopping times 6VNVN9FGCS
| URI | m2://inv/6VNVN9FGCS |
|---|---|
| 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#2BS0, Conditional Gaussian residuals at stopping times (statement). In 9YAE8FNQST/e1, theorem 15.6
History
- 2026-10-30: add by m2/v0.4.12
Properties 6VP1BP1Z4P
| URI | m2://inv/6VP1BP1Z4P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kullback–Leibler divergence#X1JN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Thomas Curtright 6VP4S0JASK
| URI | m2://inv/6VP4S0JASK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BIKZ, Thomas Curtright (unknown)
History
- 2026-11-02: add by m2/dev
Accuracy--resource bound 6VP7FPP7MM
| URI | m2://inv/6VP7FPP7MM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31458#NNND, Accuracy--resource bound (statement). In SNWC76WKWT/e1, corollary H.1
History
- 2026-10-31: add by m2/v0.5.6
Ionescu-Tulcea theorem 6VP9Q9F6DD
| URI | m2://inv/6VP9Q9F6DD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q25378690, Ionescu-Tulcea theorem (statement). Also Mathlib ProbabilityTheory.Kernel.traj, Wikidata Q25378690
- thousand_plus: thousand_plus Q25378690, Ionescu-Tulcea theorem (statement). Also Mathlib ProbabilityTheory.Kernel.traj, Wikidata Q25378690, Wikipedia Ionescu-Tulcea theorem
- wikipedia: Wikipedia Ionescu-Tulcea theorem, Ionescu-Tulcea theorem (statement). Also Wikidata Q25378690
History
- 2026-10-26: add by m2/dev
Definition 6VPNPSFXR5
| URI | m2://inv/6VPNPSFXR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway polynomial (finite fields)#NBX1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Converse-H\"older refinement 6VPVEJDXGB
| URI | m2://inv/6VPVEJDXGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33573#A20T, Converse-H\"older refinement (statement). In ZT1Q1XDQ1W/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Index of dispersion 6VPVQ8WPFD
| URI | m2://inv/6VPVQ8WPFD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of dispersion, Index of dispersion (topic). Also Wikidata Q2158178
History
- 2026-11-02: add by m2/dev
6VPW7EWECN 6VPW7EWECN
| URI | m2://inv/6VPW7EWECN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-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.10591#F3G7 (definition). In FTEA0TM35J/e1, definition 5.5
History
- 2026-10-29: add by m2/v0.4.10
Statistical interference 6VPWQ2J9TW
| URI | m2://inv/6VPWQ2J9TW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical interference, Statistical interference (definition). Also Wikidata Q7604398
History
- 2026-11-02: add by m2/dev
6VQ3RBW066 6VQ3RBW066
| URI | m2://inv/6VQ3RBW066 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 27.6
History
- 2026-11-01: add by m2/v0.6.13
Hilary Shuard 6VQ43T4YE4
| URI | m2://inv/6VQ43T4YE4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilary Shuard, Hilary Shuard (topic). Also Wikidata Q5761059
History
- 2026-11-02: add by m2/dev
6VQ5FDJAK4 6VQ5FDJAK4
| URI | m2://inv/6VQ5FDJAK4 |
|---|---|
| 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.13914#RVSM (statement). In M974J0V5EZ/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
United States of America Mathematical Olympiad 6VQ9HP1XTM
| URI | m2://inv/6VQ9HP1XTM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#GL5Y, United States of America Mathematical Olympiad (unknown)
History
- 2026-11-02: add by m2/dev
6VQ9T3D69Q 6VQ9T3D69Q
| URI | m2://inv/6VQ9T3D69Q |
|---|---|
| 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.17678#PEIE (statement). In V753EAWQ3S/e1, corollary 6.2
History
- 2026-10-28: add by m2/v0.4.2
Qin Jiushao 6VQGH84205
| URI | m2://inv/6VQGH84205 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#74M4, Qin Jiushao (topic)
History
- 2026-11-02: add by m2/dev
6VQM73B48V 6VQM73B48V
| URI | m2://inv/6VQM73B48V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#2FLE (example)
History
- 2026-11-01: add by m2/v0.6.15
Definition 6VQMWZ59K4
| URI | m2://inv/6VQMWZ59K4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher-order singular value decomposition#1NF0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Convex hull algorithms 6VQTAC53VC
| URI | m2://inv/6VQTAC53VC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#5B9Y, Convex hull algorithms (definition)
History
- 2026-11-02: add by m2/dev
Generalization error of ERM estimator 6VQXDSRTEK
| URI | m2://inv/6VQXDSRTEK |
|---|---|
| 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.07637#PORN, Generalization error of ERM estimator (statement). In ERR2F5FXC3/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
Definition 6VR4RA07QK
| URI | m2://inv/6VR4RA07QK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasinorm#L3EC, Definition (definition)
History
- 2026-11-02: add by m2/dev
6VR5QGHRG8 6VR5QGHRG8
| URI | m2://inv/6VR5QGHRG8 |
|---|---|
| Kind | example |
| 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.08935#V4LZ (example). In G02N9D40B9/e1, example 7.1.2
History
- 2026-10-29: add by m2/v0.4.10
Robert Russell 6VR5TK6DG1
| URI | m2://inv/6VR5TK6DG1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Russell (Irish mathematician), Robert Russell (topic). Also Wikidata Q77973785
History
- 2026-11-02: add by m2/dev
6VRBFJ454R 6VRBFJ454R
| URI | m2://inv/6VRBFJ454R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35442#DCY2 (statement). In C6R0DAA279/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
6VRDTV94ES 6VRDTV94ES
| URI | m2://inv/6VRDTV94ES |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/lindstrom/lindstrom-proof.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 47.5
History
- 2026-11-01: add by m2/v0.6.13
killing homotopy groups 6VRG3HZGN7
| URI | m2://inv/6VRG3HZGN7 |
|---|---|
| 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.03497#H3S0, killing homotopy groups (statement). In RRNHC0CAC9/e1, proposition
History
- 2026-10-29: add by m2/v0.4.12
Chi Li 6VRM3EA8E8
| URI | m2://inv/6VRM3EA8E8 |
|---|---|
| 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#XQX7, Chi Li (unknown)
History
- 2026-11-02: add by m2/dev
Existence of a convergent subsequence in \(\Gamma(\rho, \sigma)\ 6VRN6SKS62
| URI | m2://inv/6VRN6SKS62 |
|---|---|
| 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.01855#0DXN, Existence of a convergent subsequence in \(\Gamma(\rho, \sigma)\ (statement). In MM8P5CJR18/e1, theorem A.5
History
- 2026-10-29: add by m2/v0.4.12
6VRP9H5JS0 6VRP9H5JS0
| URI | m2://inv/6VRP9H5JS0 |
|---|---|
| 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.19449#Q7ZF (statement). In 8ZKPJ3CBDF/e1, theorem 3.15
History
- 2026-10-28: add by m2/v0.4.2
6VS6XN9SG4 6VS6XN9SG4
| URI | m2://inv/6VS6XN9SG4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 39.7.1
History
- 2026-11-01: add by m2/v0.6.13
6VS7P8SW99 6VS7P8SW99
| URI | m2://inv/6VS7P8SW99 |
|---|---|
| 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.22393#VAFO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Eugenio Levi 6VS9KJ2NJ6
| URI | m2://inv/6VS9KJ2NJ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#XXSZ, Eugenio Levi (topic)
History
- 2026-11-02: add by m2/dev
6VSAF7JXJG 6VSAF7JXJG
| URI | m2://inv/6VSAF7JXJG |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#77L4 (unknown). In QNBFHFZ3H0/e1, unknown 66
History
- 2026-10-28: add by m2/v0.4.2
Applications 6VSG73CH2R
| URI | m2://inv/6VSG73CH2R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnus expansion#2Q3X, Applications (example)
History
- 2026-11-02: add by m2/dev
Mathematical biology 6VSQCP7JF3
| URI | m2://inv/6VSQCP7JF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#19MA, Mathematical biology (definition)
History
- 2026-11-02: add by m2/dev
6VT19G4G8S 6VT19G4G8S
| URI | m2://inv/6VT19G4G8S |
|---|---|
| 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 2206.13822#5055 (statement). In R9D4FQR3TA/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Akaike information criterion 6VT6494M0H
| URI | m2://inv/6VT6494M0H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GXVG, Akaike information criterion (statement)
History
- 2026-11-02: add by m2/dev
Michael Krivelevich 6VT7D2FGP6
| URI | m2://inv/6VT7D2FGP6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#C6IA, Michael Krivelevich (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O0EV, Michael Krivelevich (topic)
History
- 2026-11-02: add by m2/dev
Differentiable function 6VTBX0H7R3
| URI | m2://inv/6VTBX0H7R3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#JVNT, Differentiable function (definition)
History
- 2026-11-02: add by m2/dev
Examples 6VV8TS6CJF
| URI | m2://inv/6VV8TS6CJF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second-order logic#ZX9S, Examples (example)
History
- 2026-11-02: add by m2/dev
Expander averaging 6VVJVFPA75
| URI | m2://inv/6VVJVFPA75 |
|---|---|
| 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.40252#9HSG, Expander averaging (statement). In 7MVPNFPRKB/e1, lemma 12.1
History
- 2026-10-30: add by m2/v0.4.12
Jean Leray 6VVPHVC672
| URI | m2://inv/6VVPHVC672 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#K228, Jean Leray (topic)
History
- 2026-11-02: add by m2/dev
6VVPKZ6BEK 6VVPKZ6BEK
| URI | m2://inv/6VVPKZ6BEK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-14 (exercise). In E9HS8K3A52, exercise, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
Generalizations of the derivative 6VVRQG2NXQ
| URI | m2://inv/6VVRQG2NXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalizations of the derivative, Generalizations of the derivative (definition). Also Wikidata Q14163503
History
- 2026-11-02: add by m2/dev
6VVY4PX5NV 6VVY4PX5NV
| URI | m2://inv/6VVY4PX5NV |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#OS28 (unknown). In QNBFHFZ3H0/e1, unknown 14
History
- 2026-10-28: add by m2/v0.4.2
Loop (algebra) 6VW3NBKVXA
| URI | m2://inv/6VW3NBKVXA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasigroup#V2GY, Loop (algebra) (unknown)
History
- 2026-11-02: add by m2/dev
6VW4TQ1JJQ 6VW4TQ1JJQ
| URI | m2://inv/6VW4TQ1JJQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18324#5MW4 (example). In C0EG2EY0M4/e1, example 3.7
History
- 2026-10-28: add by m2/v0.4.2
Center of Mathematical Sciences, Zhejiang University 6VWHGB71DT
| URI | m2://inv/6VWHGB71DT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center of Mathematical Sciences, Zhejiang University, Center of Mathematical Sciences, Zhejiang University (definition). Also Wikidata Q5059991
History
- 2026-11-02: add by m2/dev
6VWQ8PJNWG 6VWQ8PJNWG
| URI | m2://inv/6VWQ8PJNWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.33442#MAVR (statement). In EWY5YPMKA3/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
Balanced digraph 6VWQYVA60Q
| URI | m2://inv/6VWQYVA60Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directed graph#LU3B, Balanced digraph (unknown)
History
- 2026-11-02: add by m2/dev
6VWTSASD6X 6VWTSASD6X
| URI | m2://inv/6VWTSASD6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09084#G1PK (statement). In F5VT2K2QYX/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
remaining S-component queries 6VX2Z3Z5CY
| URI | m2://inv/6VX2Z3Z5CY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22667#R1ZC, remaining S-component queries (statement)
History
- 2026-11-02: add by m2/v0.6.17
Algorithms 6VX8H9C561
| URI | m2://inv/6VX8H9C561 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opaque set#R2ZW, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Free product 6VXCARAACG
| URI | m2://inv/6VXCARAACG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free product, Free product (definition). Also Wikidata Q1454165
History
- 2026-11-02: add by m2/dev
Nicolas de Malézieu 6VXCNYN6DY
| URI | m2://inv/6VXCNYN6DY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicolas de Malézieu, Nicolas de Malézieu (topic). Also Wikidata Q3340955
History
- 2026-11-02: add by m2/dev
6VXFCTR6PS 6VXFCTR6PS
| URI | m2://inv/6VXFCTR6PS |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12353#5GBU (problem). In 7TSXNR7TC5/e1, problem III.1
History
- 2026-10-28: add by m2/v0.4.2
Equivalence relation 6VXG27WG1R
| URI | m2://inv/6VXG27WG1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/equivalence-relations.tex#defn-1, Equivalence relation (definition). In PKGMM3P5QY, defn, section 80.1
History
- 2026-11-01: add by m2/v0.6.13
Definition 6VXHT9Y6AR
| URI | m2://inv/6VXHT9Y6AR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Promise problem#LFKE, Definition (definition)
History
- 2026-11-02: add by m2/dev
6VXK62YGJB 6VXK62YGJB
| URI | m2://inv/6VXK62YGJB |
|---|---|
| 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.17267#270O (statement). In 5VWB4A47R5/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
alternant 6VXP58K97R
| URI | m2://inv/6VXP58K97R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#OTEI, alternant (definition)
History
- 2026-11-02: add by m2/dev
triple point 6VXQ690K9D
| URI | m2://inv/6VXQ690K9D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123472283, triple point (unknown). Also MathWorld TriplePoint
History
- 2026-10-26: add by m2/dev
6VXQF4PKBF 6VXQF4PKBF
| URI | m2://inv/6VXQF4PKBF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
6VXSE8RYZK 6VXSE8RYZK
| URI | m2://inv/6VXSE8RYZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#62EW (statement). In JW8HH6EPG2/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
6VXSP9344X 6VXSP9344X
| URI | m2://inv/6VXSP9344X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#HI5G (statement). In 9B5TNEBJHV/e1, lemma 1.10
History
- 2026-10-29: add by m2/v0.4.10
Elihu Root 6VXVQJ7W4G
| URI | m2://inv/6VXVQJ7W4G |
|---|---|
| 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#HMU5, Elihu Root (unknown)
History
- 2026-11-02: add by m2/dev
6VXZANVFGF 6VXZANVFGF
| URI | m2://inv/6VXZANVFGF |
|---|---|
| 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.36717#FERH (statement). In 69FBWG9P3B/e1, corollary 3.14
History
- 2026-10-30: add by m2/v0.4.12
6VY5MAKF46 6VY5MAKF46
| URI | m2://inv/6VY5MAKF46 |
|---|---|
| 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.01228#XCPR (statement). In HZAJ20XW7F/e1, corollary 4
History
- 2026-10-29: add by m2/v0.4.12
Cubicization 6VY5T4V87H
| URI | m2://inv/6VY5T4V87H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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 2610.12434#SEDI, Cubicization (statement). In YCRZC9SDCE/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Definition 6VY5XAG3WN
| URI | m2://inv/6VY5XAG3WN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walsh function#T5UK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Outer automorphism group 6VYB5V61F1
| URI | m2://inv/6VYB5V61F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#N02W, Outer automorphism group (definition)
History
- 2026-11-02: add by m2/dev
Moment and increment bounds for $Z_{u}^{Y,\varepsilon,\circ}$ 6VYC41BS5E
| URI | m2://inv/6VYC41BS5E |
|---|---|
| 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.05864#DDBD, Moment and increment bounds for $Z_{u}^{Y,\varepsilon,\circ}$ (statement). In 31QPXWDZSH/e1, lemma B.4
History
- 2026-10-29: add by m2/v0.4.10
Roger C. Alperin 6VYK2FD3ZT
| URI | m2://inv/6VYK2FD3ZT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roger C. Alperin, Roger C. Alperin (topic). Also Wikidata Q15428602
History
- 2026-11-02: add by m2/dev
Petr–Douglas–Neumann theorem 6VYRB3AM2Z
| URI | m2://inv/6VYRB3AM2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petr–Douglas–Neumann theorem, Petr–Douglas–Neumann theorem (statement). Also Wikidata Q7179251
History
- 2026-11-02: add by m2/dev
⟂ 6VZ61D14C7
| URI | m2://inv/6VZ61D14C7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#TYD8, ⟂ (definition)
History
- 2026-11-02: add by m2/dev
Method 6VZ672VB4T
| URI | m2://inv/6VZ672VB4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center-of-gravity method#01ZO, Method (definition)
History
- 2026-11-02: add by m2/dev
6VZ7ATTS2K 6VZ7ATTS2K
| URI | m2://inv/6VZ7ATTS2K |
|---|---|
| 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 2609.40023#67OW (example). In JW9ARS9AQE/e1, example 3.4
History
- 2026-10-30: add by m2/v0.4.12
6VZBAKN1MK 6VZBAKN1MK
| URI | m2://inv/6VZBAKN1MK |
|---|---|
| Kind | statement |
| 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.00409#L67H (statement). In YQT2APQPWD/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Eric van Douwen 6VZKYBQDBD
| URI | m2://inv/6VZKYBQDBD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WCTX, Eric van Douwen (topic)
History
- 2026-11-02: add by m2/dev
Sierpiński triangle 6VZRKHN21V
| URI | m2://inv/6VZRKHN21V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#MWV1, Sierpiński triangle (definition)
- wikipedia: Wikipedia List of things named after Wacław Sierpiński#55KG, Sierpiński triangle (definition)
History
- 2026-11-02: add by m2/dev
Statement of the S-procedure 6VZXBCJK6Q
| URI | m2://inv/6VZXBCJK6Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-procedure#1L90, Statement of the S-procedure (statement)
History
- 2026-11-02: add by m2/dev
Interchange law 6VZYYY5MF5
| URI | m2://inv/6VZYYY5MF5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural transformation#PQCM, Interchange law (statement)
History
- 2026-11-02: add by m2/dev