Inventory rows 2R
The cards of the rows of the inventory whose ids start with 2R. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Jeffrey S. Morris 2R01ZVRC52
| URI | m2://inv/2R01ZVRC52 |
|---|---|
| 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#XUO2, Jeffrey S. Morris (unknown)
History
- 2026-11-02: add by m2/dev
Coherent derived categories 2R06YNE4GB
| URI | m2://inv/2R06YNE4GB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#KZ4H, Coherent derived categories (definition). In S26QVW5613/e1, definition 0.0.8
History
- 2026-10-30: add by m2/v0.4.12
Verified envelope 2R0CMQ7QEQ
| URI | m2://inv/2R0CMQ7QEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25027#NPO9, Verified envelope (statement)
History
- 2026-11-01: add by m2/v0.6.15
2R0EA89NN8 2R0EA89NN8
| URI | m2://inv/2R0EA89NN8 |
|---|---|
| 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.33775#CK0O (statement). In VVQ1FMTHXB/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
2R0G2D271P 2R0G2D271P
| URI | m2://inv/2R0G2D271P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.05850#G5RR (statement). In D424GB5MAW/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
Theorem 2R0J4Z0NCY
| URI | m2://inv/2R0J4Z0NCY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit function theorem#FXGN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Time index grows almost linearly with learning rate 2R0QKXNCJD
| URI | m2://inv/2R0QKXNCJD |
|---|---|
| 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.30957#3NIL, Time index grows almost linearly with learning rate (statement). In P5YB6R0RK3/e1, lemma C.14
History
- 2026-10-31: add by m2/v0.5.6
2R135ETP8C 2R135ETP8C
| URI | m2://inv/2R135ETP8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.02111#9GBH (statement). In NC5ZRF6F8N/e1, proposition 6.3
History
- 2026-10-29: add by m2/v0.4.12
2R13ZX6RF1 2R13ZX6RF1
| URI | m2://inv/2R13ZX6RF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1503.05744#KKGS (statement). In 5XKHZKEGAF/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Lotfi A. Zadeh 2R1AZGVFSG
| URI | m2://inv/2R1AZGVFSG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NBRG, Lotfi A. Zadeh (unknown)
History
- 2026-11-02: add by m2/dev
Properties 2R1CZWCVMZ
| URI | m2://inv/2R1CZWCVMZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace (linear algebra)#SBL2, Properties (statement)
History
- 2026-11-02: add by m2/dev
Gaston Floquet 2R1EMQED7X
| URI | m2://inv/2R1EMQED7X |
|---|---|
| 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 Q1495569, Gaston Floquet (unknown). Also ProofWiki Mathematician:Achille_Marie_Gaston_Floquet
- wikipedia: Wikipedia Gaston Floquet, Gaston Floquet (topic). Also Wikidata Q1495569
History
- 2026-10-26: add by m2/dev
Core damage frequency 2R1P6KPM9T
| URI | m2://inv/2R1P6KPM9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Core damage frequency, Core damage frequency (definition). Also Wikidata Q5170194
History
- 2026-11-02: add by m2/dev
2R1PG3MEKA 2R1PG3MEKA
| URI | m2://inv/2R1PG3MEKA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31858#0Y9O (statement). In QV16PHDXKJ/e1, lemma A.4
History
- 2026-10-31: add by m2/v0.5.6
Treynor–Black model 2R1SV1D42F
| URI | m2://inv/2R1SV1D42F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Treynor–Black model, Treynor–Black model (definition). Also Wikidata Q7839628
History
- 2026-11-02: add by m2/dev
space curve 2R1TRQ0XSG
| URI | m2://inv/2R1TRQ0XSG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1685841, space curve (unknown). Also MathWorld SpaceCurve
History
- 2026-10-26: add by m2/dev
2R1XG79BBA 2R1XG79BBA
| URI | m2://inv/2R1XG79BBA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#H8B1 (definition). In S8NB83KQX3/e1, definition 6
History
- 2026-10-31: add by m2/v0.5.6
Uniform commutative witnesses 2R26AZTN9B
| URI | m2://inv/2R26AZTN9B |
|---|---|
| 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#W8IW, Uniform commutative witnesses (statement). In DR7BK4CQ0V/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.3
Crossover study 2R2762YY64
| URI | m2://inv/2R2762YY64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crossover study, Crossover study (definition). Also Wikidata Q1242899
History
- 2026-11-02: add by m2/dev
2R2DMW1SJE 2R2DMW1SJE
| URI | m2://inv/2R2DMW1SJE |
|---|---|
| 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 2504.02065#M3ME (statement). In 60CK7P5F36/e1, corollary 5.8
History
- 2026-10-27: add by m2/v0.3.5
2R2DP8QHRD 2R2DP8QHRD
| URI | m2://inv/2R2DP8QHRD |
|---|---|
| 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#5YFN (definition). In REDG6QVHM3/e1, definition 9.1
History
- 2026-10-29: add by m2/v0.4.12
Elliptic genera 2R2ERDG6M4
| URI | m2://inv/2R2ERDG6M4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genus of a multiplicative sequence#CHNT, Elliptic genera (unknown)
History
- 2026-11-02: add by m2/dev
2R2PCGZWF9 2R2PCGZWF9
| URI | m2://inv/2R2PCGZWF9 |
|---|---|
| Kind | problem |
| 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.31387#R2UB (problem). In GBD60VB1JX/e1, problem 19
History
- 2026-10-31: add by m2/v0.5.6
Paired-rigidity-distance equality; original 2R2PWPG5WW
| URI | m2://inv/2R2PWPG5WW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02392#1CZJ, Paired-rigidity-distance equality; original (statement). In W066HQZQBF/e1, theorem 26
History
- 2026-10-29: add by m2/v0.4.12
2R2R4XV028 2R2R4XV028
| URI | m2://inv/2R2R4XV028 |
|---|---|
| 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 2403.02207#17KR (statement). In 1T3ZYPQZF0/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.3.6
2R2TDGY1NK 2R2TDGY1NK
| URI | m2://inv/2R2TDGY1NK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2503.00440#JLS7 (statement). In 3HMRK8KEVD/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.6
2R352TH6ZK 2R352TH6ZK
| URI | m2://inv/2R352TH6ZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.38596#DW5V (statement). In ZYGQAV8FD3/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Acne 2R37Y2C7V2
| URI | m2://inv/2R37Y2C7V2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#OU4D, Acne (unknown)
History
- 2026-11-02: add by m2/dev
2R3AD7JBJY 2R3AD7JBJY
| URI | m2://inv/2R3AD7JBJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08196#3X7U (statement). In 8QVWZ23N42/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
Generalizations 2R3KVZ5VVS
| URI | m2://inv/2R3KVZ5VVS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabola#XS81, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Social definitions of race in the United States 2R3NQGJ0TG
| URI | m2://inv/2R3NQGJ0TG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Race and ethnicity in the United States#1B90, Social definitions of race in the United States (unknown)
History
- 2026-11-02: add by m2/dev
2R3PDG8VZM 2R3PDG8VZM
| URI | m2://inv/2R3PDG8VZM |
|---|---|
| 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.23871#45EI (statement)
History
- 2026-11-02: add by m2/v0.6.17
PrimeGrid 2R3XJPJBHK
| URI | m2://inv/2R3XJPJBHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PrimeGrid, PrimeGrid (definition). Also Wikidata Q1146690
History
- 2026-11-02: add by m2/dev
2R40BAYXX7 2R40BAYXX7
| URI | m2://inv/2R40BAYXX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#BIBO (statement). In CY1FE8W1ZW/e1, lemma 0.245
History
- 2026-10-27: add by m2/v0.4.0
Equivalence of the transport-density system and the Beckmann problem 2R43928N00
| URI | m2://inv/2R43928N00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29987#6725, Equivalence of the transport-density system and the Beckmann problem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 2R4AMBAG1R
| URI | m2://inv/2R4AMBAG1R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic number#J6M1, Applications (example)
History
- 2026-11-02: add by m2/dev
Submersion 2R4BR34FH3
| URI | m2://inv/2R4BR34FH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#MSDA, Submersion (definition)
History
- 2026-11-02: add by m2/dev
2R4DYV1BNZ 2R4DYV1BNZ
| URI | m2://inv/2R4DYV1BNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26450#NQ49 (statement)
History
- 2026-11-01: add by m2/v0.6.15
2R4MYYJ6D8 2R4MYYJ6D8
| URI | m2://inv/2R4MYYJ6D8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-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.17139#451K (statement). In AQWX60Z563/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
annulus 2R4NZXKAYX
| URI | m2://inv/2R4NZXKAYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Annulus 0CW52NV5TC |
Mentions
- wikidata: Wikidata Q45926, annulus (unknown). Also MathWorld Annulus, nLab annulus
- wikipedia: Wikipedia Annulus (mathematics), Annulus (definition). Also Wikidata Q45926
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
2R4V05MJPM 2R4V05MJPM
| URI | m2://inv/2R4V05MJPM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.04502#CFJP (statement). In BT6E9BXXF3/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.3.5
2R4V2NYWYJ 2R4V2NYWYJ
| URI | m2://inv/2R4V2NYWYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#KZ6Z (statement). In V42PPD7SWH/e1, proposition 8.2
History
- 2026-10-31: add by m2/v0.5.6
2R4XPF5HK1 2R4XPF5HK1
| URI | m2://inv/2R4XPF5HK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36088#LVAV (statement). In QJD3MZMJHW/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Definition 2R51F7F5TW
| URI | m2://inv/2R51F7F5TW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gosset–Elte figures#LA74, Definition (definition)
History
- 2026-11-02: add by m2/dev
2R5363QK8P 2R5363QK8P
| URI | m2://inv/2R5363QK8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28265#OXGW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compatible disks for the two nine-dimensional models 2R5BW18MN6
| URI | m2://inv/2R5BW18MN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03298#DDW1, Compatible disks for the two nine-dimensional models (statement). In 9SBZP218SM/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
2R5H7YGXNM 2R5H7YGXNM
| URI | m2://inv/2R5H7YGXNM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#HS5W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Egorov's theorem 2R5KD76TY3
| URI | m2://inv/2R5KD76TY3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0HH9, Egorov's theorem (statement)
History
- 2026-11-02: add by m2/dev
2R61ECYSPC 2R61ECYSPC
| URI | m2://inv/2R61ECYSPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.27272#NG38 (statement). In BDEA3TDATY/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
2R623RXGM4 2R623RXGM4
| URI | m2://inv/2R623RXGM4 |
|---|---|
| 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.12295#74FJ (statement). In 6DZPR52HRP/e1, theorem 4.30
History
- 2026-10-28: add by m2/v0.4.2
2R6463KB75 2R6463KB75
| URI | m2://inv/2R6463KB75 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12481#LT9W (definition). In TD288AK3EJ/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
Structural vector autoregression 2R6H6Q7HXA
| URI | m2://inv/2R6H6Q7HXA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector autoregression#0RKH, Structural vector autoregression (unknown)
History
- 2026-11-02: add by m2/dev
Hagit Attiya 2R6J0P64F2
| URI | m2://inv/2R6J0P64F2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2U3Z, Hagit Attiya (unknown)
History
- 2026-11-02: add by m2/dev
2R6MYR05M1 2R6MYR05M1
| URI | m2://inv/2R6MYR05M1 |
|---|---|
| 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.10469#ZARJ (statement). In Q39BEKW6D9/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.10
tensor category 2R6S4WH9JA
| URI | m2://inv/2R6S4WH9JA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#XRS6, tensor category (definition)
History
- 2026-11-02: add by m2/dev
2R6XM3MSAS 2R6XM3MSAS
| URI | m2://inv/2R6XM3MSAS |
|---|---|
| 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.06556#ZXKY (statement). In KW8C7VE9XR/e1, theorem 18
History
- 2026-10-29: add by m2/v0.4.10
Examples 2R742VV35F
| URI | m2://inv/2R742VV35F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete bipartite graph#N1NG, Examples (example)
History
- 2026-11-02: add by m2/dev
2R7DMS5EK8 2R7DMS5EK8
| URI | m2://inv/2R7DMS5EK8 |
|---|---|
| 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.25656#HRHT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Diophantus of Alexandria 2R7GNNHSVK
| URI | m2://inv/2R7GNNHSVK |
|---|---|
| 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 Q178217, Diophantus of Alexandria (unknown). Also ProofWiki Mathematician:Diophantus_of_Alexandria
- wikipedia: Wikipedia Diophantus, Diophantus (topic). Also Wikidata Q178217
History
- 2026-10-26: add by m2/dev
2R8411N92N 2R8411N92N
| URI | m2://inv/2R8411N92N |
|---|---|
| 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.14189#EXI1 (statement). In 39VAB08YDJ/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
2R85RJA8ZH 2R85RJA8ZH
| URI | m2://inv/2R85RJA8ZH |
|---|---|
| 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#28Y1 (definition). In XGPZ0G9E1Q/e1, definition 8.1
History
- 2026-10-29: add by m2/v0.4.12
2R8BNXHA5A 2R8BNXHA5A
| URI | m2://inv/2R8BNXHA5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#RIDB (statement). In WYE2JVEZBT/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
2R8DCH4NG0 2R8DCH4NG0
| URI | m2://inv/2R8DCH4NG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#RUFS (statement). In E7BPGPP9Z5/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.10
2R8FD3QV3R 2R8FD3QV3R
| URI | m2://inv/2R8FD3QV3R |
|---|---|
| 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 2111.08123#UE2G (statement). In TAAB0QAKAG/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.3.5
Yang , Conjecture 1 2R8G2CSEHG
| URI | m2://inv/2R8G2CSEHG |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29898#2SN4, Yang , Conjecture 1 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
2R8HMDHMWX 2R8HMDHMWX
| URI | m2://inv/2R8HMDHMWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#UCBP (statement)
History
- 2026-11-01: add by m2/v0.6.15
2R8HRDRJY5 2R8HRDRJY5
| URI | m2://inv/2R8HRDRJY5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian decomposition#9ECN (problem)
History
- 2026-11-02: add by m2/dev
Applications 2R8ZPZHYFA
| URI | m2://inv/2R8ZPZHYFA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simons cone#LO9A, Applications (example)
History
- 2026-11-02: add by m2/dev
2R9CS1ANJ4 2R9CS1ANJ4
| URI | m2://inv/2R9CS1ANJ4 |
|---|---|
| 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 1504.03271#IOPH (statement). In RY17N5T1NQ/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Examples 2R9K68HT9W
| URI | m2://inv/2R9K68HT9W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet hyperbola method#CXSG, Examples (example)
History
- 2026-11-02: add by m2/dev
2R9S65GS62 2R9S65GS62
| URI | m2://inv/2R9S65GS62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20126#ZJH7 (statement). In KVXDWX9B11/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
Complexity of the block encoding of each symmetric-sector term 2R9VS6WJR2
| URI | m2://inv/2R9VS6WJR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39992#FUOK, Complexity of the block encoding of each symmetric-sector term (statement). In WF64CGYVK1/e1, lemma S27
History
- 2026-10-30: add by m2/v0.4.12
Examples 2R9ZDY5DAG
| URI | m2://inv/2R9ZDY5DAG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superspace#NVEQ, Examples (example)
History
- 2026-11-02: add by m2/dev
2R9ZMHE869 2R9ZMHE869
| URI | m2://inv/2R9ZMHE869 |
|---|---|
| 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 math/9201244#WZOA (statement). In 7D3HCN21MK/e1, fact 2.5
History
- 2026-10-27: add by m2/v0.3.5
2RA67FTW3P 2RA67FTW3P
| URI | m2://inv/2RA67FTW3P |
|---|---|
| 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#7CIJ (statement). In JW8HH6EPG2/e1, proposition 3.45
History
- 2026-10-29: add by m2/v0.4.10
2RA9R0MZM5 2RA9R0MZM5
| URI | m2://inv/2RA9R0MZM5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.15228#1D5A (statement). In 4778KMFZAF/e1, corollary 3.9
History
- 2026-10-27: add by m2/v0.3.5
Elizabeth Tipton 2RABP9D8WM
| URI | m2://inv/2RABP9D8WM |
|---|---|
| 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#LMVL, Elizabeth Tipton (topic)
History
- 2026-11-02: add by m2/dev
2RADB358FT 2RADB358FT
| URI | m2://inv/2RADB358FT |
|---|---|
| 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.23341#4LCY (statement)
History
- 2026-11-02: add by m2/v0.6.17
2RARF0VYXA 2RARF0VYXA
| URI | m2://inv/2RARF0VYXA |
|---|---|
| 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.25345#J8DA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gc 2RAT41K8GX
| URI | m2://inv/2RAT41K8GX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gc (engineering), Gc (definition). Also Wikidata Q27996585
History
- 2026-11-02: add by m2/dev
Le Cam's theorem 2RAYX2WHVM
| URI | m2://inv/2RAYX2WHVM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3154003, Le Cam's theorem (statement). Also Wikidata Q3154003
- thousand_plus: thousand_plus Q3154003, Le Cam's theorem (statement). Also Wikidata Q3154003, Wikipedia Le Cam's theorem
- wikidata: Wikidata Q3154003, Le Cam's theorem (statement). Also MathWorld LeCamsInequality
- wikipedia: Wikipedia Le Cam's theorem, Le Cam's theorem (statement). Also Wikidata Q3154003
History
- 2026-10-26: add by m2/dev
Allan Roth 2RAZY43WCP
| URI | m2://inv/2RAZY43WCP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allan Roth, Allan Roth (topic). Also Wikidata Q55692459
History
- 2026-11-02: add by m2/dev
2RB305123W 2RB305123W
| URI | m2://inv/2RB305123W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.02901#ZK1D (statement). In NSP90G5XCQ/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
2RB3VS1SJV 2RB3VS1SJV
| URI | m2://inv/2RB3VS1SJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08873#BNO1 (statement). In 7WMNVJBAVR/e1, proposition 4.14
History
- 2026-10-29: add by m2/v0.4.10
2RB3WNSP92 2RB3WNSP92
| URI | m2://inv/2RB3WNSP92 |
|---|---|
| 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.19988#SRZ7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
2RB4M01BWV 2RB4M01BWV
| URI | m2://inv/2RB4M01BWV |
|---|---|
| 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.00775#Y7K6 (statement). In WVHA7H05QC/e1, corollary 2.13
History
- 2026-10-29: add by m2/v0.4.12
Nielsen fixed-point theorem 2RB66C4QBV
| URI | m2://inv/2RB66C4QBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WWYG, Nielsen fixed-point theorem (definition)
History
- 2026-11-02: add by m2/dev
2RBADG8TYK 2RBADG8TYK
| URI | m2://inv/2RBADG8TYK |
|---|---|
| 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.20391#SJHB (statement). In CTAS41TRM2/e1, theorem 4.9
History
- 2026-10-27: add by m2/v0.4.2
Fitting ideal 2RBD2AD7P5
| URI | m2://inv/2RBD2AD7P5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitting ideal, Fitting ideal (definition). Also Wikidata Q5455498
History
- 2026-11-02: add by m2/dev
order, strict 2RBMYWXHKE
| URI | m2://inv/2RBMYWXHKE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/order-strict, order, strict (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Generic recovery of the rotated blocks 2RBT09DQXZ
| URI | m2://inv/2RBT09DQXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04136#5OPY, Generic recovery of the rotated blocks (statement). In TBYTWR87F3/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
2RBWEZQ6D8 2RBWEZQ6D8
| URI | m2://inv/2RBWEZQ6D8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23004#R5LH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Three Forks, South Dakota 2RC1TK741F
| URI | m2://inv/2RC1TK741F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#O528, Three Forks, South Dakota (unknown)
History
- 2026-11-02: add by m2/dev
2RCGQA3NEC 2RCGQA3NEC
| URI | m2://inv/2RCGQA3NEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#0RXA (statement). In BDN507RN7J/e1, corollary 2.2.4
History
- 2026-10-30: add by m2/v0.4.12
2RCHANKMR6 2RCHANKMR6
| URI | m2://inv/2RCHANKMR6 |
|---|---|
| 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 2511.07697#5L1T (statement). In 57P5P33HS3/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
2RCJK7NKXK 2RCJK7NKXK
| URI | m2://inv/2RCJK7NKXK |
|---|---|
| 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 2511.07697#J6TL (statement). In 57P5P33HS3/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Goldbach's conjecture 2RCKBF3038
| URI | m2://inv/2RCKBF3038 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#LD4X, Goldbach's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
2RCMC2V54T 2RCMC2V54T
| URI | m2://inv/2RCMC2V54T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05204#2DB8 (statement). In ET0TQ8YF7Z/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
2RCZQZPCF8 2RCZQZPCF8
| URI | m2://inv/2RCZQZPCF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21969#9HD9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Minkowski's first inequality for convex bodies 2RD1XMVDFR
| URI | m2://inv/2RD1XMVDFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski's first inequality for convex bodies, Minkowski's first inequality for convex bodies (statement). Also Wikidata Q6867850
History
- 2026-11-02: add by m2/dev
2RD2RJCEY2 2RD2RJCEY2
| URI | m2://inv/2RD2RJCEY2 |
|---|---|
| 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.20135#ZXAL (statement). In ZQQEN3J866/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.2
Notations 2RD751GXXZ
| URI | m2://inv/2RD751GXXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear predictor function#IIN8, Notations (definition)
History
- 2026-11-02: add by m2/dev
Formulation 2RD9YB72G8
| URI | m2://inv/2RD9YB72G8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Weil–Bott theorem#M3F5, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Rineke Verbrugge 2RDATBD8X3
| URI | m2://inv/2RDATBD8X3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#FD6M, Rineke Verbrugge (unknown)
History
- 2026-11-02: add by m2/dev
Ihor Kolomoyskyi 2RDCQ8T3WP
| URI | m2://inv/2RDCQ8T3WP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#F7NS, Ihor Kolomoyskyi (unknown)
History
- 2026-11-02: add by m2/dev
Morris Hirsch 2RDHV3BWTR
| URI | m2://inv/2RDHV3BWTR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YZ91, Morris Hirsch (topic)
History
- 2026-11-02: add by m2/dev
Birkhoff–Kellogg invariant-direction theorem 2RDWYXD12N
| URI | m2://inv/2RDWYXD12N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff–Kellogg invariant-direction theorem, Birkhoff–Kellogg invariant-direction theorem (statement). Also Wikidata Q4916485
History
- 2026-11-02: add by m2/dev
Philippine Math Olympiad 2RE70B8DEX
| URI | m2://inv/2RE70B8DEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#SGOF, Philippine Math Olympiad (definition)
History
- 2026-11-02: add by m2/dev
2RE9RFJBEK 2RE9RFJBEK
| URI | m2://inv/2RE9RFJBEK |
|---|---|
| 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.08885#PTIM (statement). In B4RHB3CF12/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
Applications 2REDQK19P1
| URI | m2://inv/2REDQK19P1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I-spline#G94C, Applications (example)
History
- 2026-11-02: add by m2/dev
Inclusion in maximal achronal sets 2REVPFVN3Z
| URI | m2://inv/2REVPFVN3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#5YJT, Inclusion in maximal achronal sets (statement). In KM3Q791JY0/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
2RF1ZG9VYC 2RF1ZG9VYC
| URI | m2://inv/2RF1ZG9VYC |
|---|---|
| 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 2407.05730#61QZ (statement). In VQ7STN4KDC/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Riesz 2RF4PWC3JS
| URI | m2://inv/2RF4PWC3JS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#FJ41, Riesz (definition)
History
- 2026-11-02: add by m2/dev
2RF5RA38C0 2RF5RA38C0
| URI | m2://inv/2RF5RA38C0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#SDVI (statement). In EVFX1R7ZDD/e1, theorem 13
History
- 2026-10-30: add by m2/v0.4.12
2RF9MXWP8R 2RF9MXWP8R
| URI | m2://inv/2RF9MXWP8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17441#0IOG (statement). In 9Q8S0NWHP2/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
791 (number) 2RFM6HA34P
| URI | m2://inv/2RFM6HA34P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#11ZF, 791 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Cryptographic hash function 2RFWBP1DSW
| URI | m2://inv/2RFWBP1DSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#70OF, Cryptographic hash function (definition)
History
- 2026-11-02: add by m2/dev
asymptotically geometric sampling 2RG0EFVPXG
| URI | m2://inv/2RG0EFVPXG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#33KN, asymptotically geometric sampling (statement)
History
- 2026-11-01: add by m2/v0.6.15
2RG7XTB7J5 2RG7XTB7J5
| URI | m2://inv/2RG7XTB7J5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2605.16669#AO5I (statement). In 1463YCCRP5/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.0
2RGESHSP9P 2RGESHSP9P
| URI | m2://inv/2RGESHSP9P |
|---|---|
| Kind | definition |
| 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#OI1X (definition)
History
- 2026-11-02: add by m2/v0.6.17
2RGJQ4HQDA 2RGJQ4HQDA
| URI | m2://inv/2RGJQ4HQDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33704#C577 (statement). In STRVMT83HE/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Exact phase identity 2RGMG58JYA
| URI | m2://inv/2RGMG58JYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15686#3F8G, Exact phase identity (statement). In 4HCK722M2G/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
2RGQ0AR6M2 2RGQ0AR6M2
| URI | m2://inv/2RGQ0AR6M2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.13105#H1TB (definition). In 5ACPY6CEDV/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
2RGTF7WZ36 2RGTF7WZ36
| URI | m2://inv/2RGTF7WZ36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.00752#392W (statement). In GGW2N4JHXM/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Quantitative Ryser conjecture 2RGTKVQ7XP
| URI | m2://inv/2RGTKVQ7XP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ryser's conjecture on circulant Hadamard matrices#G14P, Quantitative Ryser conjecture (statement)
History
- 2026-11-02: add by m2/dev
Examples 2RGVWJ59G9
| URI | m2://inv/2RGVWJ59G9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Budan's theorem#LOHP, Examples (example)
History
- 2026-11-02: add by m2/dev
2RH2Y6DS5Z 2RH2Y6DS5Z
| URI | m2://inv/2RH2Y6DS5Z |
|---|---|
| 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 1909.03896#EXUZ (statement). In CX9RVPQVBM/e1, lemma 18
History
- 2026-10-27: add by m2/v0.3.5
2RH4SM3R4G 2RH4SM3R4G
| URI | m2://inv/2RH4SM3R4G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21765#4QQ0 (definition)
History
- 2026-11-02: add by m2/v0.6.18
2RH7GQB3BK 2RH7GQB3BK
| URI | m2://inv/2RH7GQB3BK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 27.7
History
- 2026-11-01: add by m2/v0.6.13
Formulation 2RH8R4SQQB
| URI | m2://inv/2RH8R4SQQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beer–Lambert law#DKI5, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Link (knot theory) 2RHBFR8CZ5
| URI | m2://inv/2RHBFR8CZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#W0SK, Link (knot theory) (definition)
- wikipedia: Wikipedia List of topology topics#W00J, Link (knot theory) (definition)
- wikipedia: Wikipedia List of geometric topology topics#4U51, Link (knot theory) (definition)
History
- 2026-11-02: add by m2/dev
Ancestral pumping 2RHDD81JKQ
| URI | m2://inv/2RHDD81JKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34122#AMB5, Ancestral pumping (statement). In 6V2FT31QA1/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
2RHM7ZH60Q 2RHM7ZH60Q
| URI | m2://inv/2RHM7ZH60Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24545#R91N (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 2RHP304X6M
| URI | m2://inv/2RHP304X6M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Besov measure#KJ10, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties 2RHVXQJV84
| URI | m2://inv/2RHVXQJV84 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archimedean ordered vector space#T6AU, Properties (statement)
History
- 2026-11-02: add by m2/dev
2RHX2WKFZF 2RHX2WKFZF
| URI | m2://inv/2RHX2WKFZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#AOXO (statement). In 47WN78VDDF/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Uniform smoothing 2RJ6RBAX52
| URI | m2://inv/2RJ6RBAX52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11077#EP01, Uniform smoothing (statement). In 4333A6G5K5/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.3
1 093 2RJ97P3B5Q
| URI | m2://inv/2RJ97P3B5Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1000 (number)#9NQJ, 1 093 (unknown)
History
- 2026-11-02: add by m2/dev
2RJAP1SX87 2RJAP1SX87
| URI | m2://inv/2RJAP1SX87 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07537#HIHL (statement). In ZFDXNKEBT1/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Residual bound at the regularized zero 2RJDGRV4PH
| URI | m2://inv/2RJDGRV4PH |
|---|---|
| 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.35631#TNIG, Residual bound at the regularized zero (statement). In 9NCX0S6MTP/e1, proposition D.3
History
- 2026-10-30: add by m2/v0.4.12
2RJHQN7DFH 2RJHQN7DFH
| URI | m2://inv/2RJHQN7DFH |
|---|---|
| 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.20881#NVNT (statement)
History
- 2026-11-02: add by m2/v0.6.18
2RJZ8KPXN8 2RJZ8KPXN8
| URI | m2://inv/2RJZ8KPXN8 |
|---|---|
| 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.30090#1BVH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem 2RK4HQPN4N
| URI | m2://inv/2RK4HQPN4N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive space#YILH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Mean-preserving scalar shadow 2RK4S15WRE
| URI | m2://inv/2RK4S15WRE |
|---|---|
| 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.08821#WM33, Mean-preserving scalar shadow (statement). In KP1THB2C09/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Lambert 2RK6HTPSDT
| URI | m2://inv/2RK6HTPSDT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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 2302.04566#64JV, Lambert (definition). In 80S2NP05HJ/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.0
2RK85011PV 2RK85011PV
| URI | m2://inv/2RK85011PV |
|---|---|
| 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 2410.01436#MEE9 (statement). In FE59Q5BHKZ/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
Recovery of the Average Discrete Gradient 2RK9NWBQ4R
| URI | m2://inv/2RK9NWBQ4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16705#MOVF, Recovery of the Average Discrete Gradient (statement). In B48YQVGAF5/e1, theorem 5.5
History
- 2026-10-28: add by m2/v0.4.2
2RKFAFCVFT 2RKFAFCVFT
| URI | m2://inv/2RKFAFCVFT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08323#D0F2 (definition). In FR51ART4NF/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.10
2RKJFA26HP 2RKJFA26HP
| URI | m2://inv/2RKJFA26HP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#064Q (statement). In PA6JQDSKQT/e1, lemma 4.19
History
- 2026-10-28: add by m2/v0.4.2
2RKMM1MAXH 2RKMM1MAXH
| URI | m2://inv/2RKMM1MAXH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#UJRR (statement)
History
- 2026-11-01: add by m2/v0.6.15
WA Business 2RKNZ55KAK
| URI | m2://inv/2RKNZ55KAK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WhatsApp#YC14, WA Business (unknown)
History
- 2026-11-02: add by m2/dev
Manuel Moschopoulos 2RKRY8WMZM
| URI | m2://inv/2RKRY8WMZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q650448, Manuel Moschopoulos (unknown). Also ProofWiki Mathematician:Manuel_Moschopoulos
History
- 2026-10-26: add by m2/dev
Romania 2RKS7RYYY6
| URI | m2://inv/2RKS7RYYY6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q218, Romania (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Romania
History
- 2026-10-26: add by m2/dev
Normalization 2RKSP6WT7G
| URI | m2://inv/2RKSP6WT7G |
|---|---|
| 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.05457#7QJF, Normalization (statement). In SV36P5P5Z3/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Properties 2RKTMFYJ4M
| URI | m2://inv/2RKTMFYJ4M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witch of Agnesi#0IA7, Properties (statement)
History
- 2026-11-02: add by m2/dev
2RKVD6SWN8 2RKVD6SWN8
| URI | m2://inv/2RKVD6SWN8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 4.8
History
- 2026-11-01: add by m2/v0.6.13
Frenet–Serret formulas 2RM4D8Y2ZQ
| URI | m2://inv/2RM4D8Y2ZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#ZI69, Frenet–Serret formulas (statement)
- wikipedia: Wikipedia List of multivariable calculus topics#U3GG, Frenet–Serret formulas (statement)
History
- 2026-11-02: add by m2/dev
2RM95AMHKX 2RM95AMHKX
| URI | m2://inv/2RM95AMHKX |
|---|---|
| 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.37450#JP28 (statement). In FP05Z6EBV4/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
Skoda 2RMCGR9EA2
| URI | m2://inv/2RMCGR9EA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33300#WUHG, Skoda (statement). In AWF7ZHK4EM/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
2RMFW7FHKP 2RMFW7FHKP
| URI | m2://inv/2RMFW7FHKP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29501#GAN7 (definition)
History
- 2026-11-01: add by m2/v0.6.15
2RMR91XV4J 2RMR91XV4J
| URI | m2://inv/2RMR91XV4J |
|---|---|
| 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.04772#H9AS (statement). In WW08CYN4D4/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Almost Ramsey cardinal 2RMW2BW51G
| URI | m2://inv/2RMW2BW51G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#QZXA, Almost Ramsey cardinal (definition)
History
- 2026-11-02: add by m2/dev
2RNCTDJS45 2RNCTDJS45
| URI | m2://inv/2RNCTDJS45 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21949#JQBO (statement)
History
- 2026-11-02: add by m2/v0.6.17
prime 2RNGEMHTT7
| URI | m2://inv/2RNGEMHTT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#8ZNK, prime (definition)
History
- 2026-11-02: add by m2/dev
2RNGGM0H2Z 2RNGGM0H2Z
| URI | m2://inv/2RNGGM0H2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#WFNW (statement). In F0E8YBV0Z0/e1, lemma 6.6
History
- 2026-10-30: add by m2/v0.4.12
Applications 2RNN40P8VG
| URI | m2://inv/2RNN40P8VG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass–Erdmann condition#Z47C, Applications (example)
History
- 2026-11-02: add by m2/dev
2RNQRTK31B 2RNQRTK31B
| URI | m2://inv/2RNQRTK31B |
|---|---|
| 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-8 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
2RNRSM1ZZT 2RNRSM1ZZT
| URI | m2://inv/2RNRSM1ZZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2609.28742#ZBNS (statement)
History
- 2026-11-01: add by m2/v0.6.15
2RNZWKWZWX 2RNZWKWZWX
| URI | m2://inv/2RNZWKWZWX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-22 (exercise). In E59CDZA4DP, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
2RP1JMVJZN 2RP1JMVJZN
| URI | m2://inv/2RP1JMVJZN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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 2609.22514#JCFF (definition)
History
- 2026-11-02: add by m2/v0.6.17
2RP4YHXWJ9 2RP4YHXWJ9
| URI | m2://inv/2RP4YHXWJ9 |
|---|---|
| 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.37893#Y238 (statement). In 8H0KHK7AMN/e1, proposition 4.10
History
- 2026-10-30: add by m2/v0.4.12
Erd\H{o}s-Rado 2RP61DFJEP
| URI | m2://inv/2RP61DFJEP |
|---|---|
| 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#OPQG, Erd\H{o}s-Rado (statement)
History
- 2026-11-02: add by m2/v0.6.17
Marion Walter 2RP63T7F92
| URI | m2://inv/2RP63T7F92 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#FXAT, Marion Walter (topic)
History
- 2026-11-02: add by m2/dev
King, Tollu, Toumazet; Chindris 2RP907SCBJ
| URI | m2://inv/2RP907SCBJ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#AWNL, King, Tollu, Toumazet; Chindris (conjecture). In CM2YEK9T4F/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.4.2
2RPA32Q8XK 2RPA32Q8XK
| URI | m2://inv/2RPA32Q8XK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.18483#BEOO (statement). In FF4HDVF1DC/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
2RPBEMFNVJ 2RPBEMFNVJ
| URI | m2://inv/2RPBEMFNVJ |
|---|---|
| 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 2009.11127#78YA (statement). In QEFS0Y021A/e1, proposition 7.3
History
- 2026-10-27: add by m2/v0.3.5
Continuity of horocone-pyramid formation 2RPCDSNVFM
| URI | m2://inv/2RPCDSNVFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#M22H, Continuity of horocone-pyramid formation (statement)
History
- 2026-11-01: add by m2/v0.6.15
2RPT60YR0W 2RPT60YR0W
| URI | m2://inv/2RPT60YR0W |
|---|---|
| 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 2411.05198#AQT5 (statement). In NJWY6HPFHG/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
2RPT9J4EG2 2RPT9J4EG2
| URI | m2://inv/2RPT9J4EG2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 27.4.2
History
- 2026-11-01: add by m2/v0.6.13
$q$ Distributes over Composition 2RPWP1V2CW
| URI | m2://inv/2RPWP1V2CW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#HEW8, $q$ Distributes over Composition (statement). In CPYWHRTPKC/e1, lemma 2.21
History
- 2026-10-27: add by m2/v0.4.2
Construction 2RPWW3B2VG
| URI | m2://inv/2RPWW3B2VG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smoothed octagon#9HL0, Construction (definition)
History
- 2026-11-02: add by m2/dev
2RPYTP1BG0 2RPYTP1BG0
| URI | m2://inv/2RPYTP1BG0 |
|---|---|
| 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.09594#I7M3 (statement). In TVE5WK2MH8/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
2RPZS7PSB2 2RPZS7PSB2
| URI | m2://inv/2RPZS7PSB2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphalgorithms_min-wt-span.ptx#proof-2 (proof). In QKM9DD2H56, proof, section 12.1.1
History
- 2026-11-01: add by m2/v0.6.13
Vincent's theorem 2RQ720QVAC
| URI | m2://inv/2RQ720QVAC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real-root isolation#4OMK, Vincent's theorem (statement)
History
- 2026-11-02: add by m2/dev
Fourier interpolation 2RQ92FGESQ
| URI | m2://inv/2RQ92FGESQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35421#JNGF, Fourier interpolation (statement). In KE8B8KMDJJ/e1, theorem 0.1
History
- 2026-10-30: add by m2/v0.4.12
Euclidean space 2RQ9V396PD
| URI | m2://inv/2RQ9V396PD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of vector spaces in mathematics#35H8, Euclidean space (definition)
- wikipedia: Wikipedia List of things named after Euclid#J59F, Euclidean space (definition)
- wikipedia: Wikipedia List of real analysis topics#I9LQ, Euclidean space (definition)
History
- 2026-11-02: add by m2/dev
2RQEWMBZVE 2RQEWMBZVE
| URI | m2://inv/2RQEWMBZVE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#QATC (definition). In M0SQY5EZN5/e1, definition 2.1.9
History
- 2026-10-27: add by m2/v0.3.5
Properties and theorems 2RQKWWN7QC
| URI | m2://inv/2RQKWWN7QC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck category#AZ3U, Properties and theorems (statement)
History
- 2026-11-02: add by m2/dev
Examples 2RQT3VQG2Q
| URI | m2://inv/2RQT3VQG2Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine-regular polygon#BU6Z, Examples (example)
History
- 2026-11-02: add by m2/dev
Example 2RQTKGNYQC
| URI | m2://inv/2RQTKGNYQC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center squeeze#2E73, Example (example)
History
- 2026-11-02: add by m2/dev
Uniform Normalization and Tails 2RQV3DTNPG
| URI | m2://inv/2RQV3DTNPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#ETHT, Uniform Normalization and Tails (statement). In CW9MNA6K58/e1, lemma 9.10
History
- 2026-10-28: add by m2/v0.4.2
Applications 2RQY9N398H
| URI | m2://inv/2RQY9N398H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric group#DFV6, Applications (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Hecke algebra of a pair 2RR4AW9A3X
| URI | m2://inv/2RR4AW9A3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hecke algebra of a pair, Hecke algebra of a pair (definition). Also Wikidata Q5696375
History
- 2026-11-02: add by m2/dev
Darboux's theorem 2RR6RGRYT8
| URI | m2://inv/2RR6RGRYT8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.2.5/darboux-s-theorem, Darboux's theorem (concept). In E59CDZA4DP, index, section 3.2.5
History
- 2026-11-01: add by m2/v0.6.13
Decision EXpert 2RR896NWFE
| URI | m2://inv/2RR896NWFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision EXpert, Decision EXpert (definition). Also Wikidata Q24963445
History
- 2026-11-02: add by m2/dev
2RRR6E3ZS9 2RRR6E3ZS9
| URI | m2://inv/2RRR6E3ZS9 |
|---|---|
| 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.02535#IDB8 (statement). In S26PXDSWM9/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
Statement of Hirzebruch–Riemann–Roch theorem 2RRXP71HSW
| URI | m2://inv/2RRXP71HSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hirzebruch–Riemann–Roch theorem#BLZQ, Statement of Hirzebruch–Riemann–Roch theorem (statement)
History
- 2026-11-02: add by m2/dev
Relative boundedness 2RS2066CN6
| URI | m2://inv/2RS2066CN6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded operator#KR6C, Relative boundedness (unknown)
History
- 2026-11-02: add by m2/dev
2RS3NSYTP6 2RS3NSYTP6
| URI | m2://inv/2RS3NSYTP6 |
|---|---|
| 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 math/9901049#X58K (statement). In SAVNP6BB03/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Raymond Paley 2RSD59TN23
| URI | m2://inv/2RSD59TN23 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raymond Paley, Raymond Paley (topic). Also Wikidata Q1394249
History
- 2026-11-02: add by m2/dev
Grace Alele-Williams 2RSKJMJNRT
| URI | m2://inv/2RSKJMJNRT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grace Alele-Williams, Grace Alele-Williams (topic). Also Wikidata Q5590971
History
- 2026-11-02: add by m2/dev
2RSP69H7FY 2RSP69H7FY
| URI | m2://inv/2RSP69H7FY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08599#TPHY (example). In DST9FWMHT6/e1, example 5.4
History
- 2026-10-29: add by m2/v0.4.10
3SUM 2RSQJA5SSN
| URI | m2://inv/2RSQJA5SSN |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#P20N, 3SUM (conjecture)
History
- 2026-11-02: add by m2/dev
Formal definition 2RSY6TBW6F
| URI | m2://inv/2RSY6TBW6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal polynomial of 2cos(2pi/n)#3I0B, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
2RSYGPHB1C 2RSYGPHB1C
| URI | m2://inv/2RSYGPHB1C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#PMKV (definition). In 3A4K47Y9F2/e1, definition 4.12
History
- 2026-10-27: add by m2/v0.4.0
2RT0EE7ACN 2RT0EE7ACN
| URI | m2://inv/2RT0EE7ACN |
|---|---|
| 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 2312.06581#D215 (statement). In WXJ2V3HA2R/e1, lemma D.15
History
- 2026-10-27: add by m2/v0.3.5
2RT4VKH92H 2RT4VKH92H
| URI | m2://inv/2RT4VKH92H |
|---|---|
| Kind | example |
| 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 2412.12141#QDMK (example). In V980ZMH759/e1, example 3.15
History
- 2026-10-27: add by m2/v0.4.0
2RT6GCJ566 2RT6GCJ566
| URI | m2://inv/2RT6GCJ566 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#4SOQ (statement). In BDN507RN7J/e1, proposition 4.4.1
History
- 2026-10-30: add by m2/v0.4.12
2RT9VQ3D13 2RT9VQ3D13
| URI | m2://inv/2RT9VQ3D13 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-4 (proof). In E59CDZA4DP, proof, section 11.1.3
History
- 2026-11-01: add by m2/v0.6.13
Multiverse analysis 2RTJ2BD175
| URI | m2://inv/2RTJ2BD175 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiverse analysis, Multiverse analysis (definition). Also Wikidata Q105478722
History
- 2026-11-02: add by m2/dev
The 1st resolvent formula 2RTPPWJ2K2
| URI | m2://inv/2RTPPWJ2K2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorphic functional calculus#4538, The 1st resolvent formula (statement)
History
- 2026-11-02: add by m2/dev
An indecomposable weighted $2$-design not supported on a regular polygon 2RTRKY63AF
| URI | m2://inv/2RTRKY63AF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04136#NKYX, An indecomposable weighted $2$-design not supported on a regular polygon (statement). In TBYTWR87F3/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
inertia stack 2RTSPT8TMW
| URI | m2://inv/2RTSPT8TMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135512580, inertia stack (unknown). Also nLab inertia orbifold
- wikipedia: Wikipedia Inertia stack, Inertia stack (definition). Also Wikidata Q135512580
History
- 2026-10-26: add by m2/dev
Möbius energy 2RV26MW0WS
| URI | m2://inv/2RV26MW0WS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#O099, Möbius energy (definition)
History
- 2026-11-02: add by m2/dev
Examples 2RV6B97GYD
| URI | m2://inv/2RV6B97GYD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous eating algorithm#49J8, Examples (example)
History
- 2026-11-02: add by m2/dev
Vanishing-error scaling 2RV7MPSZBZ
| URI | m2://inv/2RV7MPSZBZ |
|---|---|
| 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.16351#ZVK9, Vanishing-error scaling (statement). In 1QSV7EQE3T/e1, corollary S54
History
- 2026-10-28: add by m2/v0.4.2
Peter Hilton 2RV7X49N3T
| URI | m2://inv/2RV7X49N3T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#HC1X, Peter Hilton (topic)
History
- 2026-11-02: add by m2/dev
2RVEC72K9Q 2RVEC72K9Q
| URI | m2://inv/2RVEC72K9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39260#5OX7 (statement). In ZNDB1AZZSA/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Oskar Schlömilch 2RVF11WNHA
| URI | m2://inv/2RVF11WNHA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oskar Schlömilch, Oskar Schlömilch (topic). Also Wikidata Q65178
History
- 2026-11-02: add by m2/dev
Order-sorted logic 2RVQHVB3PJ
| URI | m2://inv/2RVQHVB3PJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Many-sorted logic#O1YU, Order-sorted logic (unknown)
History
- 2026-11-02: add by m2/dev
Kerberos 2RVVRQQ388
| URI | m2://inv/2RVVRQQ388 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kerberos (protocol), Kerberos (definition). Also Wikidata Q506053
History
- 2026-11-02: add by m2/dev
Statement of the theorem 2RW0AYCB2J
| URI | m2://inv/2RW0AYCB2J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum operation#7GOH, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
2RW833K3Q1 2RW833K3Q1
| URI | m2://inv/2RW833K3Q1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12371#HW0I (definition). In 8TTFQH19QR/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
2RW9FM8ZVA 2RW9FM8ZVA
| URI | m2://inv/2RW9FM8ZVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2006.07610#M5V2 (statement). In RYB8WE6DQ4/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
2RWK051916 2RWK051916
| URI | m2://inv/2RWK051916 |
|---|---|
| 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 1303.4328#JSQF (statement). In HCTYW6VH87/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.3.5
Flat-prior converse inequality 2RWNXT3KG7
| URI | m2://inv/2RWNXT3KG7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35986#3C8B, Flat-prior converse inequality (statement). In PBX6AMPVT2/e1, proposition C.5
History
- 2026-10-30: add by m2/v0.4.12
Local minimizers 2RX1YEQ046
| URI | m2://inv/2RX1YEQ046 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#JK35, Local minimizers (definition). In 9JHMTYGWFQ/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.6
completing the square 2RX6CJ5RGP
| URI | m2://inv/2RX6CJ5RGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q50704, completing the square (unknown). Also MathWorld CompletingtheSquare, nLab completing the square
- wikipedia: Wikipedia Completing the square, Completing the square (definition). Also Wikidata Q50704
History
- 2026-10-26: add by m2/dev
Generalizations 2RXAA6G83P
| URI | m2://inv/2RXAA6G83P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve of constant width#COCC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Christoph Scriba 2RXSFP9WBR
| URI | m2://inv/2RXSFP9WBR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#XO66, Christoph Scriba (unknown)
History
- 2026-11-02: add by m2/dev
Stewart toroid 2RXX4QQKAQ
| URI | m2://inv/2RXX4QQKAQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toroidal polyhedron#YQEA, Stewart toroid (unknown)
History
- 2026-11-02: add by m2/dev
2RXXCVWF3B 2RXXCVWF3B
| URI | m2://inv/2RXXCVWF3B |
|---|---|
| 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.12983#T0ED (statement). In M6TFZ6E060/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
2RY3G4W6C8 2RY3G4W6C8
| URI | m2://inv/2RY3G4W6C8 |
|---|---|
| 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.25973#CO7K (statement)
History
- 2026-11-01: add by m2/v0.6.15
2RY7TWFM7F 2RY7TWFM7F
| URI | m2://inv/2RY7TWFM7F |
|---|---|
| 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 2211.04758#6R6E (statement). In DRWDJG2G3S/e1, proposition 1.12
History
- 2026-10-27: add by m2/v0.3.5
Shinzo Watanabe 2RY7ZXJX3W
| URI | m2://inv/2RY7ZXJX3W |
|---|---|
| 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#67L7, Shinzo Watanabe (topic)
History
- 2026-11-02: add by m2/dev
Convenient number 2RY8RQTMFG
| URI | m2://inv/2RY8RQTMFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convenient number, Convenient number (definition). Also Wikidata Q42377794
History
- 2026-11-02: add by m2/dev
2RY9PX6AZZ 2RY9PX6AZZ
| URI | m2://inv/2RY9PX6AZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33512#CQAS (statement). In WYHZMYZT31/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
order theory 2RYCKSF2PE
| URI | m2://inv/2RYCKSF2PE |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 06Axx |
| Sources | 2 |
| Outcome | open |
| Node | Order theory ES34ZH23RS |
Mentions
- wikidata: Wikidata Q24175351, order theory (topic). Also nLab order theory, ProofWiki Definition:Order_Theory
- wikipedia: Wikipedia Order theory, Order theory (topic). Also Wikidata Q24175351
History
- 2026-10-26: add by m2/dev
Split-horn NC prestack CFO 2RYCSYEJYZ
| URI | m2://inv/2RYCSYEJYZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.28220#MC05, Split-horn NC prestack CFO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 2RYCYRTMA9
| URI | m2://inv/2RYCYRTMA9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternionic matrix#R5J6, Applications (example)
History
- 2026-11-02: add by m2/dev
Solvability and dynamical indeterminacy 2RYD2GVEQJ
| URI | m2://inv/2RYD2GVEQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#J8Q5, Solvability and dynamical indeterminacy (statement)
History
- 2026-11-01: add by m2/v0.6.15
recursive definition 2RYDJJRMT9
| URI | m2://inv/2RYDJJRMT9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.1/recursive-definition, recursive definition (concept). In Y91XFCEVHQ, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
2RYGP6472H 2RYGP6472H
| URI | m2://inv/2RYGP6472H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 14.6
History
- 2026-11-01: add by m2/v0.6.13
2RYHG033GB 2RYHG033GB
| URI | m2://inv/2RYHG033GB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#E9M7 (definition). In NSYR6W27FP/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Resonance 2RYKJ0M4TD
| URI | m2://inv/2RYKJ0M4TD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resonance, Resonance (definition). Also Wikidata Q172858
History
- 2026-11-02: add by m2/dev
Danskin's theorem 2RYN8CF7FK
| URI | m2://inv/2RYN8CF7FK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5221089, Danskin's theorem (statement). Also Wikidata Q5221089
- thousand_plus: thousand_plus Q5221089, Danskin's theorem (statement). Also Wikidata Q5221089, Wikipedia Danskin's theorem
- wikipedia: Wikipedia Danskin's theorem, Danskin's theorem (statement). Also Wikidata Q5221089
History
- 2026-10-26: add by m2/dev
2RYNQ8FWRG 2RYNQ8FWRG
| URI | m2://inv/2RYNQ8FWRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#W6TG (statement). In PG0B4PH9YH/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
2RYVBJVTP6 2RYVBJVTP6
| URI | m2://inv/2RYVBJVTP6 |
|---|---|
| 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.32651#X1YP (statement). In WFJXSE3VDT/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
538 (number) 2RYXQT4CGC
| URI | m2://inv/2RYXQT4CGC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#F9OA, 538 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Generalization 2RZ33T5195
| URI | m2://inv/2RZ33T5195 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring of integers#3U9R, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Global strong existence allowing initial vacuum 2RZ4WB5E6S
| URI | m2://inv/2RZ4WB5E6S |
|---|---|
| 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.04894#QTC1, Global strong existence allowing initial vacuum (statement). In AZZ35SDENN/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
2RZ7Y8YE9W 2RZ7Y8YE9W
| URI | m2://inv/2RZ7Y8YE9W |
|---|---|
| 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.18709#XFOB (statement). In K7VY50VFK6/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
2RZH50S855 2RZH50S855
| URI | m2://inv/2RZH50S855 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07828#BRHM (example). In TWGMVT1N1G/e1, example 2.6
History
- 2026-10-29: add by m2/v0.4.10
Ruggles Prize 2RZRK46RB8
| URI | m2://inv/2RZRK46RB8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Ruggles#A0GQ, Ruggles Prize (unknown)
History
- 2026-11-02: add by m2/dev
2RZRSTZV06 2RZRSTZV06
| URI | m2://inv/2RZRSTZV06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#JA44 (statement). In WRE0P7V6Z3/e1, theorem 1.30
History
- 2026-10-30: add by m2/v0.4.12
2RZYA98E60 2RZYA98E60
| URI | m2://inv/2RZYA98E60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#8MSY (statement). In 1QSCT53ZED/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
Notation 2RZZMWQ3XM
| URI | m2://inv/2RZZMWQ3XM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized hypergeometric function#BOS6, Notation (definition)
History
- 2026-11-02: add by m2/dev