Inventory rows D0
The cards of the rows of the inventory whose ids start with D0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Cofactor sets D001B6ZPER
| URI | m2://inv/D001B6ZPER |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15262#5KI6, Cofactor sets (definition). In C44HVXWYRF/e1, definition 6.3
History
- 2026-10-28: add by m2/v0.4.2
Minlos–Sazonov theorem D0048E9ZJE
| URI | m2://inv/D0048E9ZJE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minlos–Sazonov theorem, Minlos–Sazonov theorem (statement). Also Wikidata Q131744383
History
- 2026-11-02: add by m2/dev
D004Y46AM2 D004Y46AM2
| URI | m2://inv/D004Y46AM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#T3FC (statement)
History
- 2026-11-01: add by m2/v0.6.15
D006CRER0W D006CRER0W
| URI | m2://inv/D006CRER0W |
|---|---|
| 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.29304#D54Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eva Viehmann D007ADMP1X
| URI | m2://inv/D007ADMP1X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eva Viehmann, Eva Viehmann (topic). Also Wikidata Q21259548
History
- 2026-11-02: add by m2/dev
Vietoris D00CERKHM5
| URI | m2://inv/D00CERKHM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#71AM, Vietoris (definition)
History
- 2026-11-02: add by m2/dev
Statement D00CGAYHRG
| URI | m2://inv/D00CGAYHRG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz's lemma#F357, Statement (statement)
History
- 2026-11-02: add by m2/dev
Cyclotomic fields D00HCQ07HW
| URI | m2://inv/D00HCQ07HW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17137#BTRB, Cyclotomic fields (example). In GKHSE92M91/e1, example 14
History
- 2026-10-28: add by m2/v0.4.2
Nontrivial scalar orientation D00NDYHV6F
| URI | m2://inv/D00NDYHV6F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20915#DTYQ, Nontrivial scalar orientation (example). In 5M1SXP75D9/e1, example 7.2
History
- 2026-10-27: add by m2/v0.4.2
Examples D00VMPDK4Q
| URI | m2://inv/D00VMPDK4Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant measure#JF8G, Examples (example)
History
- 2026-11-02: add by m2/dev
D010ARHTC3 D010ARHTC3
| URI | m2://inv/D010ARHTC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34813#FJYR (statement). In P3V3ZGCHV7/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
D0137SK12E D0137SK12E
| URI | m2://inv/D0137SK12E |
|---|---|
| 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.20192#7DZD (statement). In QBD4R4RPFE/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.2
D01DGXR14Z D01DGXR14Z
| URI | m2://inv/D01DGXR14Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19194#N0HU (definition). In P9D8W64P7X/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
D01K33RHEA D01K33RHEA
| URI | m2://inv/D01K33RHEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.10958#8TOI (statement). In 4W55AH5T6R/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Special cases D01Q0JYSY8
| URI | m2://inv/D01Q0JYSY8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stiefel manifold#CXUB, Special cases (statement)
History
- 2026-11-02: add by m2/dev
end D01R1G78G3
| URI | m2://inv/D01R1G78G3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#WEUT, end (definition)
History
- 2026-11-02: add by m2/dev
Proof-of-work algorithms D01VGA2577
| URI | m2://inv/D01VGA2577 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#CKMA, Proof-of-work algorithms (unknown)
History
- 2026-11-02: add by m2/dev
Mai--Speicher formula D0232PV4EE
| URI | m2://inv/D0232PV4EE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15180#5D49, Mai--Speicher formula (statement). In AMRWRJDNKJ/e1, corollary 11.3
History
- 2026-10-28: add by m2/v0.4.2
Gelfand–Raikov theorem D0233WC2BD
| URI | m2://inv/D0233WC2BD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Gelfand–Raikov theorem CFDZJ55N95 |
Mentions
- wikidata: Wikidata Q18207320, Gelfand–Raikov theorem (statement). Also nLab Gelfand-Raikov theorem
- wikipedia: Wikipedia Gelfand–Raikov theorem, Gelfand–Raikov theorem (statement). Also Wikidata Q18207320
History
- 2026-10-26: add by m2/dev
D02BJZ7NCR D02BJZ7NCR
| URI | m2://inv/D02BJZ7NCR |
|---|---|
| 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.23671#EUWW (statement)
History
- 2026-11-02: add by m2/v0.6.17
Brooks's theorem D02BV30N08
| URI | m2://inv/D02BV30N08 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MD0B, Brooks's theorem (statement)
History
- 2026-11-02: add by m2/dev
D02NT61F2X D02NT61F2X
| URI | m2://inv/D02NT61F2X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06621#AZSY (example). In DB223AABTH/e1, example 2.12
History
- 2026-10-27: add by m2/v0.3.5
Chu space automata D02WHN71MP
| URI | m2://inv/D02WHN71MP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chu space#0I3U, Chu space automata (unknown)
History
- 2026-11-02: add by m2/dev
Law of sines D02Y675JHJ
| URI | m2://inv/D02Y675JHJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#954O, Law of sines (statement)
History
- 2026-11-02: add by m2/dev
D030CSQHK8 D030CSQHK8
| URI | m2://inv/D030CSQHK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#TK2T (statement). In DPJ15KW23C/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Applications D031DP8HVQ
| URI | m2://inv/D031DP8HVQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic differentiation#F1VF, Applications (example)
History
- 2026-11-02: add by m2/dev
Full factor transfer D035MKTM1M
| URI | m2://inv/D035MKTM1M |
|---|---|
| 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.27641#SU5R, Full factor transfer (statement)
History
- 2026-11-01: add by m2/v0.6.15
D03CCQZ8RD D03CCQZ8RD
| URI | m2://inv/D03CCQZ8RD |
|---|---|
| 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.23994#PXZF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dickson's theorem for $\mathrm{PSL}(2,8)$ D03HG4VZ84
| URI | m2://inv/D03HG4VZ84 |
|---|---|
| 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#Z28P, Dickson's theorem for $\mathrm{PSL}(2,8)$ (statement). In 4W7ARR1DAR/e1, fact B.11
History
- 2026-10-28: add by m2/v0.4.2
D03MG0HAV7 D03MG0HAV7
| URI | m2://inv/D03MG0HAV7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Example and relation to the limiting amplitude principle D03PDCBW2E
| URI | m2://inv/D03PDCBW2E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limiting absorption principle#DN8W, Example and relation to the limiting amplitude principle (example)
History
- 2026-11-02: add by m2/dev
Formal Dirichlet series D03QEC0TSM
| URI | m2://inv/D03QEC0TSM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet series#M6YW, Formal Dirichlet series (unknown)
History
- 2026-11-02: add by m2/dev
Eriksson's polygon property lemma D03RF9YAXZ
| URI | m2://inv/D03RF9YAXZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newman's lemma#KFJD, Eriksson's polygon property lemma (statement)
History
- 2026-11-02: add by m2/dev
\(q\)-state Potts Broadcast Model D03WMJD86V
| URI | m2://inv/D03WMJD86V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33263#LKGJ, \(q\)-state Potts Broadcast Model (definition). In 6S5EH3388Z/e1, definition 1.3
History
- 2026-10-30: add by m2/v0.4.12
associativity, of list concatenation D03X5E72JP
| URI | m2://inv/D03X5E72JP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/associativity-of-list-concatenation, associativity, of list concatenation (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
D045DK9R02 D045DK9R02
| URI | m2://inv/D045DK9R02 |
|---|---|
| Kind | statement |
| 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 2609.24701#S8I1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bliss, Chester Ittner D045R8KVHV
| URI | m2://inv/D045R8KVHV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#J2WG, Bliss, Chester Ittner (topic)
History
- 2026-11-02: add by m2/dev
D049N9CZTN D049N9CZTN
| URI | m2://inv/D049N9CZTN |
|---|---|
| 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 2610.15169#7ZMB (statement). In V7SN19J84T/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
Step detection D04AD7RJ72
| URI | m2://inv/D04AD7RJ72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Step detection, Step detection (definition). Also Wikidata Q7608015
History
- 2026-11-02: add by m2/dev
type, 2-sphere D04AMGRE7E
| URI | m2://inv/D04AMGRE7E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.1/type-2-sphere, type, 2-sphere (concept). In N54F33XE07, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
D04D8RQXGW D04D8RQXGW
| URI | m2://inv/D04D8RQXGW |
|---|---|
| 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 2109.12716#XOH0 (statement). In 6X76XBE3HV/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
D04J10B5CQ D04J10B5CQ
| URI | m2://inv/D04J10B5CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25742#IJJJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
convex subsets D04KQF5102
| URI | m2://inv/D04KQF5102 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Convexity > convex subsets, convex subsets (unknown). Also Mathlib Convex
History
- 2026-10-26: add by m2/dev
D04NGC9208 D04NGC9208
| URI | m2://inv/D04NGC9208 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20406#DDYI (statement). In 1YW6C6XGT3/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.2
D04NXGTZ34 D04NXGTZ34
| URI | m2://inv/D04NXGTZ34 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.18390#SPF3 (example). In A1E8BB0QHC/e1, example 3.8
History
- 2026-10-27: add by m2/v0.3.5
Extension ratio D04Q219WGK
| URI | m2://inv/D04Q219WGK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strain (mechanics)#PJLW, Extension ratio (unknown)
History
- 2026-11-02: add by m2/dev
Jyeshtadeva D04R1CQRAX
| URI | m2://inv/D04R1CQRAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#5K7X, Jyeshtadeva (unknown)
History
- 2026-11-02: add by m2/dev
D04YDW25AD D04YDW25AD
| URI | m2://inv/D04YDW25AD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13585#YAEP (statement). In VM1H86JNN7/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Deficiency (group theory) D04ZXSW5BQ
| URI | m2://inv/D04ZXSW5BQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presentation of a group#7SNE, Deficiency (group theory) (unknown)
History
- 2026-11-02: add by m2/dev
D050D8G8FK D050D8G8FK
| URI | m2://inv/D050D8G8FK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#TFI8 (statement). In BDN507RN7J/e1, proposition 4.1.7
History
- 2026-10-30: add by m2/v0.4.12
Compound of three cubes D0596YBNJS
| URI | m2://inv/D0596YBNJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3S9S, Compound of three cubes (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#QTG2, Compound of three cubes (definition)
History
- 2026-11-02: add by m2/dev
D05C1CHMZC D05C1CHMZC
| URI | m2://inv/D05C1CHMZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#8VTJ (statement). In TC5QA4AB4Z/e1, proposition 4.48
History
- 2026-10-30: add by m2/v0.4.12
D05FC1X0GR D05FC1X0GR
| URI | m2://inv/D05FC1X0GR |
|---|---|
| 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 2610.05914#EG36 (statement). In V8MYP6MBAZ/e1, theorem 12
History
- 2026-10-29: add by m2/v0.4.10
D05FDM3ZNF D05FDM3ZNF
| URI | m2://inv/D05FDM3ZNF |
|---|---|
| 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.09900#Y6EG (statement). In ATSYBWEMMP/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.10
Punched tape D05G3XN6PB
| URI | m2://inv/D05G3XN6PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Punched tape, Punched tape (definition). Also Wikidata Q66241
History
- 2026-11-02: add by m2/dev
D05HA0R95K D05HA0R95K
| URI | m2://inv/D05HA0R95K |
|---|---|
| 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.07260#39TH (statement). In 33KABVV985/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.10
D05N25VFQ9 D05N25VFQ9
| URI | m2://inv/D05N25VFQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22909#9E3D (statement)
History
- 2026-11-02: add by m2/v0.6.17
D05R37KGJV D05R37KGJV
| URI | m2://inv/D05R37KGJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#ZGBW (statement)
History
- 2026-11-01: add by m2/v0.6.15
D05TJFYGF3 D05TJFYGF3
| URI | m2://inv/D05TJFYGF3 |
|---|---|
| Kind | definition |
| 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 2601.22681#GSYG (definition). In 68VEQQX68G/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.4.0
D05V5KNB70 D05V5KNB70
| URI | m2://inv/D05V5KNB70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21933#96KG (statement)
History
- 2026-11-02: add by m2/v0.6.17
D06B54ASXS D06B54ASXS
| URI | m2://inv/D06B54ASXS |
|---|---|
| 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.22964#JSC0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
D06QHWSPJP D06QHWSPJP
| URI | m2://inv/D06QHWSPJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21255#0G2M (statement). In FB4DAYJJ5F/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.2
D06RVD7527 D06RVD7527
| URI | m2://inv/D06RVD7527 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25060#HB0O (statement)
History
- 2026-11-01: add by m2/v0.6.15
General quadratic lower bound D070YNPBWN
| URI | m2://inv/D070YNPBWN |
|---|---|
| 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#USLN, General quadratic lower bound (statement). In 4KYENHR0J8/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
D075J3ZYGD D075J3ZYGD
| URI | m2://inv/D075J3ZYGD |
|---|---|
| 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.37450#Y7NC (definition). In FP05Z6EBV4/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Discrete partition-function representation D07CP3NTZR
| URI | m2://inv/D07CP3NTZR |
|---|---|
| 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.00396#8GWM, Discrete partition-function representation (statement). In V13TE1RWT9/e1, proposition 9.1
History
- 2026-10-30: add by m2/v0.4.12
defining equation D07M4N93FM
| URI | m2://inv/D07M4N93FM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.1/defining-equation, defining equation (concept). In N54F33XE07, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
D07MBKNE6P D07MBKNE6P
| URI | m2://inv/D07MBKNE6P |
|---|---|
| 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 2606.20229#KBPY (definition). In 1B85G2QJC2/e1, definition 8.3
History
- 2026-10-27: add by m2/v0.3.6
Mosaic plot construction D07N4T5YQA
| URI | m2://inv/D07N4T5YQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mosaic plot#B65Y, Mosaic plot construction (definition)
History
- 2026-11-02: add by m2/dev
Effective Cartier divisor D07QGBBAS2
| URI | m2://inv/D07QGBBAS2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor (algebraic geometry)#T0X6, Effective Cartier divisor (unknown)
History
- 2026-11-02: add by m2/dev
D07S75735H D07S75735H
| URI | m2://inv/D07S75735H |
|---|---|
| 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.28892#QK0I (statement)
History
- 2026-11-01: add by m2/v0.6.15
D07SZMHN4C D07SZMHN4C
| URI | m2://inv/D07SZMHN4C |
|---|---|
| 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.26600#4Y8G (statement)
History
- 2026-11-01: add by m2/v0.6.15
D07X41BWC8 D07X41BWC8
| URI | m2://inv/D07X41BWC8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37450#AHPD (statement). In FP05Z6EBV4/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
D081XWS8WA D081XWS8WA
| URI | m2://inv/D081XWS8WA |
|---|---|
| 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.10413#FZHG (statement). In 68MTQ59QTQ/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Salomon Bochner D08BDXRAEX
| URI | m2://inv/D08BDXRAEX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#89OG, Salomon Bochner (topic)
History
- 2026-11-02: add by m2/dev
Examples D08DB1Z8N0
| URI | m2://inv/D08DB1Z8N0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Highest-weight category#UPPE, Examples (example)
History
- 2026-11-02: add by m2/dev
D08GF99T67 D08GF99T67
| URI | m2://inv/D08GF99T67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.07240#S9TJ (statement). In D0F1GK5AHW/e1, proposition E.4
History
- 2026-10-29: add by m2/v0.4.10
D08HMRQRD3 D08HMRQRD3
| URI | m2://inv/D08HMRQRD3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30892#UWRM (example). In F7C1RM5VA4/e1, example 5.7
History
- 2026-10-31: add by m2/v0.5.6
Dense regular points D08TN2WV4K
| URI | m2://inv/D08TN2WV4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09295#8RI1, Dense regular points (statement). In 29X0B511NF/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Terminology D08V74MQSP
| URI | m2://inv/D08V74MQSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forcing (computability)#H0Q5, Terminology (definition)
History
- 2026-11-02: add by m2/dev
D08XSQP3V8 D08XSQP3V8
| URI | m2://inv/D08XSQP3V8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15454#UMRW (example). In RGQZVNXWM5/e1, example 4.9
History
- 2026-10-28: add by m2/v0.4.2
D090DB3DKN D090DB3DKN
| URI | m2://inv/D090DB3DKN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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 1001.0174#45HK (statement). In 4P97F3GPJC/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Carleson's theorem on the Poisson operator D093YNA3WF
| URI | m2://inv/D093YNA3WF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carleson measure#2QFP, Carleson's theorem on the Poisson operator (statement)
History
- 2026-11-02: add by m2/dev
D096Y704NV D096Y704NV
| URI | m2://inv/D096Y704NV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.03252#Y29D (definition). In 2E47BDDDR4/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
D0974XHYAK D0974XHYAK
| URI | m2://inv/D0974XHYAK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32524#FVQ6 (example). In XGCND7R0B0/e1, example 2.6
History
- 2026-10-31: add by m2/v0.5.6
D09EYZ92ZQ D09EYZ92ZQ
| URI | m2://inv/D09EYZ92ZQ |
|---|---|
| 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 2506.18195#HZX2 (statement). In 6B8FNCHF1Z/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.6
D09J2XED1P D09J2XED1P
| URI | m2://inv/D09J2XED1P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35183#NIJD (statement). In FYM5XFD9RR/e1, lemma 2.14
History
- 2026-10-30: add by m2/v0.4.12
D09X56DYP2 D09X56DYP2
| URI | m2://inv/D09X56DYP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.16931#7TJK (statement). In H7DMRWBBJN/e1, proposition 7.8
History
- 2026-10-28: add by m2/v0.4.2
D09Z3A8SQD D09Z3A8SQD
| URI | m2://inv/D09Z3A8SQD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 60.2
History
- 2026-11-01: add by m2/v0.6.13
D0A145HGDQ D0A145HGDQ
| URI | m2://inv/D0A145HGDQ |
|---|---|
| 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 2610.15169#FBHV (statement). In V7SN19J84T/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
D0A7RAWYYW D0A7RAWYYW
| URI | m2://inv/D0A7RAWYYW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#theorem-6 (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
D0AMDXS7M4 D0AMDXS7M4
| URI | m2://inv/D0AMDXS7M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#J5VN (statement). In Q39BEKW6D9/e1, corollary 3.15
History
- 2026-10-29: add by m2/v0.4.10
$L^2$-flow D0AN34JPR7
| URI | m2://inv/D0AN34JPR7 |
|---|---|
| Kind | definition |
| 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.15511#R1TE, $L^2$-flow (definition). In TZM08VJAQT/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Axiom of choice D0AR7TD1GP
| URI | m2://inv/D0AR7TD1GP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#HJUZ, Axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Invariant sigma-algebra D0B5X8ZA6K
| URI | m2://inv/D0B5X8ZA6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant sigma-algebra, Invariant sigma-algebra (definition). Also Wikidata Q124632519
History
- 2026-11-02: add by m2/dev
D0B9A8RAM7 D0B9A8RAM7
| URI | m2://inv/D0B9A8RAM7 |
|---|---|
| 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.22002#3LVA (statement). In JTND2BM263/e1, corollary 2.8
History
- 2026-10-27: add by m2/v0.4.2
D0BA80NE7F D0BA80NE7F
| URI | m2://inv/D0BA80NE7F |
|---|---|
| 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 2011.06637#WZH4 (statement). In KFCJ5CFP3G/e1, corollary 1.3
History
- 2026-10-27: add by m2/v0.3.5
Ferdinand Ernst Karl Herberstein D0BC4TB0FE
| URI | m2://inv/D0BC4TB0FE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ferdinand Ernst Karl Herberstein, Ferdinand Ernst Karl Herberstein (topic). Also Wikidata Q18945251
History
- 2026-11-02: add by m2/dev
D0BFYTTCH6 D0BFYTTCH6
| URI | m2://inv/D0BFYTTCH6 |
|---|---|
| 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.33124#IANC (statement). In P27HYGQDAN/e1, proposition 30
History
- 2026-10-30: add by m2/v0.4.12
Theorem 8 (Moore) D0BHNXW3ZW
| URI | m2://inv/D0BHNXW3ZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anatoly Karatsuba#GHW8, Theorem 8 (Moore) (statement)
History
- 2026-11-02: add by m2/dev
Andrey V. Kuznetsov D0BNNAS2M8
| URI | m2://inv/D0BNNAS2M8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrey V. Kuznetsov, Andrey V. Kuznetsov (topic). Also Wikidata Q139763799
History
- 2026-11-02: add by m2/dev
Formal definition D0BP9WPSSK
| URI | m2://inv/D0BP9WPSSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetical set#EQ3V, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
D0BPA4DK2H D0BPA4DK2H
| URI | m2://inv/D0BPA4DK2H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#3UE9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Telescope conjecture D0BR4BH3GY
| URI | m2://inv/D0BR4BH3GY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#V2TT, Telescope conjecture (statement)
History
- 2026-11-02: add by m2/dev
D0BSFBH3VH D0BSFBH3VH
| URI | m2://inv/D0BSFBH3VH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26033#VGYG (statement)
History
- 2026-11-01: add by m2/v0.6.15
D0BSSK86ZW D0BSSK86ZW
| URI | m2://inv/D0BSSK86ZW |
|---|---|
| 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.25367#GQGP (statement)
History
- 2026-11-01: add by m2/v0.6.15
D0C098V09B D0C098V09B
| URI | m2://inv/D0C098V09B |
|---|---|
| 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.21305#UOT8 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Lan-Hsuan Huang D0C1PA1YGN
| URI | m2://inv/D0C1PA1YGN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lan-Hsuan Huang, Lan-Hsuan Huang (topic). Also Wikidata Q102360621
History
- 2026-11-02: add by m2/dev
D0C6MA697J D0C6MA697J
| URI | m2://inv/D0C6MA697J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.14847#VDBP (definition). In 2RC8WXQ9ET/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Applicative order reduction D0C8HE8GS2
| URI | m2://inv/D0C8HE8GS2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduction strategy#VJOQ, Applicative order reduction (unknown)
History
- 2026-11-02: add by m2/dev
Peter Dodds D0CMEJB648
| URI | m2://inv/D0CMEJB648 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Dodds (mathematician), Peter Dodds (topic). Also Wikidata Q42772652
History
- 2026-11-02: add by m2/dev
D0CNBH99CZ D0CNBH99CZ
| URI | m2://inv/D0CNBH99CZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1003.5948#PF86 (definition). In 63MZDG4R4Q/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
13 D0CP3HDEA5
| URI | m2://inv/D0CP3HDEA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q37141, 13 (statement). Also MathWorld 13, ProofWiki 13
- wikipedia: Wikipedia 13 (number), 13 (definition). Also Wikidata Q37141
History
- 2026-10-26: add by m2/dev
D0CRMQV10Y D0CRMQV10Y
| URI | m2://inv/D0CRMQV10Y |
|---|---|
| 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.08288#RIUO (statement). In CHVWYJM7RM/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.10
Example D0CSQSPVE9
| URI | m2://inv/D0CSQSPVE9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lamport signature#J7ZJ, Example (example)
History
- 2026-11-02: add by m2/dev
Yuri Luchko D0CWERMXND
| URI | m2://inv/D0CWERMXND |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0CH9, Yuri Luchko (topic)
- wikipedia: Wikipedia List of German mathematicians#1KOF, Yuri Luchko (topic)
History
- 2026-11-02: add by m2/dev
D0D4JGBWE5 D0D4JGBWE5
| URI | m2://inv/D0D4JGBWE5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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.05179#8WIK (definition). In 9EMCPF1F2T/e1, definition 19
History
- 2026-10-29: add by m2/v0.4.10
D0D7GN2BMQ D0D7GN2BMQ
| URI | m2://inv/D0D7GN2BMQ |
|---|---|
| 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 2508.17181#SQGV (statement). In 2QR18WK8KH/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.6
D0D91VB2BR D0D91VB2BR
| URI | m2://inv/D0D91VB2BR |
|---|---|
| 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.32832#BXC4 (statement). In VS7P86QHFR/e1, proposition 1
History
- 2026-10-31: add by m2/v0.5.6
D0D9FY4JVP D0D9FY4JVP
| URI | m2://inv/D0D9FY4JVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02983#56MO (statement). In HMNKENER22/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Von Neumann's theorem D0D9TNE794
| URI | m2://inv/D0D9TNE794 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 47-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7941491, Von Neumann's theorem (statement). Also Wikidata Q7941491
- thousand_plus: thousand_plus Q7941491, Von Neumann's theorem (statement). Also Wikidata Q7941491, Wikipedia Von Neumann's theorem
- wikipedia: Wikipedia Von Neumann's theorem, Von Neumann's theorem (statement). Also Wikidata Q7941491
History
- 2026-10-26: add by m2/dev
Shayle R. Searle D0DDDPW7BS
| URI | m2://inv/D0DDDPW7BS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shayle R. Searle, Shayle R. Searle (topic). Also Wikidata Q7491681
History
- 2026-11-02: add by m2/dev
D0DK73D7CF D0DK73D7CF
| URI | m2://inv/D0DK73D7CF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-4.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Definitions D0DKC6ET05
| URI | m2://inv/D0DKC6ET05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has the flag citation-needed (WP9.2)) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal subgroup#5F5K, Definitions (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Arthur's conjectures D0DQ4ER9BF
| URI | m2://inv/D0DQ4ER9BF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#000H, Arthur's conjectures (statement)
History
- 2026-11-02: add by m2/dev
D0DZRA1G3T D0DZRA1G3T
| URI | m2://inv/D0DZRA1G3T |
|---|---|
| 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 2609.36884#4XV8 (statement). In Z7E16PFFCP/e1, theorem E
History
- 2026-10-30: add by m2/v0.4.12
Kuznetsov's theorem D0E5KWZS7W
| URI | m2://inv/D0E5KWZS7W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word problem for groups#NTL0, Kuznetsov's theorem (unknown)
History
- 2026-11-02: add by m2/dev
Truncated order-4 octagonal tiling D0ECX650AZ
| URI | m2://inv/D0ECX650AZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-4 octagonal tiling, Truncated order-4 octagonal tiling (object). Also Wikidata Q7847896
History
- 2026-11-02: add by m2/dev
Sampled linear constraints D0EJVBG9VN
| URI | m2://inv/D0EJVBG9VN |
|---|---|
| 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 2610.04357#MS2J, Sampled linear constraints (definition). In 6FY8BVP1F3/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Logical Analysis and History of Philosophy D0EKYS6VHQ
| URI | m2://inv/D0EKYS6VHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#9BEF, Logical Analysis and History of Philosophy (definition)
History
- 2026-11-02: add by m2/dev
D0ENTTM497 D0ENTTM497
| URI | m2://inv/D0ENTTM497 |
|---|---|
| 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.07164#TRE1 (statement). In Q1XJ5VWE1N/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Basic mutation properties D0ES44XR90
| URI | m2://inv/D0ES44XR90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17441#P4ZN, Basic mutation properties (statement). In 9Q8S0NWHP2/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
D0EVM7BNGK D0EVM7BNGK
| URI | m2://inv/D0EVM7BNGK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-coloring.ptx#example-1 (example). In Y91XFCEVHQ, example, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
D0EXTB8K6Y D0EXTB8K6Y
| URI | m2://inv/D0EXTB8K6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#PX66 (statement). In XXN6KKXPYF/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Endomorphism ring of an elliptic curve D0F4FGTSAM
| URI | m2://inv/D0F4FGTSAM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex multiplication#KCDR, Endomorphism ring of an elliptic curve (unknown)
History
- 2026-11-02: add by m2/dev
Uniform honeycombs in hyperbolic space D0F9NFSRC2
| URI | m2://inv/D0F9NFSRC2 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform honeycombs in hyperbolic space, Uniform honeycombs in hyperbolic space (object). Also Wikidata Q5166523
History
- 2026-11-02: add by m2/dev
Properties D0FA542YYH
| URI | m2://inv/D0FA542YYH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated pentagonal cupola#U7HH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Uniform ENNAMCQ margin D0FDDE3NWZ
| URI | m2://inv/D0FDDE3NWZ |
|---|---|
| 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.39736#JVSA, Uniform ENNAMCQ margin (statement). In BB1XJ47PVW/e1, lemma 21
History
- 2026-10-30: add by m2/v0.4.12
D0FDXSR8BR D0FDXSR8BR
| URI | m2://inv/D0FDXSR8BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03384#D7K3 (statement). In J55JTTKG84/e1, corollary 6.14
History
- 2026-10-29: add by m2/v0.4.12
D0FJS3M970 D0FJS3M970
| URI | m2://inv/D0FJS3M970 |
|---|---|
| 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.22218#VQB9 (statement). In 338GKREFVP/e1, proposition 3
History
- 2026-10-27: add by m2/v0.4.0
Poisson summation formula D0FMTMCM3S
| URI | m2://inv/D0FMTMCM3S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Poisson summation formula GARGJYSGFG |
Mentions
- wikidata: Wikidata Q387743, Poisson summation formula (statement). Also MathWorld PoissonSumFormula, nLab Poisson summation formula
- wikipedia: Wikipedia Poisson summation formula, Poisson summation formula (statement). Also Wikidata Q387743
History
- 2026-10-26: add by m2/dev
D0FMTSP1ZS D0FMTSP1ZS
| URI | m2://inv/D0FMTSP1ZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.40200#1IMU (statement). In VWNB6QJWFN/e1, lemma 5.8
History
- 2026-10-30: add by m2/v0.4.12
Kang and Park D0FQMNWN5V
| URI | m2://inv/D0FQMNWN5V |
|---|---|
| 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.09565#98WJ, Kang and Park (statement). In 7A5YZACF1E/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
Panel analysis D0G56MHVMS
| URI | m2://inv/D0G56MHVMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YKN7, Panel analysis (definition)
History
- 2026-11-02: add by m2/dev
D0G5TSE9QY D0G5TSE9QY
| URI | m2://inv/D0G5TSE9QY |
|---|---|
| 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 2504.13328#U5Y2 (definition). In 736Q32FYCG/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Scattering for localized data D0G6WGRCC1
| URI | m2://inv/D0G6WGRCC1 |
|---|---|
| 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.13753#TDVI, Scattering for localized data (statement). In AHM0PBKZZN/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
global exact family D0G9Q5J3MQ
| URI | m2://inv/D0G9Q5J3MQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26286#KU4E, global exact family (statement)
History
- 2026-11-01: add by m2/v0.6.15
D0G9RRNP1G D0G9RRNP1G
| URI | m2://inv/D0G9RRNP1G |
|---|---|
| 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.11210#B6KE (statement). In CRFDGFZHBF/e1, proposition 9.6
History
- 2026-10-28: add by m2/v0.4.3
edge set D0GA8NC8KF
| URI | m2://inv/D0GA8NC8KF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#A75U, edge set (definition)
History
- 2026-11-02: add by m2/dev
D0GCB38GGZ D0GCB38GGZ
| URI | m2://inv/D0GCB38GGZ |
|---|---|
| Kind | problem |
| 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.26745#L35V (problem)
History
- 2026-11-01: add by m2/v0.6.15
Fractals in nature D0GJR0NH5W
| URI | m2://inv/D0GJR0NH5W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patterns in nature#TCPU, Fractals in nature (unknown)
History
- 2026-11-02: add by m2/dev
Mediterranean Mathematics Competition D0GPH3B249
| URI | m2://inv/D0GPH3B249 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mediterranean Mathematics Competition, Mediterranean Mathematics Competition (definition). Also Wikidata Q16938357
History
- 2026-11-02: add by m2/dev
D0GR4ZG7T9 D0GR4ZG7T9
| URI | m2://inv/D0GR4ZG7T9 |
|---|---|
| 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.26592#1J2C (statement)
History
- 2026-11-01: add by m2/v0.6.15
D0HNPAHNGY D0HNPAHNGY
| URI | m2://inv/D0HNPAHNGY |
|---|---|
| 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.40274#C8SU (statement). In 7ZDNJC9MST/e1, proposition 7.4
History
- 2026-10-30: add by m2/v0.4.12
Definition (Locally compact quantum group) D0HTKYBHKP
| URI | m2://inv/D0HTKYBHKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally compact quantum group#KLTA, Definition (Locally compact quantum group) (definition)
History
- 2026-11-02: add by m2/dev
Convergence of the rearrangement iteration D0HX2F8VAM
| URI | m2://inv/D0HX2F8VAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05313#4RTJ, Convergence of the rearrangement iteration (statement). In 8XPN1A2GR0/e1, lemma 5.13
History
- 2026-10-29: add by m2/v0.4.10
Lentoid D0HXK2JZB3
| URI | m2://inv/D0HXK2JZB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lentoid, Lentoid (definition). Also Wikidata Q6523375
History
- 2026-11-02: add by m2/dev
Jordan Ellenberg D0HZM1XSZ7
| URI | m2://inv/D0HZM1XSZ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#G1IE, Jordan Ellenberg (topic)
History
- 2026-11-02: add by m2/dev
D0J2BCXGWS D0J2BCXGWS
| URI | m2://inv/D0J2BCXGWS |
|---|---|
| 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 2608.23797#8MSN (statement). In PZCA01JXVR/e1, proposition 5.9
History
- 2026-10-27: add by m2/v0.3.5
Properties D0J5W0AD2Y
| URI | m2://inv/D0J5W0AD2Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cumulative distribution function#5XX2, Properties (statement)
History
- 2026-11-02: add by m2/dev
CAT(0) group D0J7VT97HD
| URI | m2://inv/D0J7VT97HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CAT(0) group, CAT(0) group (definition). Also Wikidata Q5008888
History
- 2026-11-02: add by m2/dev
Hard D0J86RSKP2
| URI | m2://inv/D0J86RSKP2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-262, Hard (exercise). In VNMV985MXX, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
D0JD4R0CDE D0JD4R0CDE
| URI | m2://inv/D0JD4R0CDE |
|---|---|
| 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.03661#QM1R (statement). In ESDKTYDHC8/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
D0JENNK29R D0JENNK29R
| URI | m2://inv/D0JENNK29R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#AVOO (statement). In BDN507RN7J/e1, corollary 3.5.31
History
- 2026-10-30: add by m2/v0.4.12
verum D0JR4CKW1G
| URI | m2://inv/D0JR4CKW1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#6BHQ, verum (definition)
History
- 2026-11-02: add by m2/dev
D0JRZDXA3J D0JRZDXA3J
| URI | m2://inv/D0JRZDXA3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06621#0LIR (statement). In DB223AABTH/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Gluing along a tree D0K39P84GZ
| URI | m2://inv/D0K39P84GZ |
|---|---|
| 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.01240#OZ66, Gluing along a tree (statement). In XD5HCP8DHF/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
D0K6YT4T9E D0K6YT4T9E
| URI | m2://inv/D0K6YT4T9E |
|---|---|
| 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.07855#RCGR (statement). In 1VT8CVVCM7/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
D0KB9M94R7 D0KB9M94R7
| URI | m2://inv/D0KB9M94R7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.08638#Q38W (statement). In 113VZ5XX7J/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.10
Physiognomy D0KEXKCGMJ
| URI | m2://inv/D0KEXKCGMJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#ANYY, Physiognomy (unknown)
History
- 2026-11-02: add by m2/dev
D0KFHKNMV4 D0KFHKNMV4
| URI | m2://inv/D0KFHKNMV4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#N0QO (definition). In G02N9D40B9/e1, definition 5.1.3
History
- 2026-10-29: add by m2/v0.4.10
D0KHD54D0T D0KHD54D0T
| URI | m2://inv/D0KHD54D0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#JPVN (statement). In E4EK1XXPY4/e1, lemma 2.6
History
- 2026-10-31: add by m2/v0.5.6
D0KHDT40VV D0KHDT40VV
| URI | m2://inv/D0KHDT40VV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23522#4K2K (definition)
History
- 2026-11-02: add by m2/v0.6.17
nerve of a covering D0KQ4EFQSA
| URI | m2://inv/D0KQ4EFQSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Nerve of a cover 4P3S0DRZXB |
Mentions
- wikidata: Wikidata Q1424012, nerve of a covering (unknown). Also MathWorld Nerve, nLab Čech nerve
- wikipedia: Wikipedia Nerve complex, Nerve complex (definition). Also Wikidata Q1424012
History
- 2026-10-26: add by m2/dev
D0KQYQ7Q71 D0KQYQ7Q71
| URI | m2://inv/D0KQYQ7Q71 |
|---|---|
| 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.26500#HFU7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Luenberger synchronization map D0KRDY7EJE
| URI | m2://inv/D0KRDY7EJE |
|---|---|
| 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.08987#WYCW, Luenberger synchronization map (statement). In 2NRRESN3HR/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
List of limits D0KRNYQV5A
| URI | m2://inv/D0KRNYQV5A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NDDA, List of limits (topic)
History
- 2026-11-02: add by m2/dev
Full-content reflection D0KT4WPWPB
| URI | m2://inv/D0KT4WPWPB |
|---|---|
| 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.27641#869D, Full-content reflection (statement)
History
- 2026-11-01: add by m2/v0.6.15
Over the Air Rekeying D0KZN09YCD
| URI | m2://inv/D0KZN09YCD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#UAEQ, Over the Air Rekeying (unknown)
History
- 2026-11-02: add by m2/dev
Contact (mathematics) D0M09CJJXD
| URI | m2://inv/D0M09CJJXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#D34M, Contact (mathematics) (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#INBF, Contact (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
List of geometry topics D0M1S8YHAZ
| URI | m2://inv/D0M1S8YHAZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#MEAO, List of geometry topics (topic)
History
- 2026-11-02: add by m2/dev
D0MB52CYBT D0MB52CYBT
| URI | m2://inv/D0MB52CYBT |
|---|---|
| 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 2204.01073#34EY (statement). In W4TYN4PGE8/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
Ahto Buldas D0MH3PJDC6
| URI | m2://inv/D0MH3PJDC6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ahto Buldas, Ahto Buldas (topic). Also Wikidata Q4696389
History
- 2026-11-02: add by m2/dev
Borel-Cantelli lemma (easy direction) D0MK3EZ2T0
| URI | m2://inv/D0MK3EZ2T0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Probability Theory > Definitions of a probability space > Borel-Cantelli lemma (easy direction), Borel-Cantelli lemma (easy direction) (unknown). Also Mathlib MeasureTheory.measure_limsup_atTop_eq_zero
History
- 2026-10-26: add by m2/dev
Mathematical modelling competition D0MKTWBNDM
| URI | m2://inv/D0MKTWBNDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical modelling competition, Mathematical modelling competition (definition). Also Wikidata Q60791791
History
- 2026-11-02: add by m2/dev
Johan Antony Barrau D0MM0ZGE7D
| URI | m2://inv/D0MM0ZGE7D |
|---|---|
| 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#21IF, Johan Antony Barrau (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3HS9, Johan Antony Barrau (topic)
History
- 2026-11-02: add by m2/dev
The Self-Dual Extension D0N0N14MGJ
| URI | m2://inv/D0N0N14MGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#L526, The Self-Dual Extension (statement). In Z6WA2R0J50/e1, corollary 2.28
History
- 2026-10-28: add by m2/v0.4.2
D0N3J2SNPW D0N3J2SNPW
| URI | m2://inv/D0N3J2SNPW |
|---|---|
| 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#HXH1 (statement). In 9ZD87293QS/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.0
D0N3MQZBHB D0N3MQZBHB
| URI | m2://inv/D0N3MQZBHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#84QO (statement). In X47RYAZF8P/e1, corollary 6.19
History
- 2026-10-28: add by m2/v0.4.2
D0N7SDZX96 D0N7SDZX96
| URI | m2://inv/D0N7SDZX96 |
|---|---|
| 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.11535#A8A7 (statement). In 7TY4S2YSVN/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.3
Examples D0NG1PYKG2
| URI | m2://inv/D0NG1PYKG2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expectation–maximization algorithm#EWMJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Deming regression D0NQZ1PV5J
| URI | m2://inv/D0NQZ1PV5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BW1Z, Deming regression (definition)
History
- 2026-11-02: add by m2/dev
D0P5Q3P32E D0P5Q3P32E
| URI | m2://inv/D0P5Q3P32E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#VE2H (statement)
History
- 2026-11-02: add by m2/v0.6.17
Monotone convergence of the feedback cost operators D0PAD6D1R3
| URI | m2://inv/D0PAD6D1R3 |
|---|---|
| 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.03242#RNA6, Monotone convergence of the feedback cost operators (statement). In MJE6HRC6PX/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
D0PATNC9G3 D0PATNC9G3
| URI | m2://inv/D0PATNC9G3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#eg-1 (example). In N54F33XE07, eg, section 9.6
History
- 2026-11-01: add by m2/v0.6.13
Definition D0PBZ25FKD
| URI | m2://inv/D0PBZ25FKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lanczos resampling#5H5G, Definition (definition)
History
- 2026-11-02: add by m2/dev
D0PJR8VJ4X D0PJR8VJ4X
| URI | m2://inv/D0PJR8VJ4X |
|---|---|
| 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.04673#2RIO (statement). In KKC0CT44FJ/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
D0PKFKDDN3 D0PKFKDDN3
| URI | m2://inv/D0PKFKDDN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#BB1Q (statement). In CFJH0Q39FZ/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
Understanding the axioms D0PKJZCZ0B
| URI | m2://inv/D0PKJZCZ0B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operad#X6R9, Understanding the axioms (statement)
History
- 2026-11-02: add by m2/dev
Annette Huber-Klawitter D0PMQ2MZ52
| URI | m2://inv/D0PMQ2MZ52 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annette Huber-Klawitter, Annette Huber-Klawitter (topic). Also Wikidata Q109297
History
- 2026-11-02: add by m2/dev
D0Q2JD0HQ3 D0Q2JD0HQ3
| URI | m2://inv/D0Q2JD0HQ3 |
|---|---|
| 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.21976#GGFP (statement)
History
- 2026-11-02: add by m2/v0.6.17
Euler diagram D0QFSVSTFF
| URI | m2://inv/D0QFSVSTFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#LDD6, Euler diagram (definition)
History
- 2026-11-02: add by m2/dev
False positives for uniform targets D0QNDVMFQ6
| URI | m2://inv/D0QNDVMFQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37483#I793, False positives for uniform targets (statement). In DBAPT7KA04/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
D0QNJRW3YC D0QNJRW3YC
| URI | m2://inv/D0QNJRW3YC |
|---|---|
| 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 1612.08394#I4T7 (statement). In 1P8D88DKG5/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.3.5
D0QR434YSV D0QR434YSV
| URI | m2://inv/D0QR434YSV |
|---|---|
| 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 2310.14879#N08M (statement). In 3VZ55B2N0D/e1, lemma 5.12
History
- 2026-10-27: add by m2/v0.4.0
D0R0VZN05A D0R0VZN05A
| URI | m2://inv/D0R0VZN05A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#definition-2 (definition). In RZP28ERRZV, definition, section 79.2
History
- 2026-11-01: add by m2/v0.6.13
Riemann mapping theorem D0R2EJBHRD
| URI | m2://inv/D0R2EJBHRD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-32, Riemann mapping theorem (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
Infratest dimap D0R51ZRBDS
| URI | m2://inv/D0R51ZRBDS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#SWVJ, Infratest dimap (unknown)
History
- 2026-11-02: add by m2/dev
Modifiable areal unit problem D0RAJB9WAS
| URI | m2://inv/D0RAJB9WAS |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modifiable areal unit problem, Modifiable areal unit problem (problem). Also Wikidata Q1881188
History
- 2026-11-02: add by m2/dev
lens D0RCY8HK46
| URI | m2://inv/D0RCY8HK46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6523215, lens (unknown). Also MathWorld Lens
- wikipedia: Wikipedia Lens (geometry), Lens (definition). Also Wikidata Q6523215
History
- 2026-10-26: add by m2/dev
D0RTMGM477 D0RTMGM477
| URI | m2://inv/D0RTMGM477 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.01874#3LXB (definition). In A4TR95VGX2/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
D0RTZ0KNZ1 D0RTZ0KNZ1
| URI | m2://inv/D0RTZ0KNZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14837#20T2 (statement). In J4P6HXMJCH/e1, proposition 8.4
History
- 2026-10-28: add by m2/v0.4.2
Extremal principle of entropy to fix the free parameter σ D0S0FDX5YB
| URI | m2://inv/D0S0FDX5YB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-normal distribution#YP5H, Extremal principle of entropy to fix the free parameter σ (statement)
History
- 2026-11-02: add by m2/dev
Degree-deficiency bound D0SJFJJXBS
| URI | m2://inv/D0SJFJJXBS |
|---|---|
| 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.15024#0W93, Degree-deficiency bound (statement). In GTZZ9BMWE9/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Deterministic time hierarchy theorem D0SM1RKPPV
| URI | m2://inv/D0SM1RKPPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time hierarchy theorem#I7BN, Deterministic time hierarchy theorem (statement)
History
- 2026-11-02: add by m2/dev
D0SZCGA6WS D0SZCGA6WS
| URI | m2://inv/D0SZCGA6WS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00076#RDON (statement). In 2VQ90WEZKB/e1, proposition 7.2
History
- 2026-10-30: add by m2/v0.4.12
Constantin Rădulescu-Motru D0T3KMWQ2Z
| URI | m2://inv/D0T3KMWQ2Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constantin Rădulescu-Motru, Constantin Rădulescu-Motru (topic). Also Wikidata Q550792
History
- 2026-11-02: add by m2/dev
Leptokurtic D0TBDPHQKN
| URI | m2://inv/D0TBDPHQKN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurtosis#44JZ, Leptokurtic (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition D0TMQ55JYG
| URI | m2://inv/D0TMQ55JYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tautological bundle#OTVP, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem D0TRG837Y6
| URI | m2://inv/D0TRG837Y6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#HK7M, Theorem (statement)
History
- 2026-11-02: add by m2/dev
correspondence theory of truth D0TZ0ZPVBN
| URI | m2://inv/D0TZ0ZPVBN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q379168, correspondence theory of truth (unknown). Also nLab correspondence theory of truth
History
- 2026-10-26: add by m2/dev
Applications D0V3GB3DN2
| URI | m2://inv/D0V3GB3DN2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffusion-weighted magnetic resonance imaging#Q5K4, Applications (example)
History
- 2026-11-02: add by m2/dev
Orbit-basis inner product D0V70QCGPW
| URI | m2://inv/D0V70QCGPW |
|---|---|
| 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 2610.10745#Y9ZA, Orbit-basis inner product (definition). In 5MJ4NJ5ZCV/e1, definition 2.11
History
- 2026-10-28: add by m2/v0.4.3
Examples D0V9QDMN44
| URI | m2://inv/D0V9QDMN44 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosheaf#6JUT, Examples (example)
History
- 2026-11-02: add by m2/dev
D0VE81Q7XZ D0VE81Q7XZ
| URI | m2://inv/D0VE81Q7XZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28189#T7KQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hypercomplete-model dictionary D0VF59DRNG
| URI | m2://inv/D0VF59DRNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#LNXX, Hypercomplete-model dictionary (statement)
History
- 2026-11-01: add by m2/v0.6.15
Center for Mathematics and Theoretical Physics D0VJNFEV60
| URI | m2://inv/D0VJNFEV60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center for Mathematics and Theoretical Physics, Center for Mathematics and Theoretical Physics (definition). Also Wikidata Q5059755
History
- 2026-11-02: add by m2/dev
empty D0W3B5E61B
| URI | m2://inv/D0W3B5E61B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#PVGM, empty (definition)
History
- 2026-11-02: add by m2/dev
Discrete compactness D0W60CWYE8
| URI | m2://inv/D0W60CWYE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38031#EK2K, Discrete compactness (statement). In RYSPG5TWYM/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Odd-width exact formulas D0W68V2PVB
| URI | m2://inv/D0W68V2PVB |
|---|---|
| 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.05442#G389, Odd-width exact formulas (statement). In WEPE51JCHZ/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
D0W93CDS9D D0W93CDS9D
| URI | m2://inv/D0W93CDS9D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#UO0B (definition)
History
- 2026-11-01: add by m2/v0.6.15
Wavefunction collapse D0WB21C7ZZ
| URI | m2://inv/D0WB21C7ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#1K4G, Wavefunction collapse (definition)
History
- 2026-11-02: add by m2/dev
D0WN2SS47P D0WN2SS47P
| URI | m2://inv/D0WN2SS47P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#ex:categorical-connectedness (exercise). In N54F33XE07, ex, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Exact characterization of R\'enyi divergence between neighboring posteriors D0WR77YN1C
| URI | m2://inv/D0WR77YN1C |
|---|---|
| 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.19573#JV6C, Exact characterization of R\'enyi divergence between neighboring posteriors (statement). In NM6Z2R61CN/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Bounded set D0WRGGQSGV
| URI | m2://inv/D0WRGGQSGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded set (topological vector space), Bounded set (definition). Also Wikidata Q17003677
History
- 2026-11-02: add by m2/dev
Notation D0WWD1MCX6
| URI | m2://inv/D0WWD1MCX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary entropy function#VXBU, Notation (definition)
History
- 2026-11-02: add by m2/dev
D0X3K10GBT D0X3K10GBT
| URI | m2://inv/D0X3K10GBT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#exercise-4 (exercise). In RZP28ERRZV, exercise, section 59.3.2
History
- 2026-11-01: add by m2/v0.6.13
D0XFMRVWNX D0XFMRVWNX
| URI | m2://inv/D0XFMRVWNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#M2UO (statement). In E7W2HDNEKJ/e1, lemma H.9
History
- 2026-10-30: add by m2/v0.4.12
D0XGBGVNSP D0XGBGVNSP
| URI | m2://inv/D0XGBGVNSP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20306#KVXL (definition). In YG5EX49042/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
abnormal subgroup D0XZ3XAEK0
| URI | m2://inv/D0XZ3XAEK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4668179, abnormal subgroup (unknown). Also EoM Abnormal_subgroup
- wikipedia: Wikipedia Abnormal subgroup, Abnormal subgroup (definition). Also Wikidata Q4668179
History
- 2026-10-26: add by m2/dev
Blackwell-Girshick equation D0Y4JFX549
| URI | m2://inv/D0Y4JFX549 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blackwell-Girshick equation, Blackwell-Girshick equation (definition). Also Wikidata Q18616757
History
- 2026-11-02: add by m2/dev
$\V p$-conditional Riesz pair D0YHNAKEDM
| URI | m2://inv/D0YHNAKEDM |
|---|---|
| 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.14920#17D2, $\V p$-conditional Riesz pair (definition). In 1F8ENX770M/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Eduard Bagritsky D0YSBV2DAT
| URI | m2://inv/D0YSBV2DAT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#ES7R, Eduard Bagritsky (unknown)
History
- 2026-11-02: add by m2/dev
D0YTBZF7MC D0YTBZF7MC
| URI | m2://inv/D0YTBZF7MC |
|---|---|
| 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.30961#DSIT (statement). In FFG2DDWEVB/e1, lemma 3.22
History
- 2026-10-31: add by m2/v0.5.6
Folded quotient-minor identity D0YX62R334
| URI | m2://inv/D0YX62R334 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#OKFW, Folded quotient-minor identity (statement). In 7MVPNFPRKB/e1, lemma 9.8
History
- 2026-10-30: add by m2/v0.4.12
D0YZ01AP5N D0YZ01AP5N
| URI | m2://inv/D0YZ01AP5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18503#4TKB (statement). In RW315W172S/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
D0Z7N43HMH D0Z7N43HMH
| URI | m2://inv/D0Z7N43HMH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-12 (exercise). In E9HS8K3A52, exercise, section 3.2.1
History
- 2026-11-01: add by m2/v0.6.13
Zero-knowledge proof D0ZA99AM6E
| URI | m2://inv/D0ZA99AM6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-knowledge proof, Zero-knowledge proof (definition). Also Wikidata Q191943
History
- 2026-11-02: add by m2/dev
James McMahon D0ZBPS9BYW
| URI | m2://inv/D0ZBPS9BYW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James McMahon (mathematician), James McMahon (topic). Also Wikidata Q6139493
History
- 2026-11-02: add by m2/dev
D0ZPC8Z0TX D0ZPC8Z0TX
| URI | m2://inv/D0ZPC8Z0TX |
|---|---|
| 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.12188#ROGR (statement). In 52HWCGK5QJ/e1, corollary 2.6
History
- 2026-10-28: add by m2/v0.4.2
D0ZVJFBM38 D0ZVJFBM38
| URI | m2://inv/D0ZVJFBM38 |
|---|---|
| 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.08581#NVIA (statement). In VCSPPW15BE/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
D0ZYRGN1HS D0ZYRGN1HS
| URI | m2://inv/D0ZYRGN1HS |
|---|---|
| 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.03222#WPUD (statement). In BB0JGNK4YF/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12