Inventory rows R6
The cards of the rows of the inventory whose ids start with R6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
R600T5JK5D R600T5JK5D
| URI | m2://inv/R600T5JK5D |
|---|---|
| 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#8K6U (statement). In HCTYW6VH87/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Theorem R60GDEDWJP
| URI | m2://inv/R60GDEDWJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct integral#2DJG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Emil Schoenbaum R60HT067VS
| URI | m2://inv/R60HT067VS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z3IS, Emil Schoenbaum (unknown)
History
- 2026-11-02: add by m2/dev
HP-10B R60MF9743P
| URI | m2://inv/R60MF9743P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-10B, HP-10B (definition). Also Wikidata Q5635545
History
- 2026-11-02: add by m2/dev
Wei-Ming Ni R60TS3RDC3
| URI | m2://inv/R60TS3RDC3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wei-Ming Ni, Wei-Ming Ni (topic). Also Wikidata Q100734886
History
- 2026-11-02: add by m2/dev
R60VGD2FWM R60VGD2FWM
| URI | m2://inv/R60VGD2FWM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25409#66Z4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Sharp parallel testing threshold R60YXTQ1J1
| URI | m2://inv/R60YXTQ1J1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-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.28635#5C1L, Sharp parallel testing threshold (statement)
History
- 2026-11-01: add by m2/v0.6.15
T-J model R613SFCTCR
| URI | m2://inv/R613SFCTCR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T-J model, T-J model (definition). Also Wikidata Q1049381
History
- 2026-11-02: add by m2/dev
Euler's product formula R6144DHAQJ
| URI | m2://inv/R6144DHAQJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann zeta function#47T8, Euler's product formula (statement)
History
- 2026-11-02: add by m2/dev
normalization, strong R617VDSFMH
| URI | m2://inv/R617VDSFMH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.4/normalization-strong, normalization, strong (concept). In N54F33XE07, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
R61DHP5CYE R61DHP5CYE
| URI | m2://inv/R61DHP5CYE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 51.3
History
- 2026-11-01: add by m2/v0.6.13
R61JZGB5WJ R61JZGB5WJ
| URI | m2://inv/R61JZGB5WJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.07001#F2DS (statement). In 5DFTVG7FFF/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
R61K64XGNE R61K64XGNE
| URI | m2://inv/R61K64XGNE |
|---|---|
| Kind | definition |
| 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 2011.05871#HCVB (definition). In 399GJ6EEC2/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
R61NE5K6KX R61NE5K6KX
| URI | m2://inv/R61NE5K6KX |
|---|---|
| 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.27823#HBOA (statement)
History
- 2026-11-01: add by m2/v0.6.15
R61TAA1PQ8 R61TAA1PQ8
| URI | m2://inv/R61TAA1PQ8 |
|---|---|
| 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.02481#1X6I (statement). In 5HACFNFY0P/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.12
R61VQ88WPW R61VQ88WPW
| URI | m2://inv/R61VQ88WPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01561#NRM4 (statement). In W4G7BCHYEW/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
R61XFCKJQR R61XFCKJQR
| URI | m2://inv/R61XFCKJQR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#2AWS (definition). In 9DQKY7KGE8/e1, definition C.7
History
- 2026-10-31: add by m2/v0.5.6
Definition R6235SQ96V
| URI | m2://inv/R6235SQ96V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composition of relations#VSNO, Definition (definition)
History
- 2026-11-02: add by m2/dev
R623ZKNRRW R623ZKNRRW
| URI | m2://inv/R623ZKNRRW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/iso.tex#isoscompose (statement). In PKGMM3P5QY, lem, section 72.5
History
- 2026-11-01: add by m2/v0.6.13
Advanced level mathematics R624MDSCH9
| URI | m2://inv/R624MDSCH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advanced level mathematics, Advanced level mathematics (definition). Also Wikidata Q4686342
History
- 2026-11-02: add by m2/dev
Theorem R62973CBNX
| URI | m2://inv/R62973CBNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pocklington primality test#T7GH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
R62AS58XP9 R62AS58XP9
| URI | m2://inv/R62AS58XP9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#W2DE (statement). In E7W2HDNEKJ/e1, theorem 5.18
History
- 2026-10-30: add by m2/v0.4.12
Graeme Cohen R62E68R31D
| URI | m2://inv/R62E68R31D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graeme Cohen, Graeme Cohen (topic). Also Wikidata Q102255952
History
- 2026-11-02: add by m2/dev
R62EXFS0JN R62EXFS0JN
| URI | m2://inv/R62EXFS0JN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16267#14SZ (statement). In 65GKPZ15VH/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
R62MHENYDX R62MHENYDX
| URI | m2://inv/R62MHENYDX |
|---|---|
| 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.21278#XMOP (statement). In DCH1JJGGYH/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.4.2
Equality under a common optimal stopping time R62MNGZ7EM
| URI | m2://inv/R62MNGZ7EM |
|---|---|
| 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.18180#HUDN, Equality under a common optimal stopping time (statement). In NJGS7D1EPH/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
R62QJFDC76 R62QJFDC76
| URI | m2://inv/R62QJFDC76 |
|---|---|
| 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 2503.08488#N5Z8 (statement). In QH5MZXMXQH/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.3.5
R62S5C5ERD R62S5C5ERD
| URI | m2://inv/R62S5C5ERD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#proof-14 (proof). In E59CDZA4DP, proof, section 3.4.1
History
- 2026-11-01: add by m2/v0.6.13
positive-definite quadratic form R63EXRT7EA
| URI | m2://inv/R63EXRT7EA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Positive definite quadratic form 00QN1N6MNT |
Mentions
- wikidata: Wikidata Q77594017, positive-definite quadratic form (unknown). Also MathWorld PositiveDefiniteQuadraticForm
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
R63Y3KG00B R63Y3KG00B
| URI | m2://inv/R63Y3KG00B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05056#JUCL (definition). In 4PF04DW3YP/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.12
R644YWJE9Z R644YWJE9Z
| URI | m2://inv/R644YWJE9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#9XOP (statement). In 6HJQXZS0A6/e1, theorem 0.2
History
- 2026-10-29: add by m2/v0.4.12
R6472PZT4Z R6472PZT4Z
| URI | m2://inv/R6472PZT4Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00914#T2N7 (example). In TQ9CKHBTWN/e1, example 5.3
History
- 2026-10-29: add by m2/v0.4.12
Van Schooten's theorem R647VNB7P4
| URI | m2://inv/R647VNB7P4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OPCJ, Van Schooten's theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications R6483SFJ50
| URI | m2://inv/R6483SFJ50 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal array testing#UO3Y, Applications (example)
History
- 2026-11-02: add by m2/dev
Homotopy dimension R64AW8G8J8
| URI | m2://inv/R64AW8G8J8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy dimension, Homotopy dimension (definition). Also Wikidata Q137584057
History
- 2026-11-02: add by m2/dev
R64EWSPQMM R64EWSPQMM
| URI | m2://inv/R64EWSPQMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#YWKX (statement). In GWNT8HEZG1/e1, lemma 3.20
History
- 2026-10-27: add by m2/v0.3.6
R64Q0K8ZYB R64Q0K8ZYB
| URI | m2://inv/R64Q0K8ZYB |
|---|---|
| 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 2610.04835#JYKC (statement). In P6PHR4W23S/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.12
Non-examples R654J25V47
| URI | m2://inv/R654J25V47 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternative algebra#OA0F, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
R65BKTK242 R65BKTK242
| URI | m2://inv/R65BKTK242 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 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.32090#2EQE (statement). In HJWWFBA63D/e1, corollary 1.3
History
- 2026-10-31: add by m2/v0.5.6
R65BXXBAHS R65BXXBAHS
| URI | m2://inv/R65BXXBAHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20203#UGT9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
R65D6KBCAX R65D6KBCAX
| URI | m2://inv/R65D6KBCAX |
|---|---|
| Kind | definition |
| 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 2501.15680#6WLB (definition). In VBWH2Z3YHA/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Susan Hermiller R65NFCDRXK
| URI | m2://inv/R65NFCDRXK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Hermiller, Susan Hermiller (topic). Also Wikidata Q58416658
History
- 2026-11-02: add by m2/dev
Uniform interface inverse R65WWEK2YP
| URI | m2://inv/R65WWEK2YP |
|---|---|
| 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#GS5A, Uniform interface inverse (statement). In 4333A6G5K5/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.3
R660HT22B4 R660HT22B4
| URI | m2://inv/R660HT22B4 |
|---|---|
| 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.06544#NSBE (statement). In VCRB27RMN6/e1, lemma 16.1
History
- 2026-10-29: add by m2/v0.4.10
Exact composition R660W1H0KS
| URI | m2://inv/R660W1H0KS |
|---|---|
| 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.29597#YZD5, Exact composition (statement)
History
- 2026-11-01: add by m2/v0.6.15
linearly disjoint R6642Q6PHS
| URI | m2://inv/R6642Q6PHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#4202, linearly disjoint (definition)
History
- 2026-11-02: add by m2/dev
R665SDFT4R R665SDFT4R
| URI | m2://inv/R665SDFT4R |
|---|---|
| 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.23922#UNR7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
R66BW7DZS6 R66BW7DZS6
| URI | m2://inv/R66BW7DZS6 |
|---|---|
| Kind | definition |
| 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.20701#DV87 (definition)
History
- 2026-11-02: add by m2/v0.6.18
R66CDWNJF0 R66CDWNJF0
| URI | m2://inv/R66CDWNJF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06455#G2IO (statement). In N6GB5J5BAY/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.10
James Waddell Alexander R66CHV1D04
| URI | m2://inv/R66CHV1D04 |
|---|---|
| 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#C9ZI, James Waddell Alexander (topic)
History
- 2026-11-02: add by m2/dev
R66GKE7BKR R66GKE7BKR
| URI | m2://inv/R66GKE7BKR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/truth-at-w.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 55.2
History
- 2026-11-01: add by m2/v0.6.13
Progress toward the R66GSWT82X
| URI | m2://inv/R66GSWT82X |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20979#YRVZ, Progress toward the (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
R66T1KYB7R R66T1KYB7R
| URI | m2://inv/R66T1KYB7R |
|---|---|
| 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.16060#4VH0 (statement). In X0BTF9HPGM/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
R66Z4SAGNE R66Z4SAGNE
| URI | m2://inv/R66Z4SAGNE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#4JVK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Nets Katz R67166DWSZ
| URI | m2://inv/R67166DWSZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#SUQX, Nets Katz (unknown)
History
- 2026-11-02: add by m2/dev
Christian Goldbach R677NSXZ94
| URI | m2://inv/R677NSXZ94 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#1OHJ, Christian Goldbach (topic)
History
- 2026-11-02: add by m2/dev
Examples R67AP2J61N
| URI | m2://inv/R67AP2J61N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering space#M7Q3, Examples (example)
History
- 2026-11-02: add by m2/dev
R67S2063CQ R67S2063CQ
| URI | m2://inv/R67S2063CQ |
|---|---|
| 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 2510.12502#1DSP (statement). In 3A4K47Y9F2/e1, theorem 3.22
History
- 2026-10-27: add by m2/v0.4.0
R6804ERMX3 R6804ERMX3
| URI | m2://inv/R6804ERMX3 |
|---|---|
| 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 2609.21016#4DEF (definition)
History
- 2026-11-02: add by m2/v0.6.18
R6882B1XNR R6882B1XNR
| URI | m2://inv/R6882B1XNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#GK32 (statement). In CM2YEK9T4F/e1, proposition 5.10
History
- 2026-10-27: add by m2/v0.4.2
group, abelian, exact sequence of R68E2MD849
| URI | m2://inv/R68E2MD849 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.4/group-abelian-exact-sequence-of, group, abelian, exact sequence of (concept). In N54F33XE07, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
R68F8CNA6D R68F8CNA6D
| URI | m2://inv/R68F8CNA6D |
|---|---|
| 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.15744#XY2I (statement). In NV3PBZGBB7/e1, proposition 1.10
History
- 2026-10-28: add by m2/v0.4.2
R68NK27QCY R68NK27QCY
| URI | m2://inv/R68NK27QCY |
|---|---|
| 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 2301.04933#8N48 (statement). In Q70CTMCJTP/e1, lemma 3.24
History
- 2026-10-27: add by m2/v0.3.5
R690X9DYV4 R690X9DYV4
| URI | m2://inv/R690X9DYV4 |
|---|---|
| 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.10452#FXUQ (statement). In 2F4PNP1V3B/e1, corollary 3.16
History
- 2026-10-29: add by m2/v0.4.10
Spherical harmonic R69187P4RX
| URI | m2://inv/R69187P4RX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#3FPO, Spherical harmonic (definition)
- wikipedia: Wikipedia List of harmonic analysis topics#M8U7, Spherical harmonic (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#7MHG, Spherical harmonic (definition)
History
- 2026-11-02: add by m2/dev
Theorem 1 R696M0801P
| URI | m2://inv/R696M0801P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally compact quantum group#GH4T, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
quasitopos R69EMA7Z7V
| URI | m2://inv/R69EMA7Z7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30590669, quasitopos (unknown). Also nLab quasitopos
- wikipedia: Wikipedia Quasitopos, Quasitopos (definition). Also Wikidata Q30590669
History
- 2026-10-26: add by m2/dev
Ofer Gabber R69HFB6CAH
| URI | m2://inv/R69HFB6CAH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SHBK, Ofer Gabber (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WLK9, Ofer Gabber (unknown)
History
- 2026-11-02: add by m2/dev
R69QPQWKGF R69QPQWKGF
| URI | m2://inv/R69QPQWKGF |
|---|---|
| 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.17720#XS8Z (statement). In QPM0GQYNZ9/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
Paul Garabedian R69SBYWSC0
| URI | m2://inv/R69SBYWSC0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Garabedian, Paul Garabedian (topic). Also Wikidata Q2059725
History
- 2026-11-02: add by m2/dev
R69SHEC8RW R69SHEC8RW
| URI | m2://inv/R69SHEC8RW |
|---|---|
| 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#JEEQ (statement). In WVHA7H05QC/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Rolle's theorem R69ZND8YCT
| URI | m2://inv/R69ZND8YCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#UTSP, Rolle's theorem (definition)
History
- 2026-11-02: add by m2/dev
Applications R6A0QJAXVC
| URI | m2://inv/R6A0QJAXVC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Powerset construction#4EDL, Applications (example)
History
- 2026-11-02: add by m2/dev
R6A3E0MRQ6 R6A3E0MRQ6
| URI | m2://inv/R6A3E0MRQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#HWKC (statement)
History
- 2026-11-01: add by m2/v0.6.15
R6A9ETSSSQ R6A9ETSSSQ
| URI | m2://inv/R6A9ETSSSQ |
|---|---|
| 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 2209.01576#6BWB (statement). In EF0X4TKTR4/e1, proposition 1.6
History
- 2026-10-27: add by m2/v0.3.5
Relationships between rate functions R6A9PRXEQF
| URI | m2://inv/R6A9PRXEQF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-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.40271#7SF3, Relationships between rate functions (statement). In 9MXMRKFKDW/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
R6AAWDEAF1 R6AAWDEAF1
| URI | m2://inv/R6AAWDEAF1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
R6AF5CNECZ R6AF5CNECZ
| URI | m2://inv/R6AF5CNECZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#XFTU (statement). In 8XVS0QJ2AH/e1, lemma 35
History
- 2026-10-31: add by m2/v0.5.6
R6AHTN5F3V R6AHTN5F3V
| URI | m2://inv/R6AHTN5F3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#6WQN (statement). In WAXS6FS388/e1, proposition 10.3
History
- 2026-10-30: add by m2/v0.4.12
A random coefficient with infinitely many Fourier modes R6AYF6YXHP
| URI | m2://inv/R6AYF6YXHP |
|---|---|
| Kind | example |
| 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.28937#L1Q3, A random coefficient with infinitely many Fourier modes (example)
History
- 2026-11-01: add by m2/v0.6.15
Local-global principle R6B09DK821
| URI | m2://inv/R6B09DK821 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number field#H0EQ, Local-global principle (statement)
History
- 2026-11-02: add by m2/dev
R6B4Y0BSBD R6B4Y0BSBD
| URI | m2://inv/R6B4Y0BSBD |
|---|---|
| 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.25301#0FZT (statement)
History
- 2026-11-01: add by m2/v0.6.15
R6B6AFCD05 R6B6AFCD05
| URI | m2://inv/R6B6AFCD05 |
|---|---|
| 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.08610#JTP6 (statement). In CB2JWNS1E9/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
R6B8ZEYWWC R6B8ZEYWWC
| URI | m2://inv/R6B8ZEYWWC |
|---|---|
| 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 2604.10080#LIGT (statement). In KM2FWKP93A/e1, corollary 4.7
History
- 2026-10-27: add by m2/v0.4.0
R6BBEBW3QP R6BBEBW3QP
| URI | m2://inv/R6BBEBW3QP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13888#74AO (statement). In XJWYBPS14M/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
Tetranacci sequence R6BD2YQKG1
| URI | m2://inv/R6BD2YQKG1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3976563, Tetranacci sequence (object). Also MathWorld TetranacciSequence, OEIS A000078
History
- 2026-10-26: add by m2/dev
Multinomial count law R6BE7MS733
| URI | m2://inv/R6BE7MS733 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16680#CIL6, Multinomial count law (statement). In H29YHXQZV6/e1, theorem 7
History
- 2026-10-28: add by m2/v0.4.2
Bruce A. Craig R6BN1FQFJA
| URI | m2://inv/R6BN1FQFJA |
|---|---|
| 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#6G0B, Bruce A. Craig (unknown)
History
- 2026-11-02: add by m2/dev
Implementations R6BN3RSKC2
| URI | m2://inv/R6BN3RSKC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of apportionment#IUCE, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Changes in Hilbert's axioms R6BNAYFBG2
| URI | m2://inv/R6BNAYFBG2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foundations of geometry#FEOW, Changes in Hilbert's axioms (statement)
History
- 2026-11-02: add by m2/dev
Properties R6BNNX18TQ
| URI | m2://inv/R6BNNX18TQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support of a module#9GLU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Variants R6BXAFMKV0
| URI | m2://inv/R6BXAFMKV0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random search#K85P, Variants (statement)
History
- 2026-11-02: add by m2/dev
Relation to Fermat's Last Theorem R6BYSPSTB9
| URI | m2://inv/R6BYSPSTB9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optic equation#1RP7, Relation to Fermat's Last Theorem (statement)
History
- 2026-11-02: add by m2/dev
R6BYV84XBV R6BYV84XBV
| URI | m2://inv/R6BYV84XBV |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13852#Y2ER (conjecture). In SXTGSAH3WF/e1, conjecture 6.2
History
- 2026-10-28: add by m2/v0.4.2
Hermann Weyl R6C0Z99Y7B
| URI | m2://inv/R6C0Z99Y7B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XUHL, Hermann Weyl (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#85P5, Hermann Weyl (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZH2M, Hermann Weyl (topic)
- wikipedia: Wikipedia List of German mathematicians#1TL3, Hermann Weyl (topic)
History
- 2026-11-02: add by m2/dev
Self-organized criticality R6C3APG27K
| URI | m2://inv/R6C3APG27K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-organized criticality, Self-organized criticality (definition). Also Wikidata Q1326714
History
- 2026-11-02: add by m2/dev
Perturbation methods R6C5WWS27M
| URI | m2://inv/R6C5WWS27M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#FHN5, Perturbation methods (definition)
History
- 2026-11-02: add by m2/dev
R6CBW7A0ZK R6CBW7A0ZK
| URI | m2://inv/R6CBW7A0ZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#28JK (statement). In RK0ZMDJ23T/e1, lemma 3.3.1
History
- 2026-10-31: add by m2/v0.5.6
Elliptic net R6CGPVHH4X
| URI | m2://inv/R6CGPVHH4X |
|---|---|
| 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 2610.20273#8UUJ, Elliptic net (definition). In AEGHDSD5S7/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Definition R6CP60PG2E
| URI | m2://inv/R6CP60PG2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biordered set#XAPK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Steinberg R6CR7FY1HV
| URI | m2://inv/R6CR7FY1HV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#G1KA, Steinberg (definition)
History
- 2026-11-02: add by m2/dev
Generalizations R6CT1GB2TR
| URI | m2://inv/R6CT1GB2TR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Padovan sequence#8HNA, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Example R6CWASX3EE
| URI | m2://inv/R6CWASX3EE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plate notation#KL5K, Example (example)
History
- 2026-11-02: add by m2/dev
R6CZCBB2R6 R6CZCBB2R6
| URI | m2://inv/R6CZCBB2R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39269#P6D8 (statement). In HS4X20TX33/e1, theorem 0.9
History
- 2026-10-30: add by m2/v0.4.12
Linear equations and their solutions R6D399MCD2
| URI | m2://inv/R6D399MCD2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-1.xml#activity-2, Linear equations and their solutions (exercise). In 649HGZKE96, activity, section 1.1.2
History
- 2026-11-01: add by m2/v0.6.13
R6D5VR3RPG R6D5VR3RPG
| URI | m2://inv/R6D5VR3RPG |
|---|---|
| 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.31910#ZK82 (statement). In E4EK1XXPY4/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
Claim R6D87NDSN6
| URI | m2://inv/R6D87NDSN6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cochran's theorem#GGXF, Claim (statement)
History
- 2026-11-02: add by m2/dev
Definition and examples R6DD8QNTET
| URI | m2://inv/R6DD8QNTET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real tree#N278, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
excluded middle R6DDQFPH30
| URI | m2://inv/R6DDQFPH30 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/excluded-middle, excluded middle (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
Elizabeth Meckes R6DGKA75GT
| URI | m2://inv/R6DGKA75GT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elizabeth Meckes, Elizabeth Meckes (topic). Also Wikidata Q67048104
History
- 2026-11-02: add by m2/dev
Peter Freund R6DMGJT3EM
| URI | m2://inv/R6DMGJT3EM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YBAM, Peter Freund (unknown)
History
- 2026-11-02: add by m2/dev
Examples R6DMXYBVGG
| URI | m2://inv/R6DMXYBVGG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin reciprocity#Z3NS, Examples (example)
History
- 2026-11-02: add by m2/dev
Inertial manifold R6DYPZ218G
| URI | m2://inv/R6DYPZ218G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inertial manifold, Inertial manifold (definition). Also Wikidata Q17098174
History
- 2026-11-02: add by m2/dev
Definitions R6E1WWBSFA
| URI | m2://inv/R6E1WWBSFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turán number#2XUR, Definitions (definition)
History
- 2026-11-02: add by m2/dev
R6E3XSMY47 R6E3XSMY47
| URI | m2://inv/R6E3XSMY47 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#4S5Y (example). In DAMYG8BFAK/e1, example 4.3
History
- 2026-10-30: add by m2/v0.4.12
Variants R6E4J0Z3VB
| URI | m2://inv/R6E4J0Z3VB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff space#MEXK, Variants (statement)
History
- 2026-11-02: add by m2/dev
R6E7K58CF0 R6E7K58CF0
| URI | m2://inv/R6E7K58CF0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16853#I37N (definition). In Y43AAKZ7E6/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Gmsh R6ECDDCCKF
| URI | m2://inv/R6ECDDCCKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gmsh, Gmsh (definition). Also Wikidata Q3109412
History
- 2026-11-02: add by m2/dev
R6EFK09JZM R6EFK09JZM
| URI | m2://inv/R6EFK09JZM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20025#NDZX (definition). In 4W1WR4JB89/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
Mean-Field Observable Lyapunov Exponents for GCMs R6EMHAEB3Z
| URI | m2://inv/R6EMHAEB3Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27484#MMY2, Mean-Field Observable Lyapunov Exponents for GCMs (definition)
History
- 2026-11-01: add by m2/v0.6.15
R6ES7850KD R6ES7850KD
| URI | m2://inv/R6ES7850KD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#O84B (statement)
History
- 2026-11-01: add by m2/v0.6.15
R6EWP1YGP9 R6EWP1YGP9
| URI | m2://inv/R6EWP1YGP9 |
|---|---|
| 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.17547#XCKB (definition). In XJ59TDP4HA/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
R6EX6P4VRT R6EX6P4VRT
| URI | m2://inv/R6EX6P4VRT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21578#QHME (statement). In 6M96RM3T7N/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.2
ARIA R6EXK4B2M4
| URI | m2://inv/R6EXK4B2M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ARIA (cipher), ARIA (definition). Also Wikidata Q840633
History
- 2026-11-02: add by m2/dev
Friendship theorem R6EXSET6N9
| URI | m2://inv/R6EXSET6N9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friendship graph#KP9H, Friendship theorem (statement)
History
- 2026-11-02: add by m2/dev
Cotolerant sequence R6F9P0XH33
| URI | m2://inv/R6F9P0XH33 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#TUOR, Cotolerant sequence (unknown)
History
- 2026-11-02: add by m2/dev
R. D. Richtmyer R6FF46SW0Z
| URI | m2://inv/R6FF46SW0Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#XOQC, R. D. Richtmyer (unknown)
History
- 2026-11-02: add by m2/dev
R6FF7VB7NB R6FF7VB7NB
| URI | m2://inv/R6FF7VB7NB |
|---|---|
| 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 2208.07784#CCMQ (statement). In X0GJCD9768/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.4.0
Claude E. Robinson R6FHZD8R7R
| URI | m2://inv/R6FHZD8R7R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claude E. Robinson, Claude E. Robinson (topic). Also Wikidata Q5128814
History
- 2026-11-02: add by m2/dev
R6FMCPWZVT R6FMCPWZVT
| URI | m2://inv/R6FMCPWZVT |
|---|---|
| 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.35398#8Q0R (statement). In NAJCCHYXR6/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Stone, Richard R6FVGDQCJ2
| URI | m2://inv/R6FVGDQCJ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#NHL8, Stone, Richard (unknown)
History
- 2026-11-02: add by m2/dev
R6FVXEMQJ2 R6FVXEMQJ2
| URI | m2://inv/R6FVXEMQJ2 |
|---|---|
| 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.11034#ZIK4 (statement). In 2KACPY9MMF/e1, theorem 2.11
History
- 2026-10-28: add by m2/v0.4.3
R6FW2D5YQ7 R6FW2D5YQ7
| URI | m2://inv/R6FW2D5YQ7 |
|---|---|
| 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.15360#5OK9 (statement). In DJCXDQQK7Y/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
association football ball R6G33XJ5WZ
| URI | m2://inv/R6G33XJ5WZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12252328, association football ball (unknown). Also MathWorld SoccerBall
History
- 2026-10-26: add by m2/dev
Semi-log plot R6GN2H9X39
| URI | m2://inv/R6GN2H9X39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-log plot, Semi-log plot (definition). Also Wikidata Q2778715
History
- 2026-11-02: add by m2/dev
Kolmogorov–Smirnov test R6GWRPFTCN
| URI | m2://inv/R6GWRPFTCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov–Smirnov test, Kolmogorov–Smirnov test (definition). Also Wikidata Q575766
History
- 2026-11-02: add by m2/dev
Representations R6H0PMQ1Q6
| URI | m2://inv/R6H0PMQ1Q6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janko group J2#XZDE, Representations (definition)
History
- 2026-11-02: add by m2/dev
Adams filtration R6H82MYYSR
| URI | m2://inv/R6H82MYYSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adams filtration, Adams filtration (definition). Also Wikidata Q4680473
History
- 2026-11-02: add by m2/dev
R6HD82C0HC R6HD82C0HC
| URI | m2://inv/R6HD82C0HC |
|---|---|
| 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.22263#9QU1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Projected distributions R6HEE91S7A
| URI | m2://inv/R6HEE91S7A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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.33541#W713, Projected distributions (definition). In N3P196CEAJ/e1, definition 3.6
History
- 2026-10-30: add by m2/v0.4.12
Finite map--adversary duality R6HFRYRR1X
| URI | m2://inv/R6HFRYRR1X |
|---|---|
| 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.04027#RM1A, Finite map--adversary duality (statement). In DQB4YR2DFH/e1, proposition 9.3
History
- 2026-10-29: add by m2/v0.4.12
R6HM0KREE4 R6HM0KREE4
| URI | m2://inv/R6HM0KREE4 |
|---|---|
| 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 2312.14319#QUYI (statement). In V0S2EZ53GB/e1, corollary 2.2
History
- 2026-10-27: add by m2/v0.3.5
Small council lemma R6HS7WMRAE
| URI | m2://inv/R6HS7WMRAE |
|---|---|
| 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#NX7V, Small council lemma (statement). In CTAS41TRM2/e1, lemma 9.11
History
- 2026-10-27: add by m2/v0.4.2
R6HSAF763G R6HSAF763G
| URI | m2://inv/R6HSAF763G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#7610 (statement). In 5KR3MHYVV6/e1, proposition 4.0
History
- 2026-10-28: add by m2/v0.4.2
Generalization R6J6DZMFWM
| URI | m2://inv/R6J6DZMFWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cellular homology#WD8K, Generalization (statement)
History
- 2026-11-02: add by m2/dev
R6JA2Z5YXM R6JA2Z5YXM
| URI | m2://inv/R6JA2Z5YXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33771#95AD (statement). In ZXQA7QH0H0/e1, theorem 3.30
History
- 2026-10-30: add by m2/v0.4.12
Archimedean spiral R6JHGFDA6K
| URI | m2://inv/R6JHGFDA6K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28967, Archimedean spiral (concept). Also EoM Archimedean_spiral, MathWorld ArchimedesSpiral, ProofWiki Definition:Archimedean_Spiral
- wikipedia: Wikipedia Archimedean spiral, Archimedean spiral (object). Also Wikidata Q28967
History
- 2026-10-26: add by m2/dev
R6JJE03ND1 R6JJE03ND1
| URI | m2://inv/R6JJE03ND1 |
|---|---|
| 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.35558#EB9N (statement). In HR2TQ292AE/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Cartan–Hadamard conjecture R6JJMAA5J1
| URI | m2://inv/R6JJMAA5J1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan–Hadamard conjecture, Cartan–Hadamard conjecture (statement). Also Wikidata Q85750817
History
- 2026-11-02: add by m2/dev
Raviart–Thomas basis functions R6JMNJT75D
| URI | m2://inv/R6JMNJT75D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raviart–Thomas basis functions, Raviart–Thomas basis functions (definition). Also Wikidata Q25304199
History
- 2026-11-02: add by m2/dev
Examples R6JMP03YRE
| URI | m2://inv/R6JMP03YRE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative ring#H216, Examples (example)
History
- 2026-11-02: add by m2/dev
hub and spoke R6JR71GT9G
| URI | m2://inv/R6JR71GT9G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.3/hub-and-spoke, hub and spoke (concept). In N54F33XE07, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Paradox R6JSVRTK3E
| URI | m2://inv/R6JSVRTK3E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia St. Petersburg paradox#XKKV, Paradox (statement)
History
- 2026-11-02: add by m2/dev
R6K1PE7RD6 R6K1PE7RD6
| URI | m2://inv/R6K1PE7RD6 |
|---|---|
| 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.19086#JIR8 (statement). In RDW99P4ZZJ/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
R6K34DM3X3 R6K34DM3X3
| URI | m2://inv/R6K34DM3X3 |
|---|---|
| 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.26948#XTE3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ideal-top factorization system on \(\mathbf{UBP}\ R6KAQZ67YT
| URI | m2://inv/R6KAQZ67YT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 2610.10930#NJAL, Ideal-top factorization system on \(\mathbf{UBP}\ (statement). In HX63A1PH1W/e1, proposition 5.8
History
- 2026-10-28: add by m2/v0.4.3
Jonathan Pila R6KBWVANYX
| URI | m2://inv/R6KBWVANYX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonathan Pila, Jonathan Pila (topic). Also Wikidata Q1703280
History
- 2026-11-02: add by m2/dev
R6KHER3KMV R6KHER3KMV
| URI | m2://inv/R6KHER3KMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#PPWM (statement). In RTE2C0PH4S/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Generalizations R6KS4N7D73
| URI | m2://inv/R6KS4N7D73 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capelli's identity#92FF, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
R6KSPQ3H54 R6KSPQ3H54
| URI | m2://inv/R6KSPQ3H54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17518#M4PR (statement). In YA4JEWTVS4/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
R6M11ED647 R6M11ED647
| URI | m2://inv/R6M11ED647 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#LED2 (statement). In H71AJ341B3/e1, corollary 4.4
History
- 2026-10-31: add by m2/v0.5.6
axiom, of choice, type-theoretic R6M30QV96T
| URI | m2://inv/R6M30QV96T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/axiom-of-choice-type-theoretic, axiom, of choice, type-theoretic (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
in $\Zminus + \text{Countable Choice}$ R6MCXQ2R5W
| URI | m2://inv/R6MCXQ2R5W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/countablechoice.tex#thm-1, in $\Zminus + \text{Countable Choice}$ (statement). In PKGMM3P5QY, thm, section 71.1
History
- 2026-11-01: add by m2/v0.6.13
Topological shadowing of a guiding orbit of transition maps R6MD6HEX4N
| URI | m2://inv/R6MD6HEX4N |
|---|---|
| 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.16404#SOSK, Topological shadowing of a guiding orbit of transition maps (statement). In PQ7W037C2H/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Carry operator R6MDSFBW2V
| URI | m2://inv/R6MDSFBW2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carry operator, Carry operator (definition). Also Wikidata Q5046807
History
- 2026-11-02: add by m2/dev
R6ME6K4Y37 R6ME6K4Y37
| URI | m2://inv/R6ME6K4Y37 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/basic.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 72.2
History
- 2026-11-01: add by m2/v0.6.13
R6MQ3EW678 R6MQ3EW678
| URI | m2://inv/R6MQ3EW678 |
|---|---|
| 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.36411#QZNU (statement). In 9QG5CND2RQ/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
R6MSTT1458 R6MSTT1458
| URI | m2://inv/R6MSTT1458 |
|---|---|
| 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.33770#6GI6 (statement). In 7DJ3C4V66R/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
R6MV3GMV27 R6MV3GMV27
| URI | m2://inv/R6MV3GMV27 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34013#4GVF (definition). In 3TA3P3CWSJ/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Ann E. Bailie R6MXPJ21MP
| URI | m2://inv/R6MXPJ21MP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ann E. Bailie, Ann E. Bailie (topic). Also Wikidata Q108770286
History
- 2026-11-02: add by m2/dev
R6MYWPSNPY R6MYWPSNPY
| URI | m2://inv/R6MYWPSNPY |
|---|---|
| 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#STJW (statement). In BDN507RN7J/e1, proposition 3.6.13
History
- 2026-10-30: add by m2/v0.4.12
R6N0GJ2WWJ R6N0GJ2WWJ
| URI | m2://inv/R6N0GJ2WWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.11969#DG61 (statement). In 9N4EV3GRM7/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Applications R6N31H6M32
| URI | m2://inv/R6N31H6M32 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consensus theorem#NAQI, Applications (example)
History
- 2026-11-02: add by m2/dev
W. V. D. Hodge R6N50GHCYX
| URI | m2://inv/R6N50GHCYX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W. V. D. Hodge, W. V. D. Hodge (topic). Also Wikidata Q1356359
History
- 2026-11-02: add by m2/dev
R6N7A7SDNH R6N7A7SDNH
| URI | m2://inv/R6N7A7SDNH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 34.2
History
- 2026-11-01: add by m2/v0.6.13
Carmichael function R6NC474N22
| URI | m2://inv/R6NC474N22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1043778, Carmichael function (unknown). Also MathWorld CarmichaelFunction
- wikipedia: Wikipedia Carmichael function, Carmichael function (definition). Also Wikidata Q1043778
History
- 2026-10-26: add by m2/dev
R6NKJ119ZV R6NKJ119ZV
| URI | m2://inv/R6NKJ119ZV |
|---|---|
| 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.17479#UDYR (statement). In 4FWAY748N7/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Heptagonal triangle R6NKTX8N2G
| URI | m2://inv/R6NKTX8N2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#X1HB, Heptagonal triangle (definition)
History
- 2026-11-02: add by m2/dev
Counterexamples R6NTJT9PQE
| URI | m2://inv/R6NTJT9PQE |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wald's equation#3UV5, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
R6NW5YAG86 R6NW5YAG86
| URI | m2://inv/R6NW5YAG86 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10377#V3TX (statement). In 6HP7BR9WZM/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.10
R6NX39XZ0R R6NX39XZ0R
| URI | m2://inv/R6NX39XZ0R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#MOOY (statement). In X923ZEY423/e1, theorem 1.8.10
History
- 2026-10-27: add by m2/v0.3.5
Generic filters on the infinite binary tree R6NZY8EE0G
| URI | m2://inv/R6NZY8EE0G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#example-3, Generic filters on the infinite binary tree (example). In RZP28ERRZV, example, section 90.1
History
- 2026-11-01: add by m2/v0.6.13
R6P1NZ6MR0 R6P1NZ6MR0
| URI | m2://inv/R6P1NZ6MR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09812#AYYC (statement). In NWWKD8YX57/e1, corollary 2.10
History
- 2026-10-29: add by m2/v0.4.10
R6P62BP0T5 R6P62BP0T5
| URI | m2://inv/R6P62BP0T5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06683#YU5W (statement). In NH7VBYH6PH/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
graded module R6P6X76GV1
| URI | m2://inv/R6P6X76GV1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91439979, graded module (unknown). Also MathWorld GradedModule
History
- 2026-10-26: add by m2/dev
R6PCMSZF1Y R6PCMSZF1Y
| URI | m2://inv/R6PCMSZF1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-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 1003.5948#11ND (statement). In 63MZDG4R4Q/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
R6PMJPWM3T R6PMJPWM3T
| URI | m2://inv/R6PMJPWM3T |
|---|---|
| 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.06544#ZGNU (statement). In VCRB27RMN6/e1, lemma 14.1
History
- 2026-10-29: add by m2/v0.4.10
R6PP8KRVZR R6PP8KRVZR
| URI | m2://inv/R6PP8KRVZR |
|---|---|
| Kind | definition |
| 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.17825#T78U (definition). In T0ADPX1S05/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
R6PPZ15V6N R6PPZ15V6N
| URI | m2://inv/R6PPZ15V6N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#Y2ZH (definition). In M4JGP708F4/e1, definition 4.17
History
- 2026-10-29: add by m2/v0.4.12
R6PSNEQNAJ R6PSNEQNAJ
| URI | m2://inv/R6PSNEQNAJ |
|---|---|
| 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.08567#4XK8 (statement). In CMJE9V2BJ0/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Even-Zohar, Lovett R6PZ5YR88C
| URI | m2://inv/R6PZ5YR88C |
|---|---|
| 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 2610.11847#YY4D, Even-Zohar, Lovett (statement). In MP2YM69XW8/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.3
Uriel Rothblum R6Q3JNNV0Q
| URI | m2://inv/R6Q3JNNV0Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uriel Rothblum, Uriel Rothblum (topic). Also Wikidata Q28777453
History
- 2026-11-02: add by m2/dev
Gauss–Newton algorithm R6Q4753D2C
| URI | m2://inv/R6Q4753D2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Newton algorithm, Gauss–Newton algorithm (definition). Also Wikidata Q1496373
History
- 2026-11-02: add by m2/dev
R6Q51XHFKX R6Q51XHFKX
| URI | m2://inv/R6Q51XHFKX |
|---|---|
| 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.01433#TCVY (definition). In 160PQ7F1AS/e1, definition 3.6
History
- 2026-10-29: add by m2/v0.4.12
Light Up R6QACXBRYG
| URI | m2://inv/R6QACXBRYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Light Up (puzzle), Light Up (definition). Also Wikidata Q815412
History
- 2026-11-02: add by m2/dev
Variations R6QEY3KTTP
| URI | m2://inv/R6QEY3KTTP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tower of Hanoi#P5GN, Variations (statement)
History
- 2026-11-02: add by m2/dev
Shelly M. Jones R6QJQ7YGCD
| URI | m2://inv/R6QJQ7YGCD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shelly M. Jones, Shelly M. Jones (topic). Also Wikidata Q96578848
History
- 2026-11-02: add by m2/dev
James Crowley R6QKY0AZB1
| URI | m2://inv/R6QKY0AZB1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Crowley (mathematician), James Crowley (topic). Also Wikidata Q30143123
History
- 2026-11-02: add by m2/dev
R6QPR2J07Y R6QPR2J07Y
| URI | m2://inv/R6QPR2J07Y |
|---|---|
| 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#V6CQ (statement). In CY1FE8W1ZW/e1, lemma 0.69
History
- 2026-10-27: add by m2/v0.3.5
Waldemar W. Koczkodaj R6QQA5FGMK
| URI | m2://inv/R6QQA5FGMK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8BB8, Waldemar W. Koczkodaj (unknown)
History
- 2026-11-02: add by m2/dev
R6QY0269AH R6QY0269AH
| URI | m2://inv/R6QY0269AH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.20522#C5ZC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Demographics of Australia R6R42PQAG0
| URI | m2://inv/R6R42PQAG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Australia, Demographics of Australia (definition). Also Wikidata Q2088388
History
- 2026-11-02: add by m2/dev
Path algebra R6R4DPJ1F0
| URI | m2://inv/R6R4DPJ1F0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quiver (mathematics)#AQ8T, Path algebra (unknown)
History
- 2026-11-02: add by m2/dev
\bf Dimension-free aggregation R6R4F89TY5
| URI | m2://inv/R6R4F89TY5 |
|---|---|
| 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.02791#W2HA, \bf Dimension-free aggregation (statement). In TT9BA4VMTW/e1, proposition E.10
History
- 2026-10-29: add by m2/v0.4.12
COPSS Distinguished Achievement Award and Lectureship R6R8E2YTEZ
| URI | m2://inv/R6R8E2YTEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia COPSS Distinguished Achievement Award and Lectureship, COPSS Distinguished Achievement Award and Lectureship (definition). Also Wikidata Q7273432
History
- 2026-11-02: add by m2/dev
Geomagnetic reversal R6R9D95HTW
| URI | m2://inv/R6R9D95HTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geomagnetic reversal, Geomagnetic reversal (definition). Also Wikidata Q1059740
History
- 2026-11-02: add by m2/dev
R6RE6HQHAS R6RE6HQHAS
| URI | m2://inv/R6RE6HQHAS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#ND3F (definition). In JQH3FHYPW3/e1, definition 2.21
History
- 2026-10-28: add by m2/v0.4.2
Scalar check on the Segre model R6RNWXC2S0
| URI | m2://inv/R6RNWXC2S0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00077#7LHQ, Scalar check on the Segre model (example). In C04B15GH1T/e1, example 3.3
History
- 2026-10-30: add by m2/v0.4.12
R6RS686MK4 R6RS686MK4
| URI | m2://inv/R6RS686MK4 |
|---|---|
| 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.35950#8CZ5 (statement). In BZN1G5W5FX/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
R6RTK7KSAW R6RTK7KSAW
| URI | m2://inv/R6RTK7KSAW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#3135 (statement). In VG8AF124T3/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Face R6RWXSG007
| URI | m2://inv/R6RWXSG007 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#WK0D, Face (definition)
History
- 2026-11-02: add by m2/dev
Weak stationarity R6S16KTDR3
| URI | m2://inv/R6S16KTDR3 |
|---|---|
| Kind | definition |
| 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.00033#PPDR, Weak stationarity (definition). In SHMMW4JXZ1/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
effectively decidable relation R6S3M26S7N
| URI | m2://inv/R6S3M26S7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#FKWK, effectively decidable relation (definition)
History
- 2026-11-02: add by m2/dev
R6S88EAGAR R6S88EAGAR
| URI | m2://inv/R6S88EAGAR |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#KBHX (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
Integrable function R6SS3N2P16
| URI | m2://inv/R6SS3N2P16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#QY5H, Integrable function (definition)
History
- 2026-11-02: add by m2/dev
R6SXZEACEG R6SXZEACEG
| URI | m2://inv/R6SXZEACEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19132#GPCJ (statement). In 3CQJND929F/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
R6TAA56CDZ R6TAA56CDZ
| URI | m2://inv/R6TAA56CDZ |
|---|---|
| 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.34522#R70C (statement). In 1HJGW3Z6Q8/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Injective resolution R6TB378R1J
| URI | m2://inv/R6TB378R1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#S2N9, Injective resolution (definition)
History
- 2026-11-02: add by m2/dev
R6TEBR0SGY R6TEBR0SGY
| URI | m2://inv/R6TEBR0SGY |
|---|---|
| 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.25282#K7VF (statement)
History
- 2026-11-01: add by m2/v0.6.15
R6TN654SJ8 R6TN654SJ8
| URI | m2://inv/R6TN654SJ8 |
|---|---|
| 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 2209.08186#40GK (statement). In X6VGVPQH8V/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Column-covariance displacement ellipsoid R6TNHZV2JZ
| URI | m2://inv/R6TNHZV2JZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#J3SU, Column-covariance displacement ellipsoid (statement). In 9YAE8FNQST/e1, corollary 19.20
History
- 2026-10-30: add by m2/v0.4.12
R6TT8F5WP8 R6TT8F5WP8
| URI | m2://inv/R6TT8F5WP8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-17 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
No-slip condition R6TT9Z7HH7
| URI | m2://inv/R6TT9Z7HH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No-slip condition, No-slip condition (definition). Also Wikidata Q1396948
History
- 2026-11-02: add by m2/dev
R6V2FCBSWY R6V2FCBSWY
| URI | m2://inv/R6V2FCBSWY |
|---|---|
| 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#EXMB (statement). In JW8HH6EPG2/e1, lemma 3.33
History
- 2026-10-29: add by m2/v0.4.10
False nearest neighbor algorithm R6VQ2228H6
| URI | m2://inv/R6VQ2228H6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#HBZ7, False nearest neighbor algorithm (definition)
History
- 2026-11-02: add by m2/dev
Buckingham π theorem R6VT76V8RM
| URI | m2://inv/R6VT76V8RM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#UKFW, Buckingham π theorem (statement)
History
- 2026-11-02: add by m2/dev
Picard's little theorem R6W1QA43PY
| URI | m2://inv/R6W1QA43PY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-36, Picard's little theorem (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
Quadratic integrate and fire R6W5AN090S
| URI | m2://inv/R6W5AN090S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic integrate and fire, Quadratic integrate and fire (definition). Also Wikidata Q22908047
History
- 2026-11-02: add by m2/dev
Endpoint sequential stability R6W69RNK8J
| URI | m2://inv/R6W69RNK8J |
|---|---|
| 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.12387#D7CD, Endpoint sequential stability (statement). In 3Z0PRE77SY/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
Attribute-based encryption R6W6K0Y2PQ
| URI | m2://inv/R6W6K0Y2PQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Attribute-based encryption, Attribute-based encryption (definition). Also Wikidata Q4818713
History
- 2026-11-02: add by m2/dev
R6W78JMWW9 R6W78JMWW9
| URI | m2://inv/R6W78JMWW9 |
|---|---|
| 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 2301.04933#SW7G (statement). In Q70CTMCJTP/e1, theorem 3.12
History
- 2026-10-27: add by m2/v0.3.5
R6W8S50SS4 R6W8S50SS4
| URI | m2://inv/R6W8S50SS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 1209.3562#AS8K (statement). In KZH1DCS18C/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5
A sharp range in $\R^3$ R6WCZD37XG
| URI | m2://inv/R6WCZD37XG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16294#DIXB, A sharp range in $\R^3$ (statement). In N7HRE31BBH/e1, corollary 1.5
History
- 2026-10-28: add by m2/v0.4.2
Richard the Sophister R6WJN62CFZ
| URI | m2://inv/R6WJN62CFZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#DT7G, Richard the Sophister (topic)
History
- 2026-11-02: add by m2/dev
R6WVEK4Z0Z R6WVEK4Z0Z
| URI | m2://inv/R6WVEK4Z0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0808.1331#J6B8 (statement). In RB2B1N73P0/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.3.5
Applied Numerical Mathematics R6X3HFACDZ
| URI | m2://inv/R6X3HFACDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Applied Numerical Mathematics, Applied Numerical Mathematics (definition)
History
- 2026-11-02: add by m2/dev
Instituto Nacional de Matemática Pura e Aplicada R6X4C5ZJYZ
| URI | m2://inv/R6X4C5ZJYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instituto Nacional de Matemática Pura e Aplicada, Instituto Nacional de Matemática Pura e Aplicada (definition). Also Wikidata Q904687
History
- 2026-11-02: add by m2/dev
weak law of large numbers R6X5NN2WSP
| URI | m2://inv/R6X5NN2WSP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25377496, weak law of large numbers (statement). Also MathWorld WeakLawofLargeNumbers, ProofWiki Khinchin's_Law
History
- 2026-10-26: add by m2/dev
R6XBBDF64M R6XBBDF64M
| URI | m2://inv/R6XBBDF64M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#YK9X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Xcalc R6XKMRC6KN
| URI | m2://inv/R6XKMRC6KN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#SQZJ, Xcalc (unknown)
History
- 2026-11-02: add by m2/dev
medial icosacronic hexecontahedron R6XTKRBT5V
| URI | m2://inv/R6XTKRBT5V |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6806053, medial icosacronic hexecontahedron (unknown). Also MathWorld MedialIcosacronicHexecontahedron
- wikipedia: Wikipedia Medial icosacronic hexecontahedron, Medial icosacronic hexecontahedron (object). Also Wikidata Q6806053
History
- 2026-10-26: add by m2/dev
Getis–Ord statistics R6XW2S58D9
| URI | m2://inv/R6XW2S58D9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Getis–Ord statistics, Getis–Ord statistics (definition). Also Wikidata Q125727601
History
- 2026-11-02: add by m2/dev
Szegő theorem R6Y0XCJ10Z
| URI | m2://inv/R6Y0XCJ10Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szegő limit theorems#VCCV, Szegő theorem (statement)
History
- 2026-11-02: add by m2/dev
Classical differential geometry R6YG34P35R
| URI | m2://inv/R6YG34P35R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#DXYN, Classical differential geometry (definition)
History
- 2026-11-02: add by m2/dev
Exponential map (Lie theory) R6YP4VWA56
| URI | m2://inv/R6YP4VWA56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#YH1W, Exponential map (Lie theory) (definition)
- wikipedia: Wikipedia List of exponential topics#L3IF, Exponential map (Lie theory) (definition)
History
- 2026-11-02: add by m2/dev
Definition R6YPETS17Y
| URI | m2://inv/R6YPETS17Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet filter#F1O2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Elmer Gethin Rees R6YWE881C3
| URI | m2://inv/R6YWE881C3 |
|---|---|
| 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 Q8287, Elmer Gethin Rees (unknown). Also nLab Elmer Rees
- wikipedia: Wikipedia Elmer Rees, Elmer Rees (topic). Also Wikidata Q8287
History
- 2026-10-26: add by m2/dev
Facet theory R6YZRXYA2M
| URI | m2://inv/R6YZRXYA2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A2IG, Facet theory (definition)
History
- 2026-11-02: add by m2/dev
Example R6Z1BYCQZ7
| URI | m2://inv/R6Z1BYCQZ7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likelihood function#CCLJ, Example (example)
History
- 2026-11-02: add by m2/dev
R6Z23ZEAX2 R6Z23ZEAX2
| URI | m2://inv/R6Z23ZEAX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#Y3TG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Critical points R6Z2KSVARP
| URI | m2://inv/R6Z2KSVARP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#YL3E, Critical points (statement). In TX0H26X4VX/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.12
Examples R6Z2VGGD59
| URI | m2://inv/R6Z2VGGD59 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic integer#MV4Y, Examples (example)
History
- 2026-11-02: add by m2/dev
The second inequality R6ZEP239F0
| URI | m2://inv/R6ZEP239F0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class formation#Q7R1, The second inequality (statement)
History
- 2026-11-02: add by m2/dev
Plate trick R6ZNRMZ3ZF
| URI | m2://inv/R6ZNRMZ3ZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plate trick, Plate trick (definition). Also Wikidata Q17099574
History
- 2026-11-02: add by m2/dev
R6ZTZD879V R6ZTZD879V
| URI | m2://inv/R6ZTZD879V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#YQRK (statement). In F3BKXXPR3K/e1, corollary 3.71
History
- 2026-10-27: add by m2/v0.4.2
Applications R6ZZYCHQ32
| URI | m2://inv/R6ZZYCHQ32 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implication graph#GM2A, Applications (example)
History
- 2026-11-02: add by m2/dev