Inventory rows EX
The cards of the rows of the inventory whose ids start with EX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Solomonoff distribution EX02P9Y9WG
| URI | m2://inv/EX02P9Y9WG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic probability#EMTQ, Solomonoff distribution (unknown)
History
- 2026-11-02: add by m2/dev
Arnold Geulincx EX07G20R9K
| URI | m2://inv/EX07G20R9K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold Geulincx, Arnold Geulincx (topic). Also Wikidata Q316559
History
- 2026-11-02: add by m2/dev
Duality (electricity and magnetism) EX084DJ6SC
| URI | m2://inv/EX084DJ6SC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#Y5DU, Duality (electricity and magnetism) (definition)
History
- 2026-11-02: add by m2/dev
EX09PRZYV5 EX09PRZYV5
| URI | m2://inv/EX09PRZYV5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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 2610.18302#I47K (example). In VJTRH1S4JA/e1, example 2.16
History
- 2026-10-28: add by m2/v0.4.2
eigenvalue EX0G2VWP09
| URI | m2://inv/EX0G2VWP09 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/3.1.1/eigenvalue, eigenvalue (concept). In E9HS8K3A52, index, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
Ninety Six, South Carolina EX0JZS679R
| URI | m2://inv/EX0JZS679R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GZPD, Ninety Six, South Carolina (unknown)
History
- 2026-11-02: add by m2/dev
EX0K00T39A EX0K00T39A
| URI | m2://inv/EX0K00T39A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14135#8P03 (statement). In C304J64Q79/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
Atomic sentence EX0R38HNG8
| URI | m2://inv/EX0R38HNG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atomic sentence, Atomic sentence (definition). Also Wikidata Q4345785
History
- 2026-11-02: add by m2/dev
Generalized Lotka–Volterra equation EX0WYR649M
| URI | m2://inv/EX0WYR649M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Lotka–Volterra equation, Generalized Lotka–Volterra equation (definition). Also Wikidata Q5532443
History
- 2026-11-02: add by m2/dev
Cross section (geometry) EX0XR19PJB
| URI | m2://inv/EX0XR19PJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#68V6, Cross section (geometry) (definition)
History
- 2026-11-02: add by m2/dev
Least-upper-bound property EX10N2W1E2
| URI | m2://inv/EX10N2W1E2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-upper-bound property, Least-upper-bound property (definition). Also Wikidata Q1254734
History
- 2026-11-02: add by m2/dev
Open property EX11A98E5Z
| URI | m2://inv/EX11A98E5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#YS96, Open property (definition)
History
- 2026-11-02: add by m2/dev
EX12NG262T EX12NG262T
| URI | m2://inv/EX12NG262T |
|---|---|
| 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.19437#0PWZ (statement). In 9PXXGQ978Z/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
EX14TEPVWX EX14TEPVWX
| URI | m2://inv/EX14TEPVWX |
|---|---|
| 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.00247#P9XH (statement). In ZAM4S2XS9F/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
EX15E7DPVP EX15E7DPVP
| URI | m2://inv/EX15E7DPVP |
|---|---|
| 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.35030#S99E (statement). In DPT4P2BTEW/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
Arthur Bartels EX1F4D8BZ7
| URI | m2://inv/EX1F4D8BZ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Bartels, Arthur Bartels (topic). Also Wikidata Q52985678
History
- 2026-11-02: add by m2/dev
Split conformity score EX1FVTYQKA
| URI | m2://inv/EX1FVTYQKA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23350#DKFQ, Split conformity score (definition)
History
- 2026-11-02: add by m2/v0.6.17
Heap EX1GFBCJSF
| URI | m2://inv/EX1GFBCJSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#I84U, Heap (definition)
History
- 2026-11-02: add by m2/dev
EX1JHXDGFB EX1JHXDGFB
| URI | m2://inv/EX1JHXDGFB |
|---|---|
| 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 2610.21408#2N3K (statement). In 3XBEGXNPXZ/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
EX1MT5AGDS EX1MT5AGDS
| URI | m2://inv/EX1MT5AGDS |
|---|---|
| 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 2411.16655#DIN3 (statement). In EJHAXRV685/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Applications EX1TS91227
| URI | m2://inv/EX1TS91227 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kerckhoffs's principle#TBXG, Applications (example)
History
- 2026-11-02: add by m2/dev
Order embedding EX23GA2Q7C
| URI | m2://inv/EX23GA2Q7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order embedding, Order embedding (definition). Also Wikidata Q3796691
History
- 2026-11-02: add by m2/dev
EX2DJ7GH7A EX2DJ7GH7A
| URI | m2://inv/EX2DJ7GH7A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#B9ZJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
EX2HHNMDVD EX2HHNMDVD
| URI | m2://inv/EX2HHNMDVD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.27872#HFTV (statement)
History
- 2026-11-01: add by m2/v0.6.15
EX2RQN5XNN EX2RQN5XNN
| URI | m2://inv/EX2RQN5XNN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/unary-numbers.tex#ex-1 (example). In PKGMM3P5QY, ex, section 86.3
History
- 2026-11-01: add by m2/v0.6.13
László Kalmár EX33K1N6F7
| URI | m2://inv/EX33K1N6F7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#J8TV, László Kalmár (topic)
History
- 2026-11-02: add by m2/dev
Adjoint state method EX3677NVD6
| URI | m2://inv/EX3677NVD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint state method, Adjoint state method (definition). Also Wikidata Q4683172
History
- 2026-11-02: add by m2/dev
EX3A1SRB8G EX3A1SRB8G
| URI | m2://inv/EX3A1SRB8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#3609 (statement). In YVK8EFSYNJ/e1, corollary 3.12
History
- 2026-10-28: add by m2/v0.4.2
EX3AWB3CY4 EX3AWB3CY4
| URI | m2://inv/EX3AWB3CY4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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 2209.00811#CWCG (statement). In 9T4X83HHQS/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Naihua Duan EX3BDAN86K
| URI | m2://inv/EX3BDAN86K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#FLHZ, Naihua Duan (unknown)
History
- 2026-11-02: add by m2/dev
Affine holonomy EX3KDFE0ED
| URI | m2://inv/EX3KDFE0ED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holonomy#SKKT, Affine holonomy (unknown)
History
- 2026-11-02: add by m2/dev
EX3RA2NJZQ EX3RA2NJZQ
| URI | m2://inv/EX3RA2NJZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05730#Z3I6 (statement). In KWX3Q669ES/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
DAE-aware HOCBF for semi-explicit systems EX3SNSYX18
| URI | m2://inv/EX3SNSYX18 |
|---|---|
| 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.09634#T2MT, DAE-aware HOCBF for semi-explicit systems (statement). In FH42QK814C/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.10
Algorithm EX3Y6VF886
| URI | m2://inv/EX3Y6VF886 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random forest#NN1Z, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
unusual number EX45NAGXXC
| URI | m2://inv/EX45NAGXXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1755492, unusual number (unknown). Also MathWorld UnusualNumber, OEIS A064052
- wikipedia: Wikipedia Unusual number, Unusual number (definition). Also Wikidata Q1755492
History
- 2026-10-26: add by m2/dev
Properties EX4AVKTJF6
| URI | m2://inv/EX4AVKTJF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal derivative#XTWY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Heterogeneous random comparison graph EX4BEWARP3
| URI | m2://inv/EX4BEWARP3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09030#FQJ0, Heterogeneous random comparison graph (example). In BYN44C0X0C/e1, example 3.3
History
- 2026-10-29: add by m2/v0.4.10
Frank J. Massey EX4CFZQVWK
| URI | m2://inv/EX4CFZQVWK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank J. Massey, Frank J. Massey (topic). Also Wikidata Q102164233
History
- 2026-11-02: add by m2/dev
Formal definition EX4CHBQWXZ
| URI | m2://inv/EX4CHBQWXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine curvature#9BDB, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
robotics EX4KS9AQAH
| URI | m2://inv/EX4KS9AQAH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q170978, robotics (unknown). Also EoM Robotics,_mathematical_problems_in
History
- 2026-10-26: add by m2/dev
EX4PBFNS00 EX4PBFNS00
| URI | m2://inv/EX4PBFNS00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36717#2WQH (statement). In 69FBWG9P3B/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
EX5CR0EVAN EX5CR0EVAN
| URI | m2://inv/EX5CR0EVAN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
regularity recovery EX5H37JGSQ
| URI | m2://inv/EX5H37JGSQ |
|---|---|
| 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.08016#RHBQ, regularity recovery (statement). In YR3CSTYEJW/e1, proposition 5.10
History
- 2026-10-29: add by m2/v0.4.10
Convolution theorem EX5NXN4J7G
| URI | m2://inv/EX5NXN4J7G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric convolution#PBU4, Convolution theorem (statement)
History
- 2026-11-02: add by m2/dev
Rank-tail normal form EX5SVE6AZA
| URI | m2://inv/EX5SVE6AZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#OUQG, Rank-tail normal form (statement). In 5PN85N6EJF/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
EX5T0JF5P1 EX5T0JF5P1
| URI | m2://inv/EX5T0JF5P1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#definition-3 (definition). In RZP28ERRZV, definition, section 19.5
History
- 2026-11-01: add by m2/v0.6.13
EX5V0289VG EX5V0289VG
| URI | m2://inv/EX5V0289VG |
|---|---|
| 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.17677#UD40 (statement). In 5E9G06XJKC/e1, lemma G.5
History
- 2026-10-28: add by m2/v0.4.2
EX5WSX94HR EX5WSX94HR
| URI | m2://inv/EX5WSX94HR |
|---|---|
| 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 math/9902147#TG9H (statement). In 7CK21JGM5A/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
The Sun EX63TQXD12
| URI | m2://inv/EX63TQXD12 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#KM5X, The Sun (unknown)
History
- 2026-11-02: add by m2/dev
EX67QFFP6P EX67QFFP6P
| URI | m2://inv/EX67QFFP6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19958#R90Q (statement)
History
- 2026-11-02: add by m2/v0.6.18
Direct incidence bound EX6CWK9HF2
| URI | m2://inv/EX6CWK9HF2 |
|---|---|
| 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.33365#I4K7, Direct incidence bound (statement). In MCXCMR7V0T/e1, proposition 10
History
- 2026-10-30: add by m2/v0.4.12
EX6FAVFTG4 EX6FAVFTG4
| URI | m2://inv/EX6FAVFTG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#J8X9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Differential (calculus) EX6HJTMYSH
| URI | m2://inv/EX6HJTMYSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#KDMJ, Differential (calculus) (definition)
History
- 2026-11-02: add by m2/dev
Uses EX6Q3S8EZ8
| URI | m2://inv/EX6Q3S8EZ8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richards' theorem#44RF, Uses (example)
History
- 2026-11-02: add by m2/dev
Examples EX6W4K44C0
| URI | m2://inv/EX6W4K44C0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Box plot#T614, Examples (example)
History
- 2026-11-02: add by m2/dev
Approximate entropy EX6W6TVV9N
| URI | m2://inv/EX6W6TVV9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate entropy, Approximate entropy (definition). Also Wikidata Q4781760
History
- 2026-11-02: add by m2/dev
Mean absolute percentage error EX70FWN076
| URI | m2://inv/EX70FWN076 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean absolute percentage error, Mean absolute percentage error (definition). Also Wikidata Q6803607
History
- 2026-11-02: add by m2/dev
EX79S7EPRK EX79S7EPRK
| URI | m2://inv/EX79S7EPRK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/non-enumerability-alt.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 83.8
History
- 2026-11-01: add by m2/v0.6.13
Overlap formula EX7F9B4BV3
| URI | m2://inv/EX7F9B4BV3 |
|---|---|
| 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.16510#URBZ, Overlap formula (statement). In V7SQ4VXCRX/e1, corollary 4.1
History
- 2026-10-28: add by m2/v0.4.2
Single-frequency approximation for multiple defects EX7RBE4BCJ
| URI | m2://inv/EX7RBE4BCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#2FVT, Single-frequency approximation for multiple defects (statement)
History
- 2026-11-01: add by m2/v0.6.15
EX7S2NFNYQ EX7S2NFNYQ
| URI | m2://inv/EX7S2NFNYQ |
|---|---|
| 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.14154#SK8B (statement). In 8X6PXX2TRA/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.2
Guard digit EX7Y7T9CBZ
| URI | m2://inv/EX7Y7T9CBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guard digit, Guard digit (definition). Also Wikidata Q5613979
History
- 2026-11-02: add by m2/dev
Finger binary EX80TSYBF3
| URI | m2://inv/EX80TSYBF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finger binary, Finger binary (definition). Also Wikidata Q3272499
History
- 2026-11-02: add by m2/dev
EX84MMJ718 EX84MMJ718
| URI | m2://inv/EX84MMJ718 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20663#MZ4Q (statement). In AZMX0CY5NE/e1, theorem 5
History
- 2026-10-27: add by m2/v0.4.2
Hunt-Stein reduction for displacement nuisance EX868452EN
| URI | m2://inv/EX868452EN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#5KNC, Hunt-Stein reduction for displacement nuisance (statement)
History
- 2026-11-01: add by m2/v0.6.15
Inversion formula EX8AK61KCK
| URI | m2://inv/EX8AK61KCK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zak transform#2H66, Inversion formula (statement)
History
- 2026-11-02: add by m2/dev
Symmetry EX8JW1YR1M
| URI | m2://inv/EX8JW1YR1M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-4 pentagonal tiling#IO1E, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
EX8PZ25KZ4 EX8PZ25KZ4
| URI | m2://inv/EX8PZ25KZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12295#BOAY (statement). In 6DZPR52HRP/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.2
Terminology EX8R12CZRK
| URI | m2://inv/EX8R12CZRK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blinded experiment#EKBK, Terminology (definition)
History
- 2026-11-02: add by m2/dev
EX97SMCM1S EX97SMCM1S
| URI | m2://inv/EX97SMCM1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#EOXE (statement). In 1QSCT53ZED/e1, proposition 9.9
History
- 2026-10-27: add by m2/v0.4.0
EX995GX7P3 EX995GX7P3
| URI | m2://inv/EX995GX7P3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#WX85 (statement). In PEXJPV3NP8/e1, theorem 4.16
History
- 2026-10-27: add by m2/v0.3.5
Example EX99YM89F4
| URI | m2://inv/EX99YM89F4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal loop diagram#QC8H, Example (example)
History
- 2026-11-02: add by m2/dev
EX9A7JJY16 EX9A7JJY16
| URI | m2://inv/EX9A7JJY16 |
|---|---|
| Kind | statement |
| 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.21662#O85B (statement). In 25B3WHEKH2/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
Triangular grid graph EX9BPPKHVR
| URI | m2://inv/EX9BPPKHVR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice graph#TB8V, Triangular grid graph (unknown)
History
- 2026-11-02: add by m2/dev
Advisory Committee on Mathematics Education EX9F7A4QN4
| URI | m2://inv/EX9F7A4QN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advisory Committee on Mathematics Education, Advisory Committee on Mathematics Education (definition). Also Wikidata Q4686836
History
- 2026-11-02: add by m2/dev
EX9HBHK193 EX9HBHK193
| URI | m2://inv/EX9HBHK193 |
|---|---|
| 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.07236#M084 (statement). In VPMKBREFY1/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
Examples EX9TDNB4TX
| URI | m2://inv/EX9TDNB4TX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological algebra#5QUN, Examples (example)
History
- 2026-11-02: add by m2/dev
EXA8Z3T2Q3 EXA8Z3T2Q3
| URI | m2://inv/EXA8Z3T2Q3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#25DR (definition). In H21X3FHNYJ/e1, definition 1.6
History
- 2026-10-27: add by m2/v0.4.2
Regularity on Cantor space EXAH88XQND
| URI | m2://inv/EXAH88XQND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20683#YJFL, Regularity on Cantor space (statement)
History
- 2026-11-02: add by m2/v0.6.18
Doctrine EXB0WZDXE6
| URI | m2://inv/EXB0WZDXE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doctrine (mathematics), Doctrine (definition). Also Wikidata Q133808663
History
- 2026-11-02: add by m2/dev
EXB4828TR0 EXB4828TR0
| URI | m2://inv/EXB4828TR0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05715#PDIX (definition). In FC0SB9JFWH/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Sylow's theorems EXBB5MEXM6
| URI | m2://inv/EXBB5MEXM6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Ludvig Sylow#04UN, Sylow's theorems (statement)
History
- 2026-11-02: add by m2/dev
Methods EXBN3W884T
| URI | m2://inv/EXBN3W884T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal separation#EEAU, Methods (definition)
History
- 2026-11-02: add by m2/dev
EXC8YCGMSP EXC8YCGMSP
| URI | m2://inv/EXC8YCGMSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.03431#M7M0 (statement). In XVYZGSQ9S9/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
MD2 EXCFNS7J1T
| URI | m2://inv/EXCFNS7J1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MD2 (hash function), MD2 (definition). Also Wikidata Q741247
History
- 2026-11-02: add by m2/dev
Manin–Drinfeld theorem EXCQ30XSMN
| URI | m2://inv/EXCQ30XSMN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#E1A2, Manin–Drinfeld theorem (statement)
History
- 2026-11-02: add by m2/dev
Plant arithmetic EXCTM29HWE
| URI | m2://inv/EXCTM29HWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plant arithmetic, Plant arithmetic (definition). Also Wikidata Q28868350
History
- 2026-11-02: add by m2/dev
Helmert transformation EXCWMRTVG1
| URI | m2://inv/EXCWMRTVG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmert transformation, Helmert transformation (definition). Also Wikidata Q360886
History
- 2026-11-02: add by m2/dev
D/M/1 queue EXCWPXXJ9A
| URI | m2://inv/EXCWPXXJ9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D/M/1 queue, D/M/1 queue (definition). Also Wikidata Q5203959
History
- 2026-11-02: add by m2/dev
EXCZXNCXK4 EXCZXNCXK4
| URI | m2://inv/EXCZXNCXK4 |
|---|---|
| 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 2404.14312#6JKK (definition). In SEPBZN2DRH/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Auslander–Reiten theory EXD4KP8KQT
| URI | m2://inv/EXD4KP8KQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auslander–Reiten theory, Auslander–Reiten theory (definition). Also Wikidata Q4822775
History
- 2026-11-02: add by m2/dev
EXD5PY41A0 EXD5PY41A0
| URI | m2://inv/EXD5PY41A0 |
|---|---|
| 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 2606.00589#KTAK (statement). In C8JAGP8VCQ/e1, lemma 9.10
History
- 2026-10-27: add by m2/v0.3.5
Ulam's packing conjecture EXD6QYTM0H
| URI | m2://inv/EXD6QYTM0H |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#2VP8, Ulam's packing conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
EXD7MFT4T0 EXD7MFT4T0
| URI | m2://inv/EXD7MFT4T0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#example-7 (example). In Y91XFCEVHQ, example, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
EXDFYZN1FR EXDFYZN1FR
| URI | m2://inv/EXDFYZN1FR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#proof-4 (proof). In RZP28ERRZV, proof, section 33.4
History
- 2026-11-01: add by m2/v0.6.13
Joanna Hayes EXDGK6WF40
| URI | m2://inv/EXDGK6WF40 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#ZI1B, Joanna Hayes (unknown)
History
- 2026-11-02: add by m2/dev
constant of integration EXDTAJ2SQ1
| URI | m2://inv/EXDTAJ2SQ1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1355804, constant of integration (unknown). Also MathWorld ConstantofIntegration
- wikipedia: Wikipedia Constant of integration, Constant of integration (object). Also Wikidata Q1355804
History
- 2026-10-26: add by m2/dev
Applications EXDW0EMXRC
| URI | m2://inv/EXDW0EMXRC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almgren–Chriss model#0Y92, Applications (example)
History
- 2026-11-02: add by m2/dev
EXDZYSDTSH EXDZYSDTSH
| URI | m2://inv/EXDZYSDTSH |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#6W5N (problem). In F0E8YBV0Z0/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
Example EXE0GNXDDK
| URI | m2://inv/EXE0GNXDDK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stein's example#PUSG, Example (example)
History
- 2026-11-02: add by m2/dev
EXE196CCZF EXE196CCZF
| URI | m2://inv/EXE196CCZF |
|---|---|
| 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.13846#AJI6 (statement). In DN3HGHGRYJ/e1, proposition 6.6
History
- 2026-10-28: add by m2/v0.4.2
Examples EXE1GYBKNQ
| URI | m2://inv/EXE1GYBKNQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local zeta function#BDVF, Examples (example)
History
- 2026-11-02: add by m2/dev
EXE3G8J6ZN EXE3G8J6ZN
| URI | m2://inv/EXE3G8J6ZN |
|---|---|
| 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.20316#IK8H (definition). In YRJS76169Z/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
EXE5JVV1J9 EXE5JVV1J9
| URI | m2://inv/EXE5JVV1J9 |
|---|---|
| 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.10840#YQNU (statement). In P0HKF5DY7M/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Joint \(M,K\) vanishing of the floor EXESH3M8YY
| URI | m2://inv/EXESH3M8YY |
|---|---|
| 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.15549#0M3L, Joint \(M,K\) vanishing of the floor (statement). In S96K5CR1B7/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Harry Pregerson EXEZWBXM0S
| URI | m2://inv/EXEZWBXM0S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#2EES, Harry Pregerson (unknown)
History
- 2026-11-02: add by m2/dev
EXF3EJ69D9 EXF3EJ69D9
| URI | m2://inv/EXF3EJ69D9 |
|---|---|
| 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 2207.11097#W0SN (statement). In 13H5BTAXHF/e1, proposition 17
History
- 2026-10-27: add by m2/v0.3.5
Topographic profile EXFQJ2N1C7
| URI | m2://inv/EXFQJ2N1C7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topographic profile, Topographic profile (definition). Also Wikidata Q1287293
History
- 2026-11-02: add by m2/dev
Combinatorial number system EXFTS7VC0J
| URI | m2://inv/EXFTS7VC0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial number system, Combinatorial number system (definition). Also Wikidata Q5150829
History
- 2026-11-02: add by m2/dev
Atmospheric tide EXFXAMTQJK
| URI | m2://inv/EXFXAMTQJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atmospheric tide, Atmospheric tide (definition). Also Wikidata Q1521192
History
- 2026-11-02: add by m2/dev
Convexity of balls EXG0DJ2YB2
| URI | m2://inv/EXG0DJ2YB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#ZYW7, Convexity of balls (statement)
History
- 2026-11-01: add by m2/v0.6.15
Asymmetric \Lovasz local lemma EXG9NT0VV6
| URI | m2://inv/EXG9NT0VV6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10474#9AAL, Asymmetric \Lovasz local lemma (statement). In MB29RAAQMG/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Prime number theorem for arithmetic progressions EXGJAQZSN6
| URI | m2://inv/EXGJAQZSN6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's totient function#996A, Prime number theorem for arithmetic progressions (statement)
History
- 2026-11-02: add by m2/dev
Terminology EXGKY5492W
| URI | m2://inv/EXGKY5492W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation attack#LOJW, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Application of the spectral Favard theorem EXH20M4E1P
| URI | m2://inv/EXH20M4E1P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#FPUA, Application of the spectral Favard theorem (statement). In FDDA562VCA/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
Hypergeometric function EXHBC83VZS
| URI | m2://inv/EXHBC83VZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of hypergeometric identities#9BSN, Hypergeometric function (definition)
History
- 2026-11-02: add by m2/dev
Carl Theodor Anger EXHG7SQ9MC
| URI | m2://inv/EXHG7SQ9MC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Theodor Anger, Carl Theodor Anger (topic). Also Wikidata Q5040874
History
- 2026-11-02: add by m2/dev
Guarded lifting through arbitrary contexts EXHMQ1CDC3
| URI | m2://inv/EXHMQ1CDC3 |
|---|---|
| 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#S68X, Guarded lifting through arbitrary contexts (statement)
History
- 2026-11-01: add by m2/v0.6.15
EXHQZHB0F9 EXHQZHB0F9
| URI | m2://inv/EXHQZHB0F9 |
|---|---|
| Kind | statement |
| 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.02042#DD2Q (statement). In P3HWTYFDBX/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.12
EXJ1R17KZF EXJ1R17KZF
| URI | m2://inv/EXJ1R17KZF |
|---|---|
| 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.21752#CZGZ (statement). In E4DJTPKHAX/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.2
Rasch model EXJ3HBG0EM
| URI | m2://inv/EXJ3HBG0EM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rasch model, Rasch model (definition). Also Wikidata Q2131821
History
- 2026-11-02: add by m2/dev
Steven Strogatz EXJ78EXNN2
| URI | m2://inv/EXJ78EXNN2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#F491, Steven Strogatz (unknown)
History
- 2026-11-02: add by m2/dev
EXJFT6PBNN EXJFT6PBNN
| URI | m2://inv/EXJFT6PBNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#Z6ZY (statement). In YVK8EFSYNJ/e1, lemma B.5
History
- 2026-10-28: add by m2/v0.4.2
Zak transform EXJMD9FXSX
| URI | m2://inv/EXJMD9FXSX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Zak transform S026HQSGY9 |
Mentions
- wikidata: Wikidata Q25303763, Zak transform (concept). Also EoM Zak_transform, MathWorld ZakTransform
- wikipedia: Wikipedia Zak transform, Zak transform (definition). Also Wikidata Q25303763
History
- 2026-10-26: add by m2/dev
Jian-Jian Ren EXJQY47MFA
| URI | m2://inv/EXJQY47MFA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jian-Jian Ren, Jian-Jian Ren (topic). Also Wikidata Q92352811
History
- 2026-11-02: add by m2/dev
Hessian bound EXJYSZMA1X
| URI | m2://inv/EXJYSZMA1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10993#PLJJ, Hessian bound (statement). In 1JCPN0K7DB/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
Jia Xian EXK0HB4J5E
| URI | m2://inv/EXK0HB4J5E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#7BMG, Jia Xian (topic)
History
- 2026-11-02: add by m2/dev
Unit square EXK3AKRTJ6
| URI | m2://inv/EXK3AKRTJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#HLZI, Unit square (definition)
History
- 2026-11-02: add by m2/dev
The exponent EXK4WQ34TD
| URI | m2://inv/EXK4WQ34TD |
|---|---|
| Kind | statement |
| 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.27765#FZ4B, The exponent (statement)
History
- 2026-11-01: add by m2/v0.6.15
DES supplementary material EXK8X84DMQ
| URI | m2://inv/EXK8X84DMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DES supplementary material, DES supplementary material (definition). Also Wikidata Q2357684
History
- 2026-11-02: add by m2/dev
Componentwise Segre monotonicity EXKA35R5GM
| URI | m2://inv/EXKA35R5GM |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 13-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.07528#E8BE, Componentwise Segre monotonicity (conjecture). In WVX0T502A1/e1, conjecture 8.1
History
- 2026-10-29: add by m2/v0.4.10
Formulas EXKAYN2SAK
| URI | m2://inv/EXKAYN2SAK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isosceles triangle#BXRF, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Gibbons, Jean D. EXKB28PP8P
| URI | m2://inv/EXKB28PP8P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#P1OT, Gibbons, Jean D. (topic)
History
- 2026-11-02: add by m2/dev
EXKEW3CJTQ EXKEW3CJTQ
| URI | m2://inv/EXKEW3CJTQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#9BE7 (definition). In A1GWWGRXPA/e1, definition 3.13
History
- 2026-10-27: add by m2/v0.4.2
Embedded point EXKMHDK845
| URI | m2://inv/EXKMHDK845 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#V7P4, Embedded point (definition)
History
- 2026-11-02: add by m2/dev
Applications EXKQ6HS4P8
| URI | m2://inv/EXKQ6HS4P8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łoś–Vaught test#W3WC, Applications (example)
History
- 2026-11-02: add by m2/dev
EXKR6JD1K8 EXKR6JD1K8
| URI | m2://inv/EXKR6JD1K8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#definition-4 (definition). In RZP28ERRZV, definition, section 98.2
History
- 2026-11-01: add by m2/v0.6.13
EXKSM4ST29 EXKSM4ST29
| URI | m2://inv/EXKSM4ST29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12013#SRTZ (statement). In 3V26T0265C/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.3
Surface equivalence principle EXKWR20DJZ
| URI | m2://inv/EXKWR20DJZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface equivalence principle, Surface equivalence principle (statement). Also Wikidata Q105821516
History
- 2026-11-02: add by m2/dev
EXKZFWRN6N EXKZFWRN6N
| URI | m2://inv/EXKZFWRN6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#MNDU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications EXM41EB2KB
| URI | m2://inv/EXM41EB2KB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice reduction#5ZW1, Applications (example)
History
- 2026-11-02: add by m2/dev
EXMVTGWW33 EXMVTGWW33
| URI | m2://inv/EXMVTGWW33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#IAZ8 (statement). In EAABRG99V8/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.0
EXMYDFH5AV EXMYDFH5AV
| URI | m2://inv/EXMYDFH5AV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-30 (proof). In N54F33XE07, proof, section C.3
History
- 2026-11-01: add by m2/v0.6.13
EXN571SHAG EXN571SHAG
| URI | m2://inv/EXN571SHAG |
|---|---|
| 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 2609.40054#8JGY (definition). In CA4C9PFM1E/e1, definition 2.4.1
History
- 2026-10-30: add by m2/v0.4.12
Uniform space EXNC8RYK0R
| URI | m2://inv/EXNC8RYK0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#X648, Uniform space (definition)
History
- 2026-11-02: add by m2/dev
Kolmogorov--Arnold structure of the delay-to-jet map EXNDTZW5C5
| URI | m2://inv/EXNDTZW5C5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02637#YZZ3, Kolmogorov--Arnold structure of the delay-to-jet map (statement). In 5Z2H5XJ6EM/e1, proposition S3.11
History
- 2026-10-29: add by m2/v0.4.12
EXNG6GN33W EXNG6GN33W
| URI | m2://inv/EXNG6GN33W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08488#TIX1 (statement). In QH5MZXMXQH/e1, lemma 1.1
History
- 2026-10-27: add by m2/v0.3.5
Proposition EXNGRHWFG1
| URI | m2://inv/EXNGRHWFG1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biquaternion#88J3, Proposition (statement)
History
- 2026-11-02: add by m2/dev
EXNSRG9HMP EXNSRG9HMP
| URI | m2://inv/EXNSRG9HMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#WAKU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cathy O'Neil EXP3PXTFZA
| URI | m2://inv/EXP3PXTFZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cathy O'Neil, Cathy O'Neil (topic). Also Wikidata Q16499729
History
- 2026-11-02: add by m2/dev
EXP8XSSTEN EXP8XSSTEN
| URI | m2://inv/EXP8XSSTEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#UZ72 (statement). In H71AJ341B3/e1, lemma 6.6
History
- 2026-10-31: add by m2/v0.5.6
380 (number) EXPPF0E2MZ
| URI | m2://inv/EXPPF0E2MZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#75OF, 380 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Parallel pairs EXPSP136J2
| URI | m2://inv/EXPSP136J2 |
|---|---|
| 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#1KL6, Parallel pairs (statement). In XD5HCP8DHF/e1, lemma 24
History
- 2026-10-29: add by m2/v0.4.12
EXQ30V9V37 EXQ30V9V37
| URI | m2://inv/EXQ30V9V37 |
|---|---|
| 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#1DIH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pythagoras' theorem EXQ3PTS2YW
| URI | m2://inv/EXQ3PTS2YW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct proof#7ER0, Pythagoras' theorem (statement)
History
- 2026-11-02: add by m2/dev
Linearization EXQ6NJKW0J
| URI | m2://inv/EXQ6NJKW0J |
|---|---|
| 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.19296#Y8ZA, Linearization (statement). In WFR2WNW8NB/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Nelson Goodman EXQ9FYDYNG
| URI | m2://inv/EXQ9FYDYNG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nelson Goodman, Nelson Goodman (topic). Also Wikidata Q318048
History
- 2026-11-02: add by m2/dev
Chartered actuary EXQH0QMRGE
| URI | m2://inv/EXQH0QMRGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Actuary#7D8K, Chartered actuary (unknown)
History
- 2026-11-02: add by m2/dev
EXQNBEMHBF EXQNBEMHBF
| URI | m2://inv/EXQNBEMHBF |
|---|---|
| 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 1902.04230#GI78 (statement). In 22JZ68FGCW/e1, lemma 6.42
History
- 2026-10-27: add by m2/v0.3.5
EXQP2034YQ EXQP2034YQ
| URI | m2://inv/EXQP2034YQ |
|---|---|
| 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.17070#58Y7 (statement). In W3G9Z9B32N/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
EXQZ6287ER EXQZ6287ER
| URI | m2://inv/EXQZ6287ER |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#ON55 (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Discrete spectrum EXR28W6CSX
| URI | m2://inv/EXR28W6CSX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete spectrum (mathematics), Discrete spectrum (definition). Also Wikidata Q97359748
History
- 2026-11-02: add by m2/dev
EXR8297XYS EXR8297XYS
| URI | m2://inv/EXR8297XYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#OR58 (statement). In 7V2PVZS04C/e1, lemma 3.11
History
- 2026-10-31: add by m2/v0.5.6
Substitution tiling EXR8AFYK4K
| URI | m2://inv/EXR8AFYK4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substitution tiling, Substitution tiling (definition). Also Wikidata Q7632143
History
- 2026-11-02: add by m2/dev
EXREKXK43K EXREKXK43K
| URI | m2://inv/EXREKXK43K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#8ZPA (statement). In FCMMB2EVAP/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.2
Wim Cohen EXRHFN0PRB
| URI | m2://inv/EXRHFN0PRB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wim Cohen, Wim Cohen (topic). Also Wikidata Q8023475
History
- 2026-11-02: add by m2/dev
EXRJD9CBB8 EXRJD9CBB8
| URI | m2://inv/EXRJD9CBB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#L4IC (statement). In B9EX6K51RD/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.2
Goishi Hiroi EXRPT2F7DA
| URI | m2://inv/EXRPT2F7DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goishi Hiroi, Goishi Hiroi (definition). Also Wikidata Q5577928
History
- 2026-11-02: add by m2/dev
Properties EXRR7TZP9F
| URI | m2://inv/EXRR7TZP9F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pettis integral#NLKP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kolmogorov–Arnold–Moser theorem EXRRKQGDZK
| URI | m2://inv/EXRRKQGDZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 4 |
| Outcome | open |
| Node | Kolmogorov–Arnold–Moser theorem 3ZZSXKM16Z |
Mentions
- mathlib_1000: mathlib_1000 Q587081, Kolmogorov–Arnold–Moser theorem (statement). Also Wikidata Q587081
- thousand_plus: thousand_plus Q587081, Kolmogorov–Arnold–Moser theorem (statement). Also Wikidata Q587081, Wikipedia Kolmogorov–Arnold–Moser theorem
- wikidata: Wikidata Q587081, Kolmogorov–Arnold–Moser theorem (statement). Also MathWorld Kolmogorov-Arnold-MoserTheorem
- wikipedia: Wikipedia Kolmogorov–Arnold–Moser theorem, Kolmogorov–Arnold–Moser theorem (statement). Also Wikidata Q587081
History
- 2026-10-26: add by m2/dev
Sara Negri EXS5SRRN5M
| URI | m2://inv/EXS5SRRN5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#JJM4, Sara Negri (unknown)
- wikipedia: Wikipedia List of women logicians#MLQV, Sara Negri (unknown)
History
- 2026-11-02: add by m2/dev
$CAR EXS8KT51X5
| URI | m2://inv/EXS8KT51X5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faustin-Archange Touadéra#OO52, $CAR (unknown)
History
- 2026-11-02: add by m2/dev
Branches EXS8XSQ4SJ
| URI | m2://inv/EXS8XSQ4SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/trees.tex#defn-4, Branches (definition). In PKGMM3P5QY, defn, section 82.2
History
- 2026-11-01: add by m2/v0.6.13
uniform boundedness EXSBSP1ADT
| URI | m2://inv/EXSBSP1ADT |
|---|---|
| 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.29047#A7X1, uniform boundedness (statement)
History
- 2026-11-01: add by m2/v0.6.15
EXSDM4R15Y EXSDM4R15Y
| URI | m2://inv/EXSDM4R15Y |
|---|---|
| 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.20521#YO9B (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tessellation (computer graphics) EXSDYJCEAY
| URI | m2://inv/EXSDYJCEAY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#TXJZ, Tessellation (computer graphics) (unknown)
History
- 2026-11-02: add by m2/dev
EXSGGQTZV1 EXSGGQTZV1
| URI | m2://inv/EXSGGQTZV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-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.21860#5BLX (statement)
History
- 2026-11-02: add by m2/v0.6.18
EXSXMR51VM EXSXMR51VM
| URI | m2://inv/EXSXMR51VM |
|---|---|
| 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.17579#1FLW (statement). In 1H021CTR3A/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
Convexity EXT5K43CM7
| URI | m2://inv/EXT5K43CM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convexity (algebraic geometry), Convexity (definition). Also Wikidata Q96375447
History
- 2026-11-02: add by m2/dev
EXTGMQY3KV EXTGMQY3KV
| URI | m2://inv/EXTGMQY3KV |
|---|---|
| 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 alg-geom/9506022#PJEZ (statement). In AQGEM4XAKD/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.3.5
Clique blow-up EXTHNCCMV7
| URI | m2://inv/EXTHNCCMV7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-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.19669#MCV8, Clique blow-up (definition). In 1QPAA94Q76/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
EXTTCQKQSR EXTTCQKQSR
| URI | m2://inv/EXTTCQKQSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#AALC (statement). In XJWQ6Y83F8/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.2
monoidal natural transformation EXTYDMSFQN
| URI | m2://inv/EXTYDMSFQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6901644, monoidal natural transformation (unknown). Also nLab monoidal natural transformation
- wikipedia: Wikipedia Monoidal natural transformation, Monoidal natural transformation (definition). Also Wikidata Q6901644
History
- 2026-10-26: add by m2/dev
EXV308R2XQ EXV308R2XQ
| URI | m2://inv/EXV308R2XQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13528#I7U4 (statement). In TSBJEBS7SP/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Ways to prove the h-principle EXV889YPS9
| URI | m2://inv/EXV889YPS9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy principle#MPHJ, Ways to prove the h-principle (statement)
History
- 2026-11-02: add by m2/dev
Hyperboloid model EXV94V4J42
| URI | m2://inv/EXV94V4J42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperboloid model, Hyperboloid model (definition). Also Wikidata Q3318095
History
- 2026-11-02: add by m2/dev
EXVMAR9RMX EXVMAR9RMX
| URI | m2://inv/EXVMAR9RMX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#4XCY (definition). In S26QVW5613/e1, definition 5.2.1
History
- 2026-10-30: add by m2/v0.4.12
EXWCHYY6D4 EXWCHYY6D4
| URI | m2://inv/EXWCHYY6D4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-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.09333#3876 (definition). In Z9HC1EDTQP/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.10
BKL singularity EXWE02AT0G
| URI | m2://inv/EXWE02AT0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BKL singularity, BKL singularity (definition). Also Wikidata Q3484987
History
- 2026-11-02: add by m2/dev
GPU EXWG0G6MJ9
| URI | m2://inv/EXWG0G6MJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#P58Z, GPU (unknown)
History
- 2026-11-02: add by m2/dev
Trivial topology EXWNTQNBKG
| URI | m2://inv/EXWNTQNBKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#9AQ5, Trivial topology (definition)
History
- 2026-11-02: add by m2/dev
EXWQQ3PP6P EXWQQ3PP6P
| URI | m2://inv/EXWQQ3PP6P |
|---|---|
| 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.28808#UN7X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Semiclassical gravity EXWVHJC0CE
| URI | m2://inv/EXWVHJC0CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiclassical gravity, Semiclassical gravity (definition). Also Wikidata Q3775955
History
- 2026-11-02: add by m2/dev
Examples EXX2GDQHHS
| URI | m2://inv/EXX2GDQHHS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order unit#G89G, Examples (example)
History
- 2026-11-02: add by m2/dev
marginal likelihood EXX3SW3TXZ
| URI | m2://inv/EXX3SW3TXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#8L2U, marginal likelihood (definition)
History
- 2026-11-02: add by m2/dev
Definition EXX780VHAS
| URI | m2://inv/EXX780VHAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheeger constant (graph theory)#HPE3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition EXXH77V00F
| URI | m2://inv/EXXH77V00F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial derivative#508M, Definition (definition)
History
- 2026-11-02: add by m2/dev
EXXMV9PERC EXXMV9PERC
| URI | m2://inv/EXXMV9PERC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#7ZCU (statement). In V5PVKDKGGG/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Ursell function EXXN9GC6PA
| URI | m2://inv/EXXN9GC6PA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursell function, Ursell function (definition). Also Wikidata Q7901160
History
- 2026-11-02: add by m2/dev
Spreading of adapted features EXXRJT33CM
| URI | m2://inv/EXXRJT33CM |
|---|---|
| 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.29147#K6P1, Spreading of adapted features (statement)
History
- 2026-11-01: add by m2/v0.6.15
Burali-Forti paradox EXY976XRB4
| URI | m2://inv/EXY976XRB4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Burali-Forti paradox CCNCGN3P59 |
Mentions
- wikidata: Wikidata Q1010269, Burali-Forti paradox (concept). Also MathWorld Burali-FortiParadox, nLab Burali-Forti's paradox, ProofWiki Burali-Forti_Paradox
- wikipedia: Wikipedia Burali-Forti paradox, Burali-Forti paradox (statement). Also Wikidata Q1010269
History
- 2026-10-26: add by m2/dev
EXYFZG16H1 EXYFZG16H1
| URI | m2://inv/EXYFZG16H1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.00134#EOXE (statement). In S654779J5P/e1, corollary 3.1
History
- 2026-10-30: add by m2/v0.4.12
Score perturbation for a diagonal OU step EXYJ8JW42N
| URI | m2://inv/EXYJ8JW42N |
|---|---|
| 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.10640#JAJU, Score perturbation for a diagonal OU step (statement). In BAQVK6N0RD/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.10
Homology of wedge sums EXYN8TTS1V
| URI | m2://inv/EXYN8TTS1V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#theorem-2, Homology of wedge sums (statement). In RZP28ERRZV, theorem, section 53.5
History
- 2026-11-01: add by m2/v0.6.13
Variants EXYZ797C98
| URI | m2://inv/EXYZ797C98 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pascal matrix#ZCBD, Variants (statement)
History
- 2026-11-02: add by m2/dev
All-rate full-field RS lower bound EXZ2V0ZZTW
| URI | m2://inv/EXZ2V0ZZTW |
|---|---|
| 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.15815#4IP1, All-rate full-field RS lower bound (statement). In 9C75CTY5C3/e1, theorem 5.17
History
- 2026-10-28: add by m2/v0.4.2
De Groot dual EXZ45BWXC1
| URI | m2://inv/EXZ45BWXC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#01GX, De Groot dual (definition)
History
- 2026-11-02: add by m2/dev
Pyjama problem EXZ5QKSFMP
| URI | m2://inv/EXZ5QKSFMP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pyjama problem, Pyjama problem (problem). Also Wikidata Q128810274
History
- 2026-11-02: add by m2/dev
Examples EXZ69ZXNE5
| URI | m2://inv/EXZ69ZXNE5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division ring#6YBF, Examples (example)
History
- 2026-11-02: add by m2/dev
Term-predicate syntactic escape EXZ9DCHCM1
| URI | m2://inv/EXZ9DCHCM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#O676, Term-predicate syntactic escape (statement). In CPYWHRTPKC/e1, lemma 7.23
History
- 2026-10-27: add by m2/v0.4.2
Generalizations EXZCJMFMBV
| URI | m2://inv/EXZCJMFMBV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friendship graph#WZ94, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Jean-François Quint EXZDD4HC70
| URI | m2://inv/EXZDD4HC70 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-François Quint, Jean-François Quint (topic). Also Wikidata Q1684849
History
- 2026-11-02: add by m2/dev
Properties EXZDZCDZ3H
| URI | m2://inv/EXZDZCDZ3H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of relations#SHUC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lars Knudsen EXZFTZB7WF
| URI | m2://inv/EXZFTZB7WF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#HA4K, Lars Knudsen (topic)
History
- 2026-11-02: add by m2/dev
EXZMR14791 EXZMR14791
| URI | m2://inv/EXZMR14791 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 1711.00219#B72C (statement). In 7V3HG30ZGW/e1, proposition A.4
History
- 2026-10-27: add by m2/v0.4.0