Inventory rows D6
The cards of the rows of the inventory whose ids start with D6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
D60338H4TK D60338H4TK
| URI | m2://inv/D60338H4TK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#G4PP (statement). In F5STMSPR6X/e1, proposition 3.28
History
- 2026-10-29: add by m2/v0.4.12
Applications D603VJRP61
| URI | m2://inv/D603VJRP61 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of countable choice#KHHN, Applications (example)
History
- 2026-11-02: add by m2/dev
The Hill--Norbury family D6044MDMHF
| URI | m2://inv/D6044MDMHF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22513#26XS, The Hill--Norbury family (definition)
History
- 2026-11-02: add by m2/v0.6.17
Definition D605PGMRRC
| URI | m2://inv/D605PGMRRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress–energy tensor#65J6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem (Klee) D60FBSMJF9
| URI | m2://inv/D60FBSMJF9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete topological vector space#4QS1, Theorem (Klee) (statement)
- wikipedia: Wikipedia Metrizable topological vector space#V1GF, Theorem (Klee) (statement)
History
- 2026-11-02: add by m2/dev
Balaban 11-cage D60G4YTVYX
| URI | m2://inv/D60G4YTVYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2806923, Balaban 11-cage (unknown). Also House of Graphs 951, MathWorld Balaban11-Cage
- wikipedia: Wikipedia Balaban 11-cage, Balaban 11-cage (definition). Also Wikidata Q2806923
History
- 2026-10-26: add by m2/dev
Properties D612AC7WVV
| URI | m2://inv/D612AC7WVV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fusion frame#NQD3, Properties (statement)
History
- 2026-11-02: add by m2/dev
D614972NRQ D614972NRQ
| URI | m2://inv/D614972NRQ |
|---|---|
| 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.07114#FUAL (statement). In HP3TM356J6/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
D615E90935 D615E90935
| URI | m2://inv/D615E90935 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
D616M9M70P D616M9M70P
| URI | m2://inv/D616M9M70P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-19 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Examples D618GH8Q9B
| URI | m2://inv/D618GH8Q9B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential infimum and essential supremum#HM35, Examples (example)
History
- 2026-11-02: add by m2/dev
D61CZGV9D9 D61CZGV9D9
| URI | m2://inv/D61CZGV9D9 |
|---|---|
| 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 2610.13833#WTDT (definition). In VD4JP4HVBX/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Axioms of a Möbius plane D61TT4T2GK
| URI | m2://inv/D61TT4T2GK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius plane#MGCA, Axioms of a Möbius plane (statement)
History
- 2026-11-02: add by m2/dev
Definition D61TW2XS93
| URI | m2://inv/D61TW2XS93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequence space#UHAR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Assumptions for the Convergence D61TY7JAJC
| URI | m2://inv/D61TY7JAJC |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
D62AKKC2JS D62AKKC2JS
| URI | m2://inv/D62AKKC2JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.02017#2KG4 (statement). In F6C80AEXC1/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.12
Differential cryptanalysis D62AS0XAW1
| URI | m2://inv/D62AS0XAW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential cryptanalysis, Differential cryptanalysis (definition). Also Wikidata Q1224471
History
- 2026-11-02: add by m2/dev
D62EN1F0SH D62EN1F0SH
| URI | m2://inv/D62EN1F0SH |
|---|---|
| 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#HWV7 (statement). In N7HRE31BBH/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Logarithmic comparison for nondegenerate curvature D62N30FSK3
| URI | m2://inv/D62N30FSK3 |
|---|---|
| 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 2609.20643#9CGM, Logarithmic comparison for nondegenerate curvature (statement)
History
- 2026-11-02: add by m2/v0.6.18
Probabilistic primality test D62NWTJSFR
| URI | m2://inv/D62NWTJSFR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primality test#ERF7, Probabilistic primality test (unknown)
History
- 2026-11-02: add by m2/dev
D62P3TRW97 D62P3TRW97
| URI | m2://inv/D62P3TRW97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24008#SFTC (statement)
History
- 2026-11-02: add by m2/v0.6.17
D62S59KDQD D62S59KDQD
| URI | m2://inv/D62S59KDQD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24545#WEQ0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Carol Wood D62Y0YAP3G
| URI | m2://inv/D62Y0YAP3G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VO7S, Carol Wood (topic)
- wikipedia: Wikipedia List of women logicians#B6PP, Carol Wood (topic)
History
- 2026-11-02: add by m2/dev
Nevanlinna defect relation D632TS1EYX
| URI | m2://inv/D632TS1EYX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nevanlinna theory#OY75, Nevanlinna defect relation (unknown)
History
- 2026-11-02: add by m2/dev
D633KZGFZ2 D633KZGFZ2
| URI | m2://inv/D633KZGFZ2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30407#WP4O (definition). In HNY6N561H5/e1, definition 2.7
History
- 2026-10-31: add by m2/v0.5.6
Baruch Awerbuch D635EJTXFQ
| URI | m2://inv/D635EJTXFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DXSO, Baruch Awerbuch (unknown)
History
- 2026-11-02: add by m2/dev
Data validation D64413XMSD
| URI | m2://inv/D64413XMSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data validation, Data validation (definition). Also Wikidata Q3306762
History
- 2026-11-02: add by m2/dev
D6473EHVRE D6473EHVRE
| URI | m2://inv/D6473EHVRE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#T0EF (definition). In X2AEJAQEP8/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
Configurational mechanics D64DKC7S1F
| URI | m2://inv/D64DKC7S1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Configurational mechanics, Configurational mechanics (definition). Also Wikidata Q16000067
History
- 2026-11-02: add by m2/dev
D64E24D4JZ D64E24D4JZ
| URI | m2://inv/D64E24D4JZ |
|---|---|
| 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.29227#WPXS (statement)
History
- 2026-11-01: add by m2/v0.6.15
D64TFVF304 D64TFVF304
| URI | m2://inv/D64TFVF304 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-25 (exercise). In E9HS8K3A52, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
Construction D64WK17Y6W
| URI | m2://inv/D64WK17Y6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schoch line#63M6, Construction (definition)
History
- 2026-11-02: add by m2/dev
Theorems involving Serre quotients D653ABKTXR
| URI | m2://inv/D653ABKTXR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient of an abelian category#3OPV, Theorems involving Serre quotients (statement)
History
- 2026-11-02: add by m2/dev
D653B00EWP D653B00EWP
| URI | m2://inv/D653B00EWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#0O1W (statement). In 7ZFD9XRKA1/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Closed function D653QTV158
| URI | m2://inv/D653QTV158 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#OU2W, Closed function (definition)
History
- 2026-11-02: add by m2/dev
hebesphenomegacorona D654D1EFM3
| URI | m2://inv/D654D1EFM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q680011, hebesphenomegacorona (object). Also MathWorld Hebesphenomegacorona
- wikipedia: Wikipedia Hebesphenomegacorona, Hebesphenomegacorona (definition). Also Wikidata Q680011
History
- 2026-10-26: add by m2/dev
D6579Z8E4R D6579Z8E4R
| URI | m2://inv/D6579Z8E4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.19866#MGKI (statement). In 9F94CEQ1ZM/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Unconditional energy stability D65D23RQQB
| URI | m2://inv/D65D23RQQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25489#U09P, Unconditional energy stability (statement)
History
- 2026-11-01: add by m2/v0.6.15
D65F198P1M D65F198P1M
| URI | m2://inv/D65F198P1M |
|---|---|
| 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.15504#A7IE (statement). In AZ8SEW6HAV/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
Charles W. Curtis D65K71E7GG
| URI | m2://inv/D65K71E7GG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EEN9, Charles W. Curtis (topic)
History
- 2026-11-02: add by m2/dev
Accuracy (binary classification) D65QV25FQY
| URI | m2://inv/D65QV25FQY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accuracy and precision#ENTY, Accuracy (binary classification) (unknown)
History
- 2026-11-02: add by m2/dev
F\"uredi D65WRNYF8R
| URI | m2://inv/D65WRNYF8R |
|---|---|
| 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.25038#24QP, F\"uredi (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pinsky phenomenon D65Y3GH9WX
| URI | m2://inv/D65Y3GH9WX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#9X0W, Pinsky phenomenon (definition)
History
- 2026-11-02: add by m2/dev
D664EHC6DB D664EHC6DB
| URI | m2://inv/D664EHC6DB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.13822#GD54 (statement). In R9D4FQR3TA/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
D66BZVGE1Y D66BZVGE1Y
| URI | m2://inv/D66BZVGE1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23871#4KDU (statement)
History
- 2026-11-02: add by m2/v0.6.17
D66C2YYSSX D66C2YYSSX
| URI | m2://inv/D66C2YYSSX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21255#VK7D (definition)
History
- 2026-11-02: add by m2/v0.6.18
Generalized functional linear model D66EFN08ZC
| URI | m2://inv/D66EFN08ZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized functional linear model, Generalized functional linear model (definition). Also Wikidata Q25303822
History
- 2026-11-02: add by m2/dev
Legendre's equation D66K900ANT
| URI | m2://inv/D66K900ANT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre's equation, Legendre's equation (definition). Also Wikidata Q4454970
History
- 2026-11-02: add by m2/dev
D66NQ172TA D66NQ172TA
| URI | m2://inv/D66NQ172TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#TGY5 (statement). In PEXJPV3NP8/e1, theorem 2.23
History
- 2026-10-27: add by m2/v0.3.5
Properties D66X5WRD4B
| URI | m2://inv/D66X5WRD4B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilinear multiplication#PB0L, Properties (statement)
History
- 2026-11-02: add by m2/dev
D66Y0WRCMM D66Y0WRCMM
| URI | m2://inv/D66Y0WRCMM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.10697#C6WW (definition). In WN2Z20ZV49/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.6
Predictor-only intrinsic equation D673ED4Z3S
| URI | m2://inv/D673ED4Z3S |
|---|---|
| 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.09356#ITDJ, Predictor-only intrinsic equation (statement). In 3VVGPXWH6R/e1, proposition E.2
History
- 2026-10-29: add by m2/v0.4.10
The octahedral axiom $(\mathrm{ET4})$ D6740204G7
| URI | m2://inv/D6740204G7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.00135#VKI5, The octahedral axiom $(\mathrm{ET4})$ (statement). In PXWXV92SJY/e1, axiom 2.2
History
- 2026-10-30: add by m2/v0.4.12
Hans Frederick Blichfeldt D674GNW4NG
| URI | m2://inv/D674GNW4NG |
|---|---|
| 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 Q1392717, Hans Frederick Blichfeldt (unknown). Also ProofWiki Mathematician:Hans_Frederick_Blichfeldt
- wikipedia: Wikipedia Hans Frederick Blichfeldt, Hans Frederick Blichfeldt (topic). Also Wikidata Q1392717
History
- 2026-10-26: add by m2/dev
Alternating series D675NW64ET
| URI | m2://inv/D675NW64ET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#4FT2, Alternating series (definition)
History
- 2026-11-02: add by m2/dev
D67CKAR71V D67CKAR71V
| URI | m2://inv/D67CKAR71V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#B4UA (statement). In EVFX1R7ZDD/e1, corollary 3
History
- 2026-10-30: add by m2/v0.4.12
Implementation D67JFG384W
| URI | m2://inv/D67JFG384W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic-curve cryptography#2DHN, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Arthur Cayley D67KC34NK0
| URI | m2://inv/D67KC34NK0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#D9OA, Arthur Cayley (topic)
History
- 2026-11-02: add by m2/dev
Derived affine trace compatibility D67T306J3E
| URI | m2://inv/D67T306J3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#9C96, Derived affine trace compatibility (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithms D67TJH2VAF
| URI | m2://inv/D67TJH2VAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group method of data handling#HESA, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Polar coordinate system D6817RFV80
| URI | m2://inv/D6817RFV80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#QWIX, Polar coordinate system (definition)
History
- 2026-11-02: add by m2/dev
Construction of the Thom space D685GENW2H
| URI | m2://inv/D685GENW2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thom space#0ZAD, Construction of the Thom space (definition)
History
- 2026-11-02: add by m2/dev
Hardy–Littlewood–Sobolev inequality D687WJH1GS
| URI | m2://inv/D687WJH1GS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#545Z, Hardy–Littlewood–Sobolev inequality (statement)
History
- 2026-11-02: add by m2/dev
Freight Analysis Framework D6890Y5BHH
| URI | m2://inv/D6890Y5BHH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bureau of Transportation Statistics#NCGQ, Freight Analysis Framework (unknown)
History
- 2026-11-02: add by m2/dev
Cache algorithms D689FS4QXP
| URI | m2://inv/D689FS4QXP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#YM9K, Cache algorithms (unknown)
History
- 2026-11-02: add by m2/dev
D689GM2BF5 D689GM2BF5
| URI | m2://inv/D689GM2BF5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#0TPN (definition). In 6KR7Z5ETRY/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.3.5
D68F1NEY72 D68F1NEY72
| URI | m2://inv/D68F1NEY72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19954#3DM1 (statement). In AXPPYWYJZ5/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
Mara Neusel D68HTGQ27V
| URI | m2://inv/D68HTGQ27V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mara Neusel, Mara Neusel (topic). Also Wikidata Q18685893
History
- 2026-11-02: add by m2/dev
D68JPGETPY D68JPGETPY
| URI | m2://inv/D68JPGETPY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#77Q6 (definition). In BDN507RN7J/e1, definition 3.2.22
History
- 2026-10-30: add by m2/v0.4.12
D68NEAF1ET D68NEAF1ET
| URI | m2://inv/D68NEAF1ET |
|---|---|
| Kind | problem |
| 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 0904.0817#3PNV (problem). In 569FZDANV3/e1, problem 0.4
History
- 2026-10-27: add by m2/v0.3.5
Kathryn Hess D68R3E1J2C
| URI | m2://inv/D68R3E1J2C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kathryn Hess, Kathryn Hess (topic). Also Wikidata Q25816687
History
- 2026-11-02: add by m2/dev
D68SHZ2RDZ D68SHZ2RDZ
| URI | m2://inv/D68SHZ2RDZ |
|---|---|
| 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.05708#N3Y0 (statement). In 3BJPFGJNSS/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
D68VVXVNJG D68VVXVNJG
| URI | m2://inv/D68VVXVNJG |
|---|---|
| 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#LL77 (definition). In JQH3FHYPW3/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Elliptical distribution D68W6FYBEN
| URI | m2://inv/D68W6FYBEN |
|---|---|
| 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.16883#B0YO, Elliptical distribution (definition). In TYS9N30M63/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Cantera D6918SB640
| URI | m2://inv/D6918SB640 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#VMJW, Cantera (unknown)
History
- 2026-11-02: add by m2/dev
D692W0RMN3 D692W0RMN3
| URI | m2://inv/D692W0RMN3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#KK1X (example). In VN084GGZGK/e1, example 4.10
History
- 2026-10-28: add by m2/v0.4.3
K-d tree D693TJM982
| URI | m2://inv/D693TJM982 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#9064, K-d tree (unknown)
History
- 2026-11-02: add by m2/dev
Interpretation D694XGDY31
| URI | m2://inv/D694XGDY31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpretation (philosophy), Interpretation (definition). Also Wikidata Q855395
History
- 2026-11-02: add by m2/dev
Claus P. Schnorr D696AGFHWW
| URI | m2://inv/D696AGFHWW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claus P. Schnorr, Claus P. Schnorr (topic). Also Wikidata Q92891
History
- 2026-11-02: add by m2/dev
Kurt Leichtweiss D697ADA4EJ
| URI | m2://inv/D697ADA4EJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurt Leichtweiss, Kurt Leichtweiss (topic). Also Wikidata Q98036
History
- 2026-11-02: add by m2/dev
Rémi Abgrall D69C8PZQTH
| URI | m2://inv/D69C8PZQTH |
|---|---|
| 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#PQGA, Rémi Abgrall (topic)
History
- 2026-11-02: add by m2/dev
D69E6G1FYP D69E6G1FYP
| URI | m2://inv/D69E6G1FYP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#noharmonic (statement). In RZP28ERRZV, proposition, section 33.3.2
History
- 2026-11-01: add by m2/v0.6.13
cosine integral D69EN1DG8T
| URI | m2://inv/D69EN1DG8T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4201938, cosine integral (unknown). Also MathWorld CosineIntegral
History
- 2026-10-26: add by m2/dev
D69GMNKH8R D69GMNKH8R
| URI | m2://inv/D69GMNKH8R |
|---|---|
| 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.16429#YUV1 (statement). In AGT1KD3WZH/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
D69R9BTC7A D69R9BTC7A
| URI | m2://inv/D69R9BTC7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04431#CB3U (statement). In 3PSAWXCCJ8/e1, lemma 16
History
- 2026-10-29: add by m2/v0.4.12
D69SFZXAQ4 D69SFZXAQ4
| URI | m2://inv/D69SFZXAQ4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/reduction.tex#sfr:siz:red:prob:nat-nat (exercise). In PKGMM3P5QY, prob, section 83.13
History
- 2026-11-01: add by m2/v0.6.13
William J. Ellison D69XASVTKC
| URI | m2://inv/D69XASVTKC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William J. Ellison, William J. Ellison (topic). Also Wikidata Q1789183
History
- 2026-11-02: add by m2/dev
D6AQVDHPPB D6AQVDHPPB
| URI | m2://inv/D6AQVDHPPB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#thm:nat-hinitial (statement). In N54F33XE07, thm, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
Interpolation with a bound D6ARAT3GQ1
| URI | m2://inv/D6ARAT3GQ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#W7RL, Interpolation with a bound (definition)
History
- 2026-11-01: add by m2/v0.6.15
D6B2QRCJB1 D6B2QRCJB1
| URI | m2://inv/D6B2QRCJB1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#RYRH (definition). In TC5QA4AB4Z/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
D6BB934002 D6BB934002
| URI | m2://inv/D6BB934002 |
|---|---|
| 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 1903.07030#96BG (statement). In 9H45HQE7AZ/e1, proposition 7.11
History
- 2026-10-27: add by m2/v0.3.5
D6BC6EKGP0 D6BC6EKGP0
| URI | m2://inv/D6BC6EKGP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/EquivalenceRelations.tex#definition-1 (definition). In P1C114YBXG, definition, section A
History
- 2026-11-01: add by m2/v0.6.13
D6BMY02KW9 D6BMY02KW9
| URI | m2://inv/D6BMY02KW9 |
|---|---|
| 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.26386#K5C9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dunbar's number D6BVS9PXRR
| URI | m2://inv/D6BVS9PXRR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#T90C, Dunbar's number (unknown)
History
- 2026-11-02: add by m2/dev
D6C1KN518G D6C1KN518G
| URI | m2://inv/D6C1KN518G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28664#Z2MD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kiyoshi Igusa D6C1SD42C5
| URI | m2://inv/D6C1SD42C5 |
|---|---|
| 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#DC5T, Kiyoshi Igusa (topic)
History
- 2026-11-02: add by m2/dev
Galois group D6C49T3K3S
| URI | m2://inv/D6C49T3K3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#Z2F5, Galois group (definition)
- wikipedia: Wikipedia List of mathematical proofs#34LR, Galois group (definition)
History
- 2026-11-02: add by m2/dev
Parseval's theorem D6CFWSBG5Q
| URI | m2://inv/D6CFWSBG5Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier series#3G4Y, Parseval's theorem (statement)
History
- 2026-11-02: add by m2/dev
Example D6CKATJDT0
| URI | m2://inv/D6CKATJDT0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process capability index#6XX3, Example (example)
History
- 2026-11-02: add by m2/dev
Inference for causal functions; Corollary S1 D6CQDGGD7B
| URI | m2://inv/D6CQDGGD7B |
|---|---|
| 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 2102.11076#CL0U, Inference for causal functions; Corollary S1 (statement). In T9HZXHTQBJ/e1, corollary 9
History
- 2026-10-27: add by m2/v0.3.6
Upper semicontinuity under polyhedral approximation D6CYGTSJ34
| URI | m2://inv/D6CYGTSJ34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21670#90T5, Upper semicontinuity under polyhedral approximation (statement)
History
- 2026-11-02: add by m2/v0.6.18
D6CZ6ZP7XF D6CZ6ZP7XF
| URI | m2://inv/D6CZ6ZP7XF |
|---|---|
| Kind | statement |
| 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#9P0H (statement). In 9DQKY7KGE8/e1, lemma 5.14
History
- 2026-10-27: add by m2/v0.3.5
$q$ Preserves Substitution Typing D6D3E2FW27
| URI | m2://inv/D6D3E2FW27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#R7NO, $q$ Preserves Substitution Typing (statement). In CPYWHRTPKC/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
Secular phenomena D6D5C91DAX
| URI | m2://inv/D6D5C91DAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secular variation#SNFG, Secular phenomena (unknown)
History
- 2026-11-02: add by m2/dev
D6DG6ES0H6 D6DG6ES0H6
| URI | m2://inv/D6DG6ES0H6 |
|---|---|
| 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 2311.01874#MENG (statement). In A4TR95VGX2/e1, theorem 5.4.6
History
- 2026-10-27: add by m2/v0.3.5
Applications D6DT33PWEY
| URI | m2://inv/D6DT33PWEY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indifference graph#HLWW, Applications (example)
History
- 2026-11-02: add by m2/dev
Extensions of First Order Logic D6DVBVGNKX
| URI | m2://inv/D6DVBVGNKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extensions of First Order Logic, Extensions of First Order Logic (definition). Also Wikidata Q96377542
History
- 2026-11-02: add by m2/dev
Econometrica D6DZFSXH8M
| URI | m2://inv/D6DZFSXH8M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#5DR3, Econometrica (unknown)
History
- 2026-11-02: add by m2/dev
Wilhelmus Luxemburg D6E3GB2T5D
| URI | m2://inv/D6E3GB2T5D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GXSK, Wilhelmus Luxemburg (topic)
History
- 2026-11-02: add by m2/dev
D6E67BYK69 D6E67BYK69
| URI | m2://inv/D6E67BYK69 |
|---|---|
| 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 2303.10636#YA85 (statement). In 9SV2RAEPXM/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.3.6
Pseudoconvex function D6E9XWWQBY
| URI | m2://inv/D6E9XWWQBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoconvex function, Pseudoconvex function (definition). Also Wikidata Q7254692
History
- 2026-11-02: add by m2/dev
suspension D6EBG7D4R2
| URI | m2://inv/D6EBG7D4R2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cohomology theories#S63X, suspension (definition)
History
- 2026-11-02: add by m2/dev
D6EE15DAJ6 D6EE15DAJ6
| URI | m2://inv/D6EE15DAJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#31L2 (statement). In 9ZD87293QS/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.0
Lori Dennis D6EGP9EA7A
| URI | m2://inv/D6EGP9EA7A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#0SZ1, Lori Dennis (unknown)
History
- 2026-11-02: add by m2/dev
Outcome-adaptive augmentation D6EH3YGKD1
| URI | m2://inv/D6EH3YGKD1 |
|---|---|
| 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.09030#PU52, Outcome-adaptive augmentation (statement). In BYN44C0X0C/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Imputation D6EJA8MJ3N
| URI | m2://inv/D6EJA8MJ3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imputation (statistics), Imputation (definition). Also Wikidata Q1660484
History
- 2026-11-02: add by m2/dev
D6EJMNNVGD D6EJMNNVGD
| URI | m2://inv/D6EJMNNVGD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#4EI0 (definition). In 9GMTVSTAVN/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.3.5
D6EMKSCGH5 D6EMKSCGH5
| URI | m2://inv/D6EMKSCGH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#1MER (statement). In PF5JJ9DS8Q/e1, lemma Lemma
History
- 2026-10-28: add by m2/v0.4.2
DeWitt notation D6ENJ5BHSB
| URI | m2://inv/D6ENJ5BHSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DeWitt notation, DeWitt notation (definition). Also Wikidata Q5244204
History
- 2026-11-02: add by m2/dev
D6EPA5VTZ5 D6EPA5VTZ5
| URI | m2://inv/D6EPA5VTZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#8909 (statement). In NSYR6W27FP/e1, theorem 4.13
History
- 2026-10-27: add by m2/v0.3.5
Definition D6ERFAVAPP
| URI | m2://inv/D6ERFAVAPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjoint union (topology)#VY2A, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorems involving surface integrals D6ESMAKJC7
| URI | m2://inv/D6ESMAKJC7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface integral#MIZE, Theorems involving surface integrals (statement)
History
- 2026-11-02: add by m2/dev
Intensities for constant variances D6F47MYXHZ
| URI | m2://inv/D6F47MYXHZ |
|---|---|
| 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.32695#4QLB, Intensities for constant variances (statement). In VQSF2E35BX/e1, corollary D.1
History
- 2026-10-31: add by m2/v0.5.6
Natarajan squares D6F86BMY8C
| URI | m2://inv/D6F86BMY8C |
|---|---|
| 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.18154#3U5T, Natarajan squares (statement). In 4W7ARR1DAR/e1, proposition 6.8
History
- 2026-10-28: add by m2/v0.4.2
D6F8YPGMXQ D6F8YPGMXQ
| URI | m2://inv/D6F8YPGMXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35632#FA16 (statement). In Q74G3BVZAQ/e1, proposition 7.2
History
- 2026-10-27: add by m2/v0.3.5
Jonathan Rosenberg D6FAT5ZEN6
| URI | m2://inv/D6FAT5ZEN6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G9VR, Jonathan Rosenberg (topic)
History
- 2026-11-02: add by m2/dev
D6FB8ZNMCH D6FB8ZNMCH
| URI | m2://inv/D6FB8ZNMCH |
|---|---|
| Kind | example |
| 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 2609.22240#LXQ1 (example)
History
- 2026-11-02: add by m2/v0.6.17
Omnitruncation D6FCJJXYF8
| URI | m2://inv/D6FCJJXYF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omnitruncation, Omnitruncation (definition). Also Wikidata Q7090413
History
- 2026-11-02: add by m2/dev
D6FKE7FXP4 D6FKE7FXP4
| URI | m2://inv/D6FKE7FXP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16081#H457 (statement). In RS6WWZKMT6/e1, proposition A.1
History
- 2026-10-28: add by m2/v0.4.2
Emergent algorithm D6FKEEBSJH
| URI | m2://inv/D6FKEEBSJH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#Z37Y, Emergent algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Uniform kernel transfer D6FP10B761
| URI | m2://inv/D6FP10B761 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38871#A742, Uniform kernel transfer (statement). In X705R2Q780/e1, corollary 4.8
History
- 2026-10-30: add by m2/v0.4.12
D6FP20GRGE D6FP20GRGE
| URI | m2://inv/D6FP20GRGE |
|---|---|
| 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 2609.19959#9ZNY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Yuri Linnik D6FS5PWRND
| URI | m2://inv/D6FS5PWRND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#1T9J, Yuri Linnik (unknown)
History
- 2026-11-02: add by m2/dev
D6FSPJ19X4 D6FSPJ19X4
| URI | m2://inv/D6FSPJ19X4 |
|---|---|
| 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#GRB3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
D6FWEKZY7C D6FWEKZY7C
| URI | m2://inv/D6FWEKZY7C |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_lovasz-local.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 16.7
History
- 2026-11-01: add by m2/v0.6.13
Local continuation after tail absorption D6G3WAAEYT
| URI | m2://inv/D6G3WAAEYT |
|---|---|
| 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.00339#4NWS, Local continuation after tail absorption (statement). In ZRG6NY1ECH/e1, lemma 47
History
- 2026-10-30: add by m2/v0.4.12
vacuum polarization D6GH30GC7D
| URI | m2://inv/D6GH30GC7D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1886497, vacuum polarization (unknown). Also nLab vacuum polarization
History
- 2026-10-26: add by m2/dev
D6GPY9107K D6GPY9107K
| URI | m2://inv/D6GPY9107K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34081#LOBS (statement). In 3RVGEKGX46/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Generalizations D6GQ10BYZK
| URI | m2://inv/D6GQ10BYZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's high school algebra problem#OIRS, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
A conservative positive harmonic transform D6H2EXPE6V
| URI | m2://inv/D6H2EXPE6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#PN03, A conservative positive harmonic transform (statement). In FDDA562VCA/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
D6H7GA0D8E D6H7GA0D8E
| URI | m2://inv/D6H7GA0D8E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1905.02785#PD10 (definition). In PF9KV74Q02/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Law of the stopped covering walk D6H808J76N
| URI | m2://inv/D6H808J76N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13063#20TW, Law of the stopped covering walk (statement). In R5AFFWBMAF/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
absolute D6HC0K2E52
| URI | m2://inv/D6HC0K2E52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#SPS9, absolute (definition)
History
- 2026-11-02: add by m2/dev
Algebraic properties D6HHJGF4S2
| URI | m2://inv/D6HHJGF4S2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Livingstone graph#5MI9, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Euler calculus D6HW12CVSQ
| URI | m2://inv/D6HW12CVSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler calculus, Euler calculus (definition). Also Wikidata Q5408987
History
- 2026-11-02: add by m2/dev
D6HXZQBQFZ D6HXZQBQFZ
| URI | m2://inv/D6HXZQBQFZ |
|---|---|
| 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.03327#8M0D (statement). In EBNXA84CPM/e1, corollary 4
History
- 2026-10-29: add by m2/v0.4.12
D6J0V7DB1P D6J0V7DB1P
| URI | m2://inv/D6J0V7DB1P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-30 (exercise). In E59CDZA4DP, exercise, section 10.2.5
History
- 2026-11-01: add by m2/v0.6.13
proposition, as types D6J5HATEZ7
| URI | m2://inv/D6J5HATEZ7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/proposition-as-types, proposition, as types (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
D6J7HZ81SE D6J7HZ81SE
| URI | m2://inv/D6J7HZ81SE |
|---|---|
| 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.15881#J9A6 (statement). In RK0JCSYK33/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Fixed-order SC genericity D6JE3QFBF9
| URI | m2://inv/D6JE3QFBF9 |
|---|---|
| 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.20270#B7VR, Fixed-order SC genericity (statement). In GV0QGZH67P/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.4.2
Extraction of a convex subset D6JN0EMDQK
| URI | m2://inv/D6JN0EMDQK |
|---|---|
| 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#1GQW, Extraction of a convex subset (statement). In 9YAE8FNQST/e1, proposition 14.4
History
- 2026-10-30: add by m2/v0.4.12
Martin Brandenburg D6JT3PM6A2
| URI | m2://inv/D6JT3PM6A2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q102507875, Martin Brandenburg (unknown). Also nLab Martin Brandenburg
History
- 2026-10-26: add by m2/dev
D6JV4Z0QQK D6JV4Z0QQK
| URI | m2://inv/D6JV4Z0QQK |
|---|---|
| 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.05299#MOXV (statement). In 68AE571S4P/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Coefficient comparison for the transferred differentials D6JV7Q9NN9
| URI | m2://inv/D6JV7Q9NN9 |
|---|---|
| Kind | statement |
| 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.21093#KUQE, Coefficient comparison for the transferred differentials (statement). In TBFPBPQV3G/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
Alberto Calderón D6JXYG6N2C
| URI | m2://inv/D6JXYG6N2C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#920R, Alberto Calderón (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations D6JYYKYBVE
| URI | m2://inv/D6JYYKYBVE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tubular neighborhood#ZKQO, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Ross J. Anderson D6K08KAZE7
| URI | m2://inv/D6K08KAZE7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LNTP, Ross J. Anderson (topic)
History
- 2026-11-02: add by m2/dev
D6K0P2EWWS D6K0P2EWWS
| URI | m2://inv/D6K0P2EWWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.15344#IJ56 (statement). In B9EX6K51RD/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Fork–join queue D6K3CAMWWP
| URI | m2://inv/D6K3CAMWWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fork–join queue, Fork–join queue (definition). Also Wikidata Q4025962
History
- 2026-11-02: add by m2/dev
D6KAZ1HKC1 D6KAZ1HKC1
| URI | m2://inv/D6KAZ1HKC1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-18 (exercise). In E9HS8K3A52, exercise, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
D6KFEA74DR D6KFEA74DR
| URI | m2://inv/D6KFEA74DR |
|---|---|
| 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.38844#LIU3 (statement). In PX8D91DQCX/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Example D6KQRCFQ3A
| URI | m2://inv/D6KQRCFQ3A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection number#EFJ1, Example (example)
History
- 2026-11-02: add by m2/dev
F. G. Mehler D6KWWYYY8V
| URI | m2://inv/D6KWWYYY8V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#3EZ2, F. G. Mehler (topic)
History
- 2026-11-02: add by m2/dev
D6M2AQ44X3 D6M2AQ44X3
| URI | m2://inv/D6M2AQ44X3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#4IYJ (statement). In 7V2PVZS04C/e1, proposition 6.18
History
- 2026-10-31: add by m2/v0.5.6
regular homotopy D6M3GSTFWX
| URI | m2://inv/D6M3GSTFWX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 55-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7309601, Whitney–Graustein Theorem (statement). Also Wikidata Q7309601
- thousand_plus: thousand_plus Q7309601, Whitney–Graustein Theorem (statement). Also Wikidata Q7309601, Wikipedia Regular homotopy
- wikidata: Wikidata Q7309601, regular homotopy (unknown). Also nLab regular homotopy
- wikipedia: Wikipedia Regular homotopy, Regular homotopy (definition). Also Wikidata Q7309601
History
- 2026-10-26: add by m2/dev
567 (number) D6M4E1KZ9Y
| URI | m2://inv/D6M4E1KZ9Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#4WAI, 567 (number) (unknown)
History
- 2026-11-02: add by m2/dev
D6M4MNF4MA D6M4MNF4MA
| URI | m2://inv/D6M4MNF4MA |
|---|---|
| Kind | definition |
| 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.04135#KLH6 (definition). In 587PWJ6W5D/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.12
Pooled Bennett bound with certified residual moments D6M5QJ806N
| URI | m2://inv/D6M5QJ806N |
|---|---|
| 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.19207#LIYK, Pooled Bennett bound with certified residual moments (statement). In BH3R0BA3PC/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
D6MCSRTB7J D6MCSRTB7J
| URI | m2://inv/D6MCSRTB7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#QD7N (statement)
History
- 2026-11-01: add by m2/v0.6.15
D6MJ3Q385G D6MJ3Q385G
| URI | m2://inv/D6MJ3Q385G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10973#OYEI (statement). In H8NGNDP0XT/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.3
D6MKPTA9GZ D6MKPTA9GZ
| URI | m2://inv/D6MKPTA9GZ |
|---|---|
| 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.16731#YNYA (statement). In D68KBZQ4Q6/e1, theorem 3.19
History
- 2026-10-28: add by m2/v0.4.2
Localized fractional energy D6MW190Y3C
| URI | m2://inv/D6MW190Y3C |
|---|---|
| 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.34066#XJ50, Localized fractional energy (statement). In F0Y3DZCEH0/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Formal logical systems D6MWNP4AMZ
| URI | m2://inv/D6MWNP4AMZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical logic#08R2, Formal logical systems (unknown)
History
- 2026-11-02: add by m2/dev
Redundancy analysis D6MYQGAQGE
| URI | m2://inv/D6MYQGAQGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate statistics#0P5B, Redundancy analysis (unknown)
History
- 2026-11-02: add by m2/dev
D6MZYY3KCC D6MZYY3KCC
| URI | m2://inv/D6MZYY3KCC |
|---|---|
| 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#R0LE (statement). In 5KR3MHYVV6/e1, theorem 3.14
History
- 2026-10-28: add by m2/v0.4.2
Integer points in convex polyhedra D6N1RGDAZG
| URI | m2://inv/D6N1RGDAZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer points in convex polyhedra, Integer points in convex polyhedra (definition). Also Wikidata Q6042594
History
- 2026-11-02: add by m2/dev
D6N78J97MA D6N78J97MA
| URI | m2://inv/D6N78J97MA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33651#79U7 (statement). In 69DBD2HKGK/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
D6NF2DWPEA D6NF2DWPEA
| URI | m2://inv/D6NF2DWPEA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:nonverticalintersections (exercise). In VNMV985MXX, exercise, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
D6NHPWKY86 D6NHPWKY86
| URI | m2://inv/D6NHPWKY86 |
|---|---|
| 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.18562#LTQB (statement). In 793KXAR957/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.2
Lower stationary-flow truncation energy D6NJ43K2BS
| URI | m2://inv/D6NJ43K2BS |
|---|---|
| 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.09030#BU8P, Lower stationary-flow truncation energy (statement). In BYN44C0X0C/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.10
D6NMY2N9SV D6NMY2N9SV
| URI | m2://inv/D6NMY2N9SV |
|---|---|
| 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 1008.4946#U0V3 (statement). In R4ZM6Q4SHH/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Examples D6NQZE58GY
| URI | m2://inv/D6NQZE58GY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic divisor number#D6B4, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications D6NXQ1VSMF
| URI | m2://inv/D6NXQ1VSMF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Change of rings#79N1, Applications (example)
History
- 2026-11-02: add by m2/dev
D6P1VH6597 D6P1VH6597
| URI | m2://inv/D6P1VH6597 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#NCI6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples D6P85G09EC
| URI | m2://inv/D6P85G09EC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duffing equation#SV18, Examples (example)
History
- 2026-11-02: add by m2/dev
tangent line D6PB5GRJ43
| URI | m2://inv/D6PB5GRJ43 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.3.2/tangent-line, tangent line (concept). In 907G4C4EJ1, index, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
D6PHMHC8G7 D6PHMHC8G7
| URI | m2://inv/D6PHMHC8G7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#R8GK (definition). In X765ZXXVC3/e1, definition 6.19
History
- 2026-10-29: add by m2/v0.4.12
John Kim D6PN970G1K
| URI | m2://inv/D6PN970G1K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#B1U3, John Kim (unknown)
History
- 2026-11-02: add by m2/dev
Walter Trump D6PPJSG6JK
| URI | m2://inv/D6PPJSG6JK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#T6RO, Walter Trump (topic)
History
- 2026-11-02: add by m2/dev
D6PTM84K8X D6PTM84K8X
| URI | m2://inv/D6PTM84K8X |
|---|---|
| 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.20489#QPSF (statement). In BJ8JJZ0ZWT/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
D6PWFA5302 D6PWFA5302
| URI | m2://inv/D6PWFA5302 |
|---|---|
| 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 1607.01095#QU1J (definition). In W3T1ZAT3GC/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Terminology D6Q191C1X9
| URI | m2://inv/D6Q191C1X9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trustworthy AI#MEJ0, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Projection and nonlinear Snell envelopes D6QH3PPH30
| URI | m2://inv/D6QH3PPH30 |
|---|---|
| Kind | problem |
| 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#3KE2, Projection and nonlinear Snell envelopes (problem). In NJGS7D1EPH/e1, problem 9.2
History
- 2026-10-28: add by m2/v0.4.2
Joint Mathematics Meetings D6QRDGT965
| URI | m2://inv/D6QRDGT965 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joint Mathematics Meetings, Joint Mathematics Meetings (definition). Also Wikidata Q6269281
History
- 2026-11-02: add by m2/dev
D6QXME51JD D6QXME51JD
| URI | m2://inv/D6QXME51JD |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31212#QU4B (problem). In FHE30V0M03/e1, problem 1.1
History
- 2026-10-31: add by m2/v0.5.6
Kaṇita Tīpikai D6R0KAS6WC
| URI | m2://inv/D6R0KAS6WC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaṇita Tīpikai, Kaṇita Tīpikai (definition). Also Wikidata Q127417080
History
- 2026-11-02: add by m2/dev
D6R2XXB0B9 D6R2XXB0B9
| URI | m2://inv/D6R2XXB0B9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35682#T8FJ (definition). In 7XM8WXVBWK/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Inflation-restriction exact sequence D6R3E1GQZR
| URI | m2://inv/D6R3E1GQZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inflation-restriction exact sequence, Inflation-restriction exact sequence (definition). Also Wikidata Q6030157
History
- 2026-11-02: add by m2/dev
Lemniscate of Bernoulli D6R7WSNEKP
| URI | m2://inv/D6R7WSNEKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#GSKM, Lemniscate of Bernoulli (definition)
History
- 2026-11-02: add by m2/dev
Example (P2) D6RC7GXR2E
| URI | m2://inv/D6RC7GXR2E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#O8Z8, Example (P2) (example)
History
- 2026-11-02: add by m2/dev
Cyclic origin of the flip D6RED68DRK
| URI | m2://inv/D6RED68DRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17482#72A3, Cyclic origin of the flip (statement). In BQQK9JDJ9F/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
syzygy D6REFASMN7
| URI | m2://inv/D6REFASMN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#4FFG, syzygy (definition)
History
- 2026-11-02: add by m2/dev
Example D6RK55ERHP
| URI | m2://inv/D6RK55ERHP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parity problem#5G9V, Example (example)
History
- 2026-11-02: add by m2/dev
Laplace–Carson transform D6RR9JW4ZQ
| URI | m2://inv/D6RR9JW4ZQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17043880, Laplace–Carson transform (concept). Also MathWorld Laplace-CarsonTransform
- wikipedia: Wikipedia Laplace–Carson transform, Laplace–Carson transform (definition). Also Wikidata Q17043880
History
- 2026-10-26: add by m2/dev
Interpretation function D6RSMPRRM5
| URI | m2://inv/D6RSMPRRM5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structure (mathematical logic)#NVCA, Interpretation function (unknown)
History
- 2026-11-02: add by m2/dev
tensor tubal rank D6RVS2YXSJ
| URI | m2://inv/D6RVS2YXSJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04063#GI61, tensor tubal rank (definition). In TFH7T63DX9/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Statement D6RVYC8GN0
| URI | m2://inv/D6RVYC8GN0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel graph theorem#GF8H, Statement (statement)
History
- 2026-11-02: add by m2/dev
Computation D6S1SNT1TS
| URI | m2://inv/D6S1SNT1TS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-squares adjustment#U0LR, Computation (definition)
History
- 2026-11-02: add by m2/dev
D6S7VZSNNX D6S7VZSNNX
| URI | m2://inv/D6S7VZSNNX |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.11439#UZOI (proof). In 9Z8RSQ36JC/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Hyperoperation D6SEH460ZD
| URI | m2://inv/D6SEH460ZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperoperation, Hyperoperation (definition). Also Wikidata Q1569997
History
- 2026-11-02: add by m2/dev
Level structure D6SFHX2858
| URI | m2://inv/D6SFHX2858 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Level structure (algebraic geometry), Level structure (definition). Also Wikidata Q55616791
History
- 2026-11-02: add by m2/dev
D6SHWKT73E D6SHWKT73E
| URI | m2://inv/D6SHWKT73E |
|---|---|
| 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 0810.0962#AFUE (definition). In 80YMRN5KS9/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Applications D6SHZ3RNP7
| URI | m2://inv/D6SHZ3RNP7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered Bell number#J3O3, Applications (example)
History
- 2026-11-02: add by m2/dev
D6STK3KYAG D6STK3KYAG
| URI | m2://inv/D6STK3KYAG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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 2610.15344#T38J (example). In B9EX6K51RD/e1, example
History
- 2026-10-28: add by m2/v0.4.2
D6SYYBRDVJ D6SYYBRDVJ
| URI | m2://inv/D6SYYBRDVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2004.12552#858Y (statement). In TWPE10CZ1S/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
D6T4AY4SGK D6T4AY4SGK
| URI | m2://inv/D6T4AY4SGK |
|---|---|
| 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 1308.2487#VT2J (statement). In 322XSWF4EA/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
Yudell Luke D6T6C8J2Y1
| URI | m2://inv/D6T6C8J2Y1 |
|---|---|
| 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 Q8060225, Yudell Luke (unknown). Also ProofWiki Mathematician:Yudell_Leo_Luke
- wikipedia: Wikipedia Yudell Luke, Yudell Luke (topic). Also Wikidata Q8060225
History
- 2026-10-26: add by m2/dev
Robert F. Boruch D6TK10G72A
| URI | m2://inv/D6TK10G72A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert F. Boruch, Robert F. Boruch (topic). Also Wikidata Q60677775
History
- 2026-11-02: add by m2/dev
D6TS3VHPDY D6TS3VHPDY
| URI | m2://inv/D6TS3VHPDY |
|---|---|
| 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.14135#C2Y8 (statement). In C304J64Q79/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
D6TYD09D84 D6TYD09D84
| URI | m2://inv/D6TYD09D84 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-33 (exercise). In E9HS8K3A52, exercise, section 8.4.1
History
- 2026-11-01: add by m2/v0.6.13
D6V1E74Q22 D6V1E74Q22
| URI | m2://inv/D6V1E74Q22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23544#WHW1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pósa-Seymour Conjecture D6V2QMEYAP
| URI | m2://inv/D6V2QMEYAP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blow-up lemma#INWZ, Pósa-Seymour Conjecture (statement)
History
- 2026-11-02: add by m2/dev
D6V4V6ZQYN D6V4V6ZQYN
| URI | m2://inv/D6V4V6ZQYN |
|---|---|
| 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 2605.29624#ADKT (statement). In TAD5A4R089/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
D6VDXC9Y05 D6VDXC9Y05
| URI | m2://inv/D6VDXC9Y05 |
|---|---|
| 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#0VA2 (statement). In RK0ZMDJ23T/e1, lemma 3.2.9
History
- 2026-10-31: add by m2/v0.5.6
Applications D6VEGY1RKV
| URI | m2://inv/D6VEGY1RKV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electroactive polymer#3QQD, Applications (example)
History
- 2026-11-02: add by m2/dev
D6W74WDK8Z D6W74WDK8Z
| URI | m2://inv/D6W74WDK8Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#2NES (statement). In 6NVP3YRWVA/e1, theorem 4.22
History
- 2026-10-29: add by m2/v0.4.10
D6W9F4V9MK D6W9F4V9MK
| URI | m2://inv/D6W9F4V9MK |
|---|---|
| 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.24463#LNRG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alternative definition D6WEJ04RMB
| URI | m2://inv/D6WEJ04RMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subbase#S694, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
D6WJECDFTF D6WJECDFTF
| URI | m2://inv/D6WJECDFTF |
|---|---|
| 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.31343#PLHB (statement). In F5JCVWMH4Q/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
D6WK8EXE37 D6WK8EXE37
| URI | m2://inv/D6WK8EXE37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34573#1F4T (statement). In KK7EJSSPJY/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
D6WV81YPFA D6WV81YPFA
| URI | m2://inv/D6WV81YPFA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.08237#RMBB (definition). In E22A2MFR4Y/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
D6WVPHF5AQ D6WVPHF5AQ
| URI | m2://inv/D6WVPHF5AQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29574#1ZHP (definition)
History
- 2026-11-01: add by m2/v0.6.15
D6X1ASST50 D6X1ASST50
| URI | m2://inv/D6X1ASST50 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holyhedron#FSWU (problem)
History
- 2026-11-02: add by m2/dev
Examples D6X1PYHWYX
| URI | m2://inv/D6X1PYHWYX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-graph C*-algebra#T3D4, Examples (example)
History
- 2026-11-02: add by m2/dev
Statement D6X3HJN8HQ
| URI | m2://inv/D6X3HJN8HQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein–Kushnirenko theorem#FPMD, Statement (statement)
History
- 2026-11-02: add by m2/dev
Deterministic-equivalent teacher error D6X6YMT9JB
| URI | m2://inv/D6X6YMT9JB |
|---|---|
| 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.09044#0CM9, Deterministic-equivalent teacher error (statement). In 4KYENHR0J8/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
List of mathematical identities D6X93FQD51
| URI | m2://inv/D6X93FQD51 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#VPNU, List of mathematical identities (topic)
- wikipedia: Wikipedia List of theorems#6S6A, List of mathematical identities (topic)
History
- 2026-11-02: add by m2/dev
D6XDQJH9SR D6XDQJH9SR
| URI | m2://inv/D6XDQJH9SR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-63 (exercise). In E9HS8K3A52, exercise, section 4.4.1
History
- 2026-11-01: add by m2/v0.6.13
Consolidated Standards of Reporting Trials D6XF1N0T5V
| URI | m2://inv/D6XF1N0T5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consolidated Standards of Reporting Trials, Consolidated Standards of Reporting Trials (definition). Also Wikidata Q2994654
History
- 2026-11-02: add by m2/dev
D6XH1M434B D6XH1M434B
| URI | m2://inv/D6XH1M434B |
|---|---|
| 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#9MLO (statement). In CY1FE8W1ZW/e1, corollary 0.66
History
- 2026-10-27: add by m2/v0.4.0
D6XJY27TAR D6XJY27TAR
| URI | m2://inv/D6XJY27TAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36113#48RN (statement). In FSGSVD0XYH/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Veinticinco de Diciembre D6XVYWF2JC
| URI | m2://inv/D6XVYWF2JC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#2VS3, Veinticinco de Diciembre (unknown)
History
- 2026-11-02: add by m2/dev
Conjecture about Fermat numbers D6XWDK5256
| URI | m2://inv/D6XWDK5256 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Selfridge#ECAK, Conjecture about Fermat numbers (statement)
History
- 2026-11-02: add by m2/dev
Eden's conjecture D6Y0FEDTD9
| URI | m2://inv/D6Y0FEDTD9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#CF32, Eden's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Sophie Germain's identity D6Y0WC8XBV
| URI | m2://inv/D6Y0WC8XBV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sophie Germain's identity, Sophie Germain's identity (statement). Also Wikidata Q3791817
History
- 2026-11-02: add by m2/dev
The Riemann sphere D6YDXC5EFS
| URI | m2://inv/D6YDXC5EFS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/complex-structure.tex#ex:riemann_sphere, The Riemann sphere (example). In RZP28ERRZV, example, section 83.4
History
- 2026-11-01: add by m2/v0.6.13
D6YGHXPKZM D6YGHXPKZM
| URI | m2://inv/D6YGHXPKZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01958#G9MO (statement). In NQFYT2M6YZ/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Porphyry D6YKEN0WMT
| URI | m2://inv/D6YKEN0WMT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#8HNJ, Porphyry (topic)
History
- 2026-11-02: add by m2/dev
D6YP51HF3A D6YP51HF3A
| URI | m2://inv/D6YP51HF3A |
|---|---|
| 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.15405#ZGZQ (statement). In 9QCYCXVF5W/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
D6YP9WQF4S D6YP9WQF4S
| URI | m2://inv/D6YP9WQF4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#2I99 (statement). In 6KR7Z5ETRY/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
D6YXZ6R97S D6YXZ6R97S
| URI | m2://inv/D6YXZ6R97S |
|---|---|
| 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.21477#XC07 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Quantum position verification D6YZD35T2Z
| URI | m2://inv/D6YZD35T2Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum cryptography#MZJG, Quantum position verification (unknown)
History
- 2026-11-02: add by m2/dev
Clock D6Z0F3AGFY
| URI | m2://inv/D6Z0F3AGFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clock (cryptography), Clock (definition). Also Wikidata Q2454950
History
- 2026-11-02: add by m2/dev
D6Z2E35QV8 D6Z2E35QV8
| URI | m2://inv/D6Z2E35QV8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-291 (exercise). In VNMV985MXX, exercise, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Attainment when $r_p(m)\ge2$ D6Z4HAK35W
| URI | m2://inv/D6Z4HAK35W |
|---|---|
| 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.01328#E8G7, Attainment when $r_p(m)\ge2$ (statement). In GNY2MTPWW6/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
density D6ZBYH633K
| URI | m2://inv/D6ZBYH633K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5259331, density (concept). Also MathWorld PolygonDensity
- wikipedia: Wikipedia Density (polytope), Density (object). Also Wikidata Q5259331
History
- 2026-10-26: add by m2/dev
Four Counties Corner, Oklahoma D6ZNEY3ZCN
| URI | m2://inv/D6ZNEY3ZCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#BNHV, Four Counties Corner, Oklahoma (unknown)
History
- 2026-11-02: add by m2/dev
D6ZNWRQKFV D6ZNWRQKFV
| URI | m2://inv/D6ZNWRQKFV |
|---|---|
| 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.09561#73NL (statement). In WDV5E2CVTR/e1, theorem 3.7
History
- 2026-10-29: add by m2/v0.4.10
D6ZPJEPZQX D6ZPJEPZQX
| URI | m2://inv/D6ZPJEPZQX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-22 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
Geometric monodromy D6ZYA0KDKM
| URI | m2://inv/D6ZYA0KDKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#04U8, Geometric monodromy (statement). In QPJ6FWG5HD/e1, theorem 2.81
History
- 2026-10-29: add by m2/v0.4.12