Inventory rows NY
The cards of the rows of the inventory whose ids start with NY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Circular calculator NY02BVZT9S
| URI | m2://inv/NY02BVZT9S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slide rule#43WQ, Circular calculator (unknown)
History
- 2026-11-02: add by m2/dev
NY02Y1TQZC NY02Y1TQZC
| URI | m2://inv/NY02Y1TQZC |
|---|---|
| Kind | definition |
| 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 2207.12181#2NL8 (definition). In FSD8NE3XSR/e1, definition 7.15
History
- 2026-10-27: add by m2/v0.4.0
identity NY044HH5BW
| URI | m2://inv/NY044HH5BW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q609647, identity (unknown). Also MathWorld Identity
- wikipedia: Wikipedia Identity (mathematics), Identity (statement). Also Wikidata Q609647
History
- 2026-10-26: add by m2/dev
NY06JD1NTK NY06JD1NTK
| URI | m2://inv/NY06JD1NTK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/completeness-thm.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Formal definitions NY0DBW4AKZ
| URI | m2://inv/NY0DBW4AKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contour set#CSCH, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Definition NY0NHDYT4K
| URI | m2://inv/NY0NHDYT4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flip (algebraic geometry)#5NK8, Definition (definition)
History
- 2026-11-02: add by m2/dev
NY0VXTY6JZ NY0VXTY6JZ
| URI | m2://inv/NY0VXTY6JZ |
|---|---|
| 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#MUTZ (statement). In Q39BEKW6D9/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
Negative limit of the Gram-invariant part NY0WCJEMNP
| URI | m2://inv/NY0WCJEMNP |
|---|---|
| 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.08980#I6VE, Negative limit of the Gram-invariant part (statement). In X407M6WFNR/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Full disk encryption NY1272762B
| URI | m2://inv/NY1272762B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disk encryption#4UEU, Full disk encryption (unknown)
History
- 2026-11-02: add by m2/dev
Peter Montgomery NY17KDG0W0
| URI | m2://inv/NY17KDG0W0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BZIH, Peter Montgomery (topic)
History
- 2026-11-02: add by m2/dev
{} NY1ACW5YJA
| URI | m2://inv/NY1ACW5YJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#GY5N, {} (definition)
History
- 2026-11-02: add by m2/dev
NY1BHZ0CC4 NY1BHZ0CC4
| URI | m2://inv/NY1BHZ0CC4 |
|---|---|
| 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.25307#NVJL (statement)
History
- 2026-11-01: add by m2/v0.6.15
NY1CTK8QA6 NY1CTK8QA6
| URI | m2://inv/NY1CTK8QA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35600#GN5T (statement). In ET8GYMMDQM/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
NY1PH8XTV8 NY1PH8XTV8
| URI | m2://inv/NY1PH8XTV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.00137#7Z2L (statement). In NKW6YQ04QW/e1, proposition A.3
History
- 2026-10-30: add by m2/v0.4.12
Age stratification NY1XRDDGRZ
| URI | m2://inv/NY1XRDDGRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JJ0G, Age stratification (definition)
History
- 2026-11-02: add by m2/dev
Application NY1Z41GX0F
| URI | m2://inv/NY1Z41GX0F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blaschke selection theorem#6WGP, Application (example)
History
- 2026-11-02: add by m2/dev
Cosmic variance NY1Z9VHKJE
| URI | m2://inv/NY1Z9VHKJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmic variance, Cosmic variance (definition). Also Wikidata Q4008777
History
- 2026-11-02: add by m2/dev
NY1ZA5BMCV NY1ZA5BMCV
| URI | m2://inv/NY1ZA5BMCV |
|---|---|
| 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.01225#LHIF (statement). In MFR807V4YG/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.12
NY1ZHNAQMA NY1ZHNAQMA
| URI | m2://inv/NY1ZHNAQMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00775#UFAK (statement). In WVHA7H05QC/e1, corollary 2.16
History
- 2026-10-29: add by m2/v0.4.12
NY20MRYAEF NY20MRYAEF
| URI | m2://inv/NY20MRYAEF |
|---|---|
| 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#8IQ0 (statement). In 9PXXGQ978Z/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
NY2PSBBTRY NY2PSBBTRY
| URI | m2://inv/NY2PSBBTRY |
|---|---|
| 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.07927#L5M9 (statement). In GKM19DHQTM/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.10
NY2QZ6GD9Q NY2QZ6GD9Q
| URI | m2://inv/NY2QZ6GD9Q |
|---|---|
| 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.03555#TJPG (statement). In 9JZJTRRVR1/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Linnik distribution NY2SG7MZ42
| URI | m2://inv/NY2SG7MZ42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#R9ZI, Linnik distribution (definition)
History
- 2026-11-02: add by m2/dev
NY3256V1J2 NY3256V1J2
| URI | m2://inv/NY3256V1J2 |
|---|---|
| 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 2603.26376#IMAV (statement). In PJAT9YDX7Y/e1, proposition 4.12
History
- 2026-10-27: add by m2/v0.4.0
Statement NY32CHB5J6
| URI | m2://inv/NY32CHB5J6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kummer's theorem#VX4S, Statement (statement)
History
- 2026-11-02: add by m2/dev
NY32J0VWFS NY32J0VWFS
| URI | m2://inv/NY32J0VWFS |
|---|---|
| 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.07122#MGT7 (statement). In W0ZHX9DHPV/e1, proposition 12
History
- 2026-10-29: add by m2/v0.4.10
Yuguo Chen NY32TSC58M
| URI | m2://inv/NY32TSC58M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#DF1I, Yuguo Chen (unknown)
History
- 2026-11-02: add by m2/dev
Existence of primal and dual equilibria under antisymmetry NY3CAY4EZY
| URI | m2://inv/NY3CAY4EZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#S1J7, Existence of primal and dual equilibria under antisymmetry (statement)
History
- 2026-11-02: add by m2/v0.6.18
NOMINATE NY3EMDGR92
| URI | m2://inv/NY3EMDGR92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NOMINATE (scaling method), NOMINATE (definition). Also Wikidata Q6954911
History
- 2026-11-02: add by m2/dev
NY3F5WR37T NY3F5WR37T
| URI | m2://inv/NY3F5WR37T |
|---|---|
| Kind | definition |
| 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 2207.12181#PKJW (definition). In FSD8NE3XSR/e1, definition 7.3
History
- 2026-10-27: add by m2/v0.4.0
$\ZZ_T$-invariant group divisible packings NY3J25V46F
| URI | m2://inv/NY3J25V46F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10973#KFZ1, $\ZZ_T$-invariant group divisible packings (statement). In H8NGNDP0XT/e1, theorem 19
History
- 2026-10-28: add by m2/v0.4.3
NY3PXRKGHE NY3PXRKGHE
| URI | m2://inv/NY3PXRKGHE |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27641#WYOT (problem)
History
- 2026-11-01: add by m2/v0.6.15
1e Exloërmond NY3RVC84VB
| URI | m2://inv/NY3RVC84VB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#J4WE, 1e Exloërmond (unknown)
History
- 2026-11-02: add by m2/dev
NY3TKNFWHY NY3TKNFWHY
| URI | m2://inv/NY3TKNFWHY |
|---|---|
| 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 2609.28824#IL0V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples NY3WT42Q01
| URI | m2://inv/NY3WT42Q01 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hand's paradox#1CZY, Examples (example)
History
- 2026-11-02: add by m2/dev
University of Chicago School Mathematics Project NY47DXGK3Q
| URI | m2://inv/NY47DXGK3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia University of Chicago School Mathematics Project, University of Chicago School Mathematics Project (definition). Also Wikidata Q7895261
History
- 2026-11-02: add by m2/dev
NY4CD4AT3H NY4CD4AT3H
| URI | m2://inv/NY4CD4AT3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#WM2I (statement)
History
- 2026-11-01: add by m2/v0.6.15
NY4E72Q9XY NY4E72Q9XY
| URI | m2://inv/NY4E72Q9XY |
|---|---|
| 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.08018#MOWM (statement). In TN93YFN45W/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.0
lemniscate of Bernoulli NY4KSXXPT6
| URI | m2://inv/NY4KSXXPT6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q736896, lemniscate of Bernoulli (concept). Also MathWorld Lemniscate
- wikipedia: Wikipedia Lemniscate of Bernoulli, Lemniscate of Bernoulli (definition). Also Wikidata Q736896
History
- 2026-10-26: add by m2/dev
combinatorial design NY4PVP3X8S
| URI | m2://inv/NY4PVP3X8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Combinatorial design PAJTMQ604P |
Mentions
- wikidata: Wikidata Q5150824, combinatorial design (unknown). Also nLab combinatorial design
- wikipedia: Wikipedia Combinatorial design, Combinatorial design (definition). Also Wikidata Q5150824
History
- 2026-10-26: add by m2/dev
Mapping cylinder NY4QC6G25D
| URI | m2://inv/NY4QC6G25D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#0KZD, Mapping cylinder (definition)
History
- 2026-11-02: add by m2/dev
NY4SG1AE2E NY4SG1AE2E
| URI | m2://inv/NY4SG1AE2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20135#GQ3V (statement). In ZQQEN3J866/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.2
Construction NY50VYD3QC
| URI | m2://inv/NY50VYD3QC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated triangular pyramid#D9SC, Construction (definition)
History
- 2026-11-02: add by m2/dev
Barbara Boyes NY55609DMM
| URI | m2://inv/NY55609DMM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barbara Boyes, Barbara Boyes (topic). Also Wikidata Q108807265
History
- 2026-11-02: add by m2/dev
NY5702D1RR NY5702D1RR
| URI | m2://inv/NY5702D1RR |
|---|---|
| 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.12576#CCOS (statement). In BVAWVRS3R9/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Non-examples NY57B5DHNN
| URI | m2://inv/NY57B5DHNN |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noetherian scheme#W5CQ, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
NY5BQDBGX5 NY5BQDBGX5
| URI | m2://inv/NY5BQDBGX5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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.26479#LCVV (definition)
History
- 2026-11-01: add by m2/v0.6.15
Weyl's axioms NY5FTP032C
| URI | m2://inv/NY5FTP032C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#WMI6, Weyl's axioms (definition)
History
- 2026-11-02: add by m2/dev
NY5V59PMB8 NY5V59PMB8
| URI | m2://inv/NY5V59PMB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#VTHD (statement). In CB35ZBBBPT/e1, corollary 3.12
History
- 2026-10-31: add by m2/v0.5.6
Simple linear regression NY5VPVS9WN
| URI | m2://inv/NY5VPVS9WN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple linear regression, Simple linear regression (definition). Also Wikidata Q7520804
History
- 2026-11-02: add by m2/dev
Applications NY5XDX0KSK
| URI | m2://inv/NY5XDX0KSK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric polynomial#0ZBH, Applications (example)
History
- 2026-11-02: add by m2/dev
Andrei Dmitrievich Sakharov NY5Z8HD7EG
| URI | m2://inv/NY5Z8HD7EG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#LWSC, Andrei Dmitrievich Sakharov (unknown)
History
- 2026-11-02: add by m2/dev
Gauss's lemma (primitivity) NY5ZFWMHS7
| URI | m2://inv/NY5ZFWMHS7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's lemma (polynomials)#IV6T, Gauss's lemma (primitivity) (statement)
History
- 2026-11-02: add by m2/dev
NY69N4ASCE NY69N4ASCE
| URI | m2://inv/NY69N4ASCE |
|---|---|
| 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.14204#ZJ05 (statement). In GZAY1Y12YD/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Box plot NY6JF84X46
| URI | m2://inv/NY6JF84X46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EE4T, Box plot (definition)
- wikipedia: Wikipedia List of graphical methods#HV5U, Box plot (definition)
- wikipedia: Wikipedia List of graphical methods#JFJW, Box plot (definition)
History
- 2026-11-02: add by m2/dev
Equivariant topology NY6JPS8BQ9
| URI | m2://inv/NY6JPS8BQ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivariant topology, Equivariant topology (topic). Also Wikidata Q16874412
History
- 2026-11-02: add by m2/dev
NY6V8TRQD4 NY6V8TRQD4
| URI | m2://inv/NY6V8TRQD4 |
|---|---|
| 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.01354#XBG9 (statement). In BWD76W20W8/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.12
elliptic curve primality proving NY6X72EZ5S
| URI | m2://inv/NY6X72EZ5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3611581, elliptic curve primality proving (unknown). Also MathWorld EllipticCurvePrimalityProving
- wikipedia: Wikipedia Elliptic curve primality, Elliptic curve primality (definition). Also Wikidata Q3611581
History
- 2026-10-26: add by m2/dev
$\epsilon$-net argument for the operator norm NY7PMBTHV2
| URI | m2://inv/NY7PMBTHV2 |
|---|---|
| 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.22338#E5QN, $\epsilon$-net argument for the operator norm (statement)
History
- 2026-11-02: add by m2/v0.6.17
NY7VCDAF8P NY7VCDAF8P
| URI | m2://inv/NY7VCDAF8P |
|---|---|
| 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.19449#JKOC (statement). In 8ZKPJ3CBDF/e1, lemma 4.12
History
- 2026-10-28: add by m2/v0.4.2
ordinary NY85WRKEGV
| URI | m2://inv/NY85WRKEGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#4J0E, ordinary (definition)
History
- 2026-11-02: add by m2/dev
NY87QHSHGV NY87QHSHGV
| URI | m2://inv/NY87QHSHGV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/basic.tex#ordordered (statement). In PKGMM3P5QY, cor, section 72.2
History
- 2026-11-01: add by m2/v0.6.13
excluded middle NY89KKJ0SC
| URI | m2://inv/NY89KKJ0SC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/excluded-middle, excluded middle (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
\textbf{Exponential ergodicity of ULD beyond log-concavity NY8AR7S256
| URI | m2://inv/NY8AR7S256 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#UC0X, \textbf{Exponential ergodicity of ULD beyond log-concavity (statement)
History
- 2026-11-02: add by m2/v0.6.18
Adelic algebraic group NY8GBAY7XR
| URI | m2://inv/NY8GBAY7XR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#84T3, Adelic algebraic group (definition)
History
- 2026-11-02: add by m2/dev
A History of Western Philosophy NY8GWYTZ36
| URI | m2://inv/NY8GWYTZ36 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q133740, A History of Western Philosophy (unknown). Also nLab A History of Western Philosophy
History
- 2026-10-26: add by m2/dev
Armenia Prima NY8K4JZ776
| URI | m2://inv/NY8K4JZ776 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WLKO, Armenia Prima (unknown)
History
- 2026-11-02: add by m2/dev
Butterfly theorem NY8TRACKYA
| URI | m2://inv/NY8TRACKYA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5YQP, Butterfly theorem (statement)
History
- 2026-11-02: add by m2/dev
NY90YXA0R6 NY90YXA0R6
| URI | m2://inv/NY90YXA0R6 |
|---|---|
| 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#SW55 (statement). In 7V2PVZS04C/e1, corollary 5.14
History
- 2026-10-31: add by m2/v0.5.6
Generalizations NY99C6KZEW
| URI | m2://inv/NY99C6KZEW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intermediate value theorem#SP38, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Shape parameter NY9CJNVQEN
| URI | m2://inv/NY9CJNVQEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LV0Y, Shape parameter (definition)
History
- 2026-11-02: add by m2/dev
Butucea, Cristina NY9E80QYA6
| URI | m2://inv/NY9E80QYA6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XZUL, Butucea, Cristina (unknown)
History
- 2026-11-02: add by m2/dev
NY9EPAEZNT NY9EPAEZNT
| URI | m2://inv/NY9EPAEZNT |
|---|---|
| Kind | problem |
| 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.11395#KES8 (problem). In T3W7SMWQ73/e1, problem 53
History
- 2026-10-28: add by m2/v0.4.3
Robert I. Soare NY9JNW43C9
| URI | m2://inv/NY9JNW43C9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert I. Soare, Robert I. Soare (topic). Also Wikidata Q7345768
History
- 2026-11-02: add by m2/dev
NY9JZ5BPBD NY9JZ5BPBD
| URI | m2://inv/NY9JZ5BPBD |
|---|---|
| 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#PJQG (statement). In C8JAGP8VCQ/e1, lemma 9.9
History
- 2026-10-27: add by m2/v0.3.5
Applications NY9M9YZRZB
| URI | m2://inv/NY9M9YZRZB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Airy beam#2NY8, Applications (example)
History
- 2026-11-02: add by m2/dev
NY9N8JR4HP NY9N8JR4HP
| URI | m2://inv/NY9N8JR4HP |
|---|---|
| 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 2601.15403#3AS5 (statement). In BSWNH3NW1M/e1, proposition 9.17
History
- 2026-10-27: add by m2/v0.4.0
Universal boundary factorization NY9P541RYA
| URI | m2://inv/NY9P541RYA |
|---|---|
| Kind | conjecture |
| 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.31189#T8RU, Universal boundary factorization (conjecture). In 2D061MTT04/e1, conjecture 8.1
History
- 2026-10-31: add by m2/v0.5.6
seminvariant NY9PX55N2C
| URI | m2://inv/NY9PX55N2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#UGJM, seminvariant (definition)
History
- 2026-11-02: add by m2/dev
Florence Eliza Allen NY9QS5SQYF
| URI | m2://inv/NY9QS5SQYF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#0ALS, Florence Eliza Allen (topic)
History
- 2026-11-02: add by m2/dev
Siegel–Walfisz theorem NY9XDVGYDT
| URI | m2://inv/NY9XDVGYDT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VFEV, Siegel–Walfisz theorem (statement)
History
- 2026-11-02: add by m2/dev
Odds ratio NY9XJPDTPC
| URI | m2://inv/NY9XJPDTPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds ratio, Odds ratio (definition). Also Wikidata Q1862216
History
- 2026-11-02: add by m2/dev
Statement NY9XR1KW67
| URI | m2://inv/NY9XR1KW67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard three-circle theorem#AV56, Statement (statement)
History
- 2026-11-02: add by m2/dev
History of combinatorics NY9YQY2RAA
| URI | m2://inv/NY9YQY2RAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of combinatorics, History of combinatorics (definition). Also Wikidata Q1124551
History
- 2026-11-02: add by m2/dev
Woodbury matrix identity NYA399EE5H
| URI | m2://inv/NYA399EE5H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#VJXM, Woodbury matrix identity (statement)
History
- 2026-11-02: add by m2/dev
NYA3GXW57P NYA3GXW57P
| URI | m2://inv/NYA3GXW57P |
|---|---|
| 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.10230#21YK (statement). In YS75517SF7/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
NYA8E8CAES NYA8E8CAES
| URI | m2://inv/NYA8E8CAES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00409#HG2H (statement). In YQT2APQPWD/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Definition NYA8PR9YBG
| URI | m2://inv/NYA8PR9YBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia POVM#QYN3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Aldo Andreotti NYA9763B4D
| URI | m2://inv/NYA9763B4D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aldo Andreotti, Aldo Andreotti (topic). Also Wikidata Q373373
History
- 2026-11-02: add by m2/dev
NYAB329K19 NYAB329K19
| URI | m2://inv/NYAB329K19 |
|---|---|
| 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.22040#LPW2 (statement). In 2QP93JHYNB/e1, corollary 8.16
History
- 2026-10-27: add by m2/v0.4.2
NYAPD1MC9B NYAPD1MC9B
| URI | m2://inv/NYAPD1MC9B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise:trigpolydense (exercise). In E59CDZA4DP, exercise, section 1.7.3
History
- 2026-11-01: add by m2/v0.6.13
NYAPNAFYT7 NYAPNAFYT7
| URI | m2://inv/NYAPNAFYT7 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel zero#O20Z (problem)
History
- 2026-11-02: add by m2/dev
NYARFRJPR9 NYARFRJPR9
| URI | m2://inv/NYARFRJPR9 |
|---|---|
| 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.20656#GQ7W (statement)
History
- 2026-11-02: add by m2/v0.6.18
NYASQQKYTA NYASQQKYTA
| URI | m2://inv/NYASQQKYTA |
|---|---|
| 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#PRR5 (statement). In 5E9G06XJKC/e1, lemma F.3
History
- 2026-10-28: add by m2/v0.4.2
NYB058AKTK NYB058AKTK
| URI | m2://inv/NYB058AKTK |
|---|---|
| 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#ACZR (statement). In 5PN85N6EJF/e1, lemma C.5
History
- 2026-10-31: add by m2/v0.5.6
Localization NYB281KQAW
| URI | m2://inv/NYB281KQAW |
|---|---|
| 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.10813#0O1P, Localization (statement). In G8F4P7GDMA/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.3
Triangular error propagation NYB4V0QT7F
| URI | m2://inv/NYB4V0QT7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.00448#GGKU, Triangular error propagation (statement). In N06J7GC05Q/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Probability distribution function NYB5A8NBSQ
| URI | m2://inv/NYB5A8NBSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#X4LJ, Probability distribution function (definition)
History
- 2026-11-02: add by m2/dev
Chamfer NYB82GCVN7
| URI | m2://inv/NYB82GCVN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chamfer (geometry), Chamfer (definition). Also Wikidata Q18018756
History
- 2026-11-02: add by m2/dev
Dyadic rounding from hereditary Gaussian signing NYB8T7FKM3
| URI | m2://inv/NYB8T7FKM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#4MLM, Dyadic rounding from hereditary Gaussian signing (statement). In 9YAE8FNQST/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
Geometric stable distribution NYBBZHZD98
| URI | m2://inv/NYBBZHZD98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4YQA, Geometric stable distribution (definition)
History
- 2026-11-02: add by m2/dev
uniform convergence NYBRG7A4RR
| URI | m2://inv/NYBRG7A4RR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/9.1.2/uniform-convergence, uniform convergence (concept). In E59CDZA4DP, index, section 9.1.2
History
- 2026-11-01: add by m2/v0.6.13
Ibrahim Eltayeb NYC2RC0GAW
| URI | m2://inv/NYC2RC0GAW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ibrahim Eltayeb, Ibrahim Eltayeb (topic). Also Wikidata Q71533626
History
- 2026-11-02: add by m2/dev
Definition NYC2S4YMVY
| URI | m2://inv/NYC2S4YMVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allee effect#6QK7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Converse NYC7NM21FP
| URI | m2://inv/NYC7NM21FP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hinge theorem#EVRA, Converse (statement)
History
- 2026-11-02: add by m2/dev
NYCE8AJZ83 NYCE8AJZ83
| URI | m2://inv/NYCE8AJZ83 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#cor:fourierpiecewisesmooth (statement). In E59CDZA4DP, cor, section 1.8.5
History
- 2026-11-01: add by m2/v0.6.13
Ramanujan–Sato series NYCRQCRBZH
| URI | m2://inv/NYCRQCRBZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan–Sato series, Ramanujan–Sato series (definition). Also Wikidata Q17164696
History
- 2026-11-02: add by m2/dev
Dettweiler--Reiter convolution and middle convolution NYCWMX9FJQ
| URI | m2://inv/NYCWMX9FJQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.25805#JF2I, Dettweiler--Reiter convolution and middle convolution (definition)
History
- 2026-11-01: add by m2/v0.6.15
NYCWREZ9YZ NYCWREZ9YZ
| URI | m2://inv/NYCWREZ9YZ |
|---|---|
| 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.15847#8MEP (statement). In BTV3DAMX28/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Andrzej Mostowski NYD190NWAF
| URI | m2://inv/NYD190NWAF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#9RZR, Andrzej Mostowski (topic)
History
- 2026-11-02: add by m2/dev
NYD5KS5QB1 NYD5KS5QB1
| URI | m2://inv/NYD5KS5QB1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-9 (exercise). In E59CDZA4DP, exercise, section 8.1.4
History
- 2026-11-01: add by m2/v0.6.13
Runcinated tesseractic honeycomb NYDBWND0AP
| URI | m2://inv/NYDBWND0AP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated tesseractic honeycomb, Runcinated tesseractic honeycomb (definition). Also Wikidata Q17007205
History
- 2026-11-02: add by m2/dev
Strejc method NYDC8RMECT
| URI | m2://inv/NYDC8RMECT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strejc method, Strejc method (definition). Also Wikidata Q104845528
History
- 2026-11-02: add by m2/dev
Graeme Milton NYDEGDWMVX
| URI | m2://inv/NYDEGDWMVX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graeme Milton, Graeme Milton (topic). Also Wikidata Q28823381
History
- 2026-11-02: add by m2/dev
NYDG3JR2E6 NYDG3JR2E6
| URI | m2://inv/NYDG3JR2E6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19791#BIVL (statement). In AVDB4KJ6XB/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Charles Wells NYDK26MVKN
| URI | m2://inv/NYDK26MVKN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Wells (mathematician), Charles Wells (topic). Also Wikidata Q5083432
History
- 2026-11-02: add by m2/dev
NYDPN6558Q NYDPN6558Q
| URI | m2://inv/NYDPN6558Q |
|---|---|
| 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 2610.18847#4J6Y (definition). In DZ12XTTJSM/e1, definition 1.5
History
- 2026-10-28: add by m2/v0.4.2
Figure of the Earth NYDTDHBW7R
| URI | m2://inv/NYDTDHBW7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Figure of the Earth, Figure of the Earth (definition). Also Wikidata Q437882
History
- 2026-11-02: add by m2/dev
Body (geometry) NYE3CRX9Z5
| URI | m2://inv/NYE3CRX9Z5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polytope#7ZQ6, Body (geometry) (unknown)
History
- 2026-11-02: add by m2/dev
Certified exhaustion NYE7884SNG
| URI | m2://inv/NYE7884SNG |
|---|---|
| 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.20492#ZJZU, Certified exhaustion (statement)
History
- 2026-11-02: add by m2/v0.6.18
Szemerédi's regularity lemma NYEMY0QXJS
| URI | m2://inv/NYEMY0QXJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck inequality#F09H, Szemerédi's regularity lemma (statement)
History
- 2026-11-02: add by m2/dev
NYENP3KE1Z NYENP3KE1Z
| URI | m2://inv/NYENP3KE1Z |
|---|---|
| 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.25880#3ENO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bulletin de la Societe Mathematique de France NYEPT5H71Z
| URI | m2://inv/NYEPT5H71Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4996832, Bulletin de la Societe Mathematique de France (unknown). Also ProofWiki Book:Journal/Bulletin_de_la_Société_Mathématique_de_France
History
- 2026-10-26: add by m2/dev
NYER79K2G2 NYER79K2G2
| URI | m2://inv/NYER79K2G2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25801#B9I0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NYEVBTDG6T NYEVBTDG6T
| URI | m2://inv/NYEVBTDG6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33185#2L1G (statement). In QX30H2WNA7/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Noether, Gottfried E. NYEWP4G0DK
| URI | m2://inv/NYEWP4G0DK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#CDXA, Noether, Gottfried E. (topic)
History
- 2026-11-02: add by m2/dev
NYEXMHCK6D NYEXMHCK6D
| URI | m2://inv/NYEXMHCK6D |
|---|---|
| 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#GUXB (statement). In CFJH0Q39FZ/e1, theorem 8.7
History
- 2026-10-28: add by m2/v0.4.2
wavelet NYF0JXHXV0
| URI | m2://inv/NYF0JXHXV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Wavelet 4PZ35C0GV3 |
Mentions
- wikidata: Wikidata Q831390, wavelet (unknown). Also MathWorld Wavelet
- wikipedia: Wikipedia Wavelet, Wavelet (definition). Also Wikidata Q831390
History
- 2026-10-26: add by m2/dev
Finite inverse moment map NYF3EX9XAT
| URI | m2://inv/NYF3EX9XAT |
|---|---|
| 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.07721#4WLJ, Finite inverse moment map (statement). In QMJDN66F5N/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Sylvie Méléard NYF45NP4NT
| URI | m2://inv/NYF45NP4NT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvie Méléard, Sylvie Méléard (topic). Also Wikidata Q3507370
History
- 2026-11-02: add by m2/dev
Generalized Rothaus--Thompson problem NYF6ADXNVB
| URI | m2://inv/NYF6ADXNVB |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01267#F5OT, Generalized Rothaus--Thompson problem (problem). In GWWHP6R0BZ/e1, problem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Proposition NYFB57W6GX
| URI | m2://inv/NYFB57W6GX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local criterion for flatness#PFF6, Proposition (statement)
History
- 2026-11-02: add by m2/dev
path, $n$- NYFD5ACNRT
| URI | m2://inv/NYFD5ACNRT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.4/path-n, path, $n$- (concept). In N54F33XE07, index, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
NYFEBTDS24 NYFEBTDS24
| URI | m2://inv/NYFEBTDS24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.06321#3IXH (statement). In PGV1116XX4/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
NYFV0RWX48 NYFV0RWX48
| URI | m2://inv/NYFV0RWX48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30015#Y3LB (statement)
History
- 2026-11-01: add by m2/v0.6.15
NYFY9D9T56 NYFY9D9T56
| URI | m2://inv/NYFY9D9T56 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#YZDI (definition). In 3A4K47Y9F2/e1, definition 6.14
History
- 2026-10-27: add by m2/v0.4.0
challenging NYG5C1NJ2Q
| URI | m2://inv/NYG5C1NJ2Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-75, challenging (exercise). In E9HS8K3A52, exercise, section 5.6.4
History
- 2026-11-01: add by m2/v0.6.13
NYG5SMXCMT NYG5SMXCMT
| URI | m2://inv/NYG5SMXCMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35597#W60V (statement). In K424GCJ50P/e1, theorem 9.2
History
- 2026-10-30: add by m2/v0.4.12
Vincent's theorem: Bisection version (Alesina and Galuzzi 2000) NYGFTMW1MV
| URI | m2://inv/NYGFTMW1MV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincent's theorem#OZG1, Vincent's theorem: Bisection version (Alesina and Galuzzi 2000) (statement)
History
- 2026-11-02: add by m2/dev
Definition NYGKX82TTD
| URI | m2://inv/NYGKX82TTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation function#ZELB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Consistency of the Peano axioms NYGMR6AKDA
| URI | m2://inv/NYGMR6AKDA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peano axioms#XGV9, Consistency of the Peano axioms (unknown)
History
- 2026-11-02: add by m2/dev
Rate of the feasible preliminary estimator NYGMZZEW52
| URI | m2://inv/NYGMZZEW52 |
|---|---|
| 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.05864#VLXY, Rate of the feasible preliminary estimator (statement). In 31QPXWDZSH/e1, theorem B.9
History
- 2026-10-29: add by m2/v0.4.10
universe of discourse NYGNRP18M7
| URI | m2://inv/NYGNRP18M7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#64YI, universe of discourse (definition)
History
- 2026-11-02: add by m2/dev
NYGZZTZ66D NYGZZTZ66D
| URI | m2://inv/NYGZZTZ66D |
|---|---|
| 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.33241#B1C5 (statement). In NX6QV01PCE/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
NYH64NHAX9 NYH64NHAX9
| URI | m2://inv/NYH64NHAX9 |
|---|---|
| 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 2407.20385#T4C6 (statement). In PZRSZ19KAH/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.3.5
NYH8716ZHF NYH8716ZHF
| URI | m2://inv/NYH8716ZHF |
|---|---|
| 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.21954#9GR1 (statement). In F2XATDBRK4/e1, proposition 6
History
- 2026-10-27: add by m2/v0.4.2
NYHDAYGQMM NYHDAYGQMM
| URI | m2://inv/NYHDAYGQMM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/trees.tex#ex-2 (example). In PKGMM3P5QY, ex, section 82.2
History
- 2026-11-01: add by m2/v0.6.13
NYHKBPWS8K NYHKBPWS8K
| URI | m2://inv/NYHKBPWS8K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25801#PI4F (example)
History
- 2026-11-01: add by m2/v0.6.15
NYHPWB2680 NYHPWB2680
| URI | m2://inv/NYHPWB2680 |
|---|---|
| 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 2610.07812#0ML8 (statement). In PVX8WBBXW5/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Applications NYHXAE98FX
| URI | m2://inv/NYHXAE98FX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatory logic#29PA, Applications (example)
History
- 2026-11-02: add by m2/dev
List of things named after Jean-Pierre Serre NYJ14FM8DF
| URI | m2://inv/NYJ14FM8DF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#5E9R, List of things named after Jean-Pierre Serre (topic)
History
- 2026-11-02: add by m2/dev
NYJ4ERQ7E8 NYJ4ERQ7E8
| URI | m2://inv/NYJ4ERQ7E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.00375#FKYB (statement). In YV6ZXRDHX4/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Truncatable prime NYJ8TCGRP3
| URI | m2://inv/NYJ8TCGRP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1283190, Truncatable prime (unknown). Also MathWorld TruncatablePrime
- wikipedia: Wikipedia Truncatable prime, Truncatable prime (definition). Also Wikidata Q1283190
History
- 2026-10-26: add by m2/dev
Definition NYJD2KKB7E
| URI | m2://inv/NYJD2KKB7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform absolute-convergence#SP9O, Definition (definition)
History
- 2026-11-02: add by m2/dev
NYJEATWY7H NYJEATWY7H
| URI | m2://inv/NYJEATWY7H |
|---|---|
| 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#5913 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Middle Third NYJEPP6ZWX
| URI | m2://inv/NYJEPP6ZWX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#R2AO, Middle Third (unknown)
History
- 2026-11-02: add by m2/dev
Sjuøyane NYJGWTHQ4D
| URI | m2://inv/NYJGWTHQ4D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#5HTD, Sjuøyane (unknown)
History
- 2026-11-02: add by m2/dev
Hazard rate NYJJT6XRSZ
| URI | m2://inv/NYJJT6XRSZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survival analysis#IS2D, Hazard rate (unknown)
History
- 2026-11-02: add by m2/dev
Sheaf NYJRKYNJMF
| URI | m2://inv/NYJRKYNJMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#NB1I, Sheaf (definition)
History
- 2026-11-02: add by m2/dev
Computer experiment NYJWABY3Q8
| URI | m2://inv/NYJWABY3Q8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OQLS, Computer experiment (definition)
History
- 2026-11-02: add by m2/dev
NYJY6E9BW4 NYJY6E9BW4
| URI | m2://inv/NYJY6E9BW4 |
|---|---|
| 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.10221#ZE4U (statement). In 9Z5M655EPV/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.10
NYJZ6A5RPE NYJZ6A5RPE
| URI | m2://inv/NYJZ6A5RPE |
|---|---|
| Kind | definition |
| 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.30086#3GNC (definition)
History
- 2026-11-01: add by m2/v0.6.15
Helena J. Nussenzveig Lopes NYJZAF6K1F
| URI | m2://inv/NYJZAF6K1F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HZ5W, Helena J. Nussenzveig Lopes (unknown)
History
- 2026-11-02: add by m2/dev
Richard von Mises NYK67JZ46V
| URI | m2://inv/NYK67JZ46V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#2C43, Richard von Mises (topic)
History
- 2026-11-02: add by m2/dev
NYK8HQ6N61 NYK8HQ6N61
| URI | m2://inv/NYK8HQ6N61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2503.19729#WEET (statement). In 40YZ43TS8K/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
NYKCYJ77Z1 NYKCYJ77Z1
| URI | m2://inv/NYKCYJ77Z1 |
|---|---|
| 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 2601.01000#522K (statement). In RYFV9HGWWZ/e1, proposition 14
History
- 2026-10-27: add by m2/v0.3.5
NYKD8WK0ZH NYKD8WK0ZH
| URI | m2://inv/NYKD8WK0ZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2504.07573#UWT7 (statement). In 78X5SKJX8J/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Umberto Zannier NYKDC7DB3S
| URI | m2://inv/NYKDC7DB3S |
|---|---|
| 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#HK6U, Umberto Zannier (topic)
History
- 2026-11-02: add by m2/dev
NYKDDQVBK9 NYKDDQVBK9
| URI | m2://inv/NYKDDQVBK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#lem:close-reflexive (statement). In N54F33XE07, lem, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
Enumeration NYKGQBN7ZN
| URI | m2://inv/NYKGQBN7ZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caterpillar tree#9PYL, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
Definition NYKQ9BWP45
| URI | m2://inv/NYKQ9BWP45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurable acting group#9RYL, Definition (definition)
History
- 2026-11-02: add by m2/dev
NYKRBC07SW NYKRBC07SW
| URI | m2://inv/NYKRBC07SW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#XB9Z (statement). In GXHKRV5BPY/e1, proposition 3.17
History
- 2026-10-29: add by m2/v0.4.10
Nancy Farley Wood NYKTTFQD2J
| URI | m2://inv/NYKTTFQD2J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nancy Farley Wood, Nancy Farley Wood (topic). Also Wikidata Q20982098
History
- 2026-11-02: add by m2/dev
NYKVE0QSEN NYKVE0QSEN
| URI | m2://inv/NYKVE0QSEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.01473#D41N (statement). In ABS9M47F4K/e1, corollary 4.23
History
- 2026-10-27: add by m2/v0.3.6
Walter Kurt Hayman NYM4Z4HMDP
| URI | m2://inv/NYM4Z4HMDP |
|---|---|
| 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#DQET, Walter Kurt Hayman (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VP15, Walter Kurt Hayman (topic)
History
- 2026-11-02: add by m2/dev
NYM7M9M325 NYM7M9M325
| URI | m2://inv/NYM7M9M325 |
|---|---|
| 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.16779#7L6E (statement). In 1R7H0ZAHWA/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
NYMAEESNTX NYMAEESNTX
| URI | m2://inv/NYMAEESNTX |
|---|---|
| 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.21532#76Y3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Open book decomposition NYMCZ72EXF
| URI | m2://inv/NYMCZ72EXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open book decomposition, Open book decomposition (definition). Also Wikidata Q3527238
History
- 2026-11-02: add by m2/dev
Closed ball NYMDZVQK4X
| URI | m2://inv/NYMDZVQK4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#Q6J8, Closed ball (definition)
History
- 2026-11-02: add by m2/dev
NYMEBP7YBJ NYMEBP7YBJ
| URI | m2://inv/NYMEBP7YBJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#COGX (statement). In AQWX60Z563/e1, lemma 4.21
History
- 2026-10-28: add by m2/v0.4.2
Tate–Shafarevich conjecture NYMP7ZM70V
| URI | m2://inv/NYMP7ZM70V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tate–Shafarevich group#4VXL, Tate–Shafarevich conjecture (statement)
History
- 2026-11-02: add by m2/dev
Recurrence formula NYMWX8C938
| URI | m2://inv/NYMWX8C938 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli polynomials of the second kind#66TU, Recurrence formula (statement)
History
- 2026-11-02: add by m2/dev
minimum Hamming distance NYMXSRVZ0G
| URI | m2://inv/NYMXSRVZ0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130691832, minimum Hamming distance (definition). Also ProofWiki Definition:Minimum_Distance_of_Linear_Code
History
- 2026-10-26: add by m2/dev
NYN65YSNKF NYN65YSNKF
| URI | m2://inv/NYN65YSNKF |
|---|---|
| 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#UESH (statement). In TC5QA4AB4Z/e1, corollary 4.17
History
- 2026-10-30: add by m2/v0.4.12
NYN9RMKHZ7 NYN9RMKHZ7
| URI | m2://inv/NYN9RMKHZ7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#problem-2 (exercise). In P1C114YBXG, problem, section F
History
- 2026-11-01: add by m2/v0.6.13
NYNANXQ95R NYNANXQ95R
| URI | m2://inv/NYNANXQ95R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 1802.02910#OXO2 (statement). In AY2MA29921/e1, lemma 05
History
- 2026-10-27: add by m2/v0.3.5
Walter Purkert NYNAXQ47PM
| URI | m2://inv/NYNAXQ47PM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Purkert, Walter Purkert (topic). Also Wikidata Q2545849
History
- 2026-11-02: add by m2/dev
NYNG70W2GJ NYNG70W2GJ
| URI | m2://inv/NYNG70W2GJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03517#SZRJ (statement). In 3CGS9GSKTQ/e1, lemma 9.1
History
- 2026-10-29: add by m2/v0.4.12
NYNK64HSM4 NYNK64HSM4
| URI | m2://inv/NYNK64HSM4 |
|---|---|
| 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.11481#2ROI (statement). In 8XHK5ZCX7H/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.3
NYNVGKMJD8 NYNVGKMJD8
| URI | m2://inv/NYNVGKMJD8 |
|---|---|
| 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.11395#TLQF (statement). In T3W7SMWQ73/e1, proposition 34
History
- 2026-10-28: add by m2/v0.4.3
Hélyette Geman NYNZNGA6YV
| URI | m2://inv/NYNZNGA6YV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hélyette Geman, Hélyette Geman (topic). Also Wikidata Q5964221
History
- 2026-11-02: add by m2/dev
wellpowered NYP104G3F3
| URI | m2://inv/NYP104G3F3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#08IY, wellpowered (definition)
History
- 2026-11-02: add by m2/dev
Epistemic closure NYP6WCX7T8
| URI | m2://inv/NYP6WCX7T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epistemic closure, Epistemic closure (definition). Also Wikidata Q5383584
History
- 2026-11-02: add by m2/dev
NYP9G8DPTK NYP9G8DPTK
| URI | m2://inv/NYP9G8DPTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39104#MQAZ (statement). In V2NTW27MSJ/e1, corollary 1.6
History
- 2026-10-30: add by m2/v0.4.12
Odile Favaron NYPJGEEDTB
| URI | m2://inv/NYPJGEEDTB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HZLM, Odile Favaron (topic)
History
- 2026-11-02: add by m2/dev
NYPT5W51KR NYPT5W51KR
| URI | m2://inv/NYPT5W51KR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1010.3284#ZK0C (statement). In 7D3VBRZGMY/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
International Centre for Sports Studies NYQ6K4T6D2
| URI | m2://inv/NYQ6K4T6D2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Centre for Sports Studies, International Centre for Sports Studies (definition). Also Wikidata Q33121129
History
- 2026-11-02: add by m2/dev
NYQ79S5Z9V NYQ79S5Z9V
| URI | m2://inv/NYQ79S5Z9V |
|---|---|
| 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 2610.00247#09NJ (problem). In ZAM4S2XS9F/e1, problem C.1
History
- 2026-10-30: add by m2/v0.4.12
HP-34C NYQ93S38TX
| URI | m2://inv/NYQ93S38TX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-34C, HP-34C (definition). Also Wikidata Q783760
History
- 2026-11-02: add by m2/dev
Bygones principle NYQ9H2NG9D
| URI | m2://inv/NYQ9H2NG9D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunk cost#2AMT, Bygones principle (statement)
History
- 2026-11-02: add by m2/dev
NYQAVBGYD3 NYQAVBGYD3
| URI | m2://inv/NYQAVBGYD3 |
|---|---|
| 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.32937#OUUY (statement). In RB0SJRQP6X/e1, lemma 6.3
History
- 2026-10-31: add by m2/v0.5.6
NYQC6WT0PJ NYQC6WT0PJ
| URI | m2://inv/NYQC6WT0PJ |
|---|---|
| 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#A3VY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Formanek--Procesi NYQPTH1B0Z
| URI | m2://inv/NYQPTH1B0Z |
|---|---|
| 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.27204#8IZW, Formanek--Procesi (statement)
History
- 2026-11-01: add by m2/v0.6.15
NYQVXTTHXQ NYQVXTTHXQ
| URI | m2://inv/NYQVXTTHXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14380#OT28 (statement). In 2ZRQP063HP/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
congruence ideal NYQZZASJ4K
| URI | m2://inv/NYQZZASJ4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#1W6O, congruence ideal (definition)
History
- 2026-11-02: add by m2/dev
electric charge NYR2CQQFGP
| URI | m2://inv/NYR2CQQFGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 78A35 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1111, electric charge (topic). Also nLab electric charge, ProofWiki Definition:Electric_Charge
- wikipedia: Wikipedia Electric charge, Electric charge (definition). Also Wikidata Q1111
History
- 2026-10-26: add by m2/dev
Periodogram NYR3BRP9W6
| URI | m2://inv/NYR3BRP9W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodogram, Periodogram (definition). Also Wikidata Q587619
History
- 2026-11-02: add by m2/dev
NYR3TD2TH0 NYR3TD2TH0
| URI | m2://inv/NYR3TD2TH0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#example-2 (example). In RZP28ERRZV, example, section 61.4
History
- 2026-11-01: add by m2/v0.6.13
Anton Alekseev NYR60PN5B4
| URI | m2://inv/NYR60PN5B4 |
|---|---|
| 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#85QB, Anton Alekseev (topic)
History
- 2026-11-02: add by m2/dev
contraction NYR6ZG1M0V
| URI | m2://inv/NYR6ZG1M0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#M07I, contraction (definition)
History
- 2026-11-02: add by m2/dev
Tight binding NYRB32AH0E
| URI | m2://inv/NYRB32AH0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tight binding, Tight binding (definition). Also Wikidata Q902168
History
- 2026-11-02: add by m2/dev
Accuracy and growth contributions NYRGEGXJ1V
| URI | m2://inv/NYRGEGXJ1V |
|---|---|
| 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.32558#JFJS, Accuracy and growth contributions (statement). In SGQS629QNK/e1, proposition I.3
History
- 2026-10-31: add by m2/v0.5.6
NYRMX2EAJA NYRMX2EAJA
| URI | m2://inv/NYRMX2EAJA |
|---|---|
| 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 2507.05923#92XD (statement). In ZFKZ6YDT62/e1, lemma 13
History
- 2026-10-27: add by m2/v0.4.0
NYRYHGP1AK NYRYHGP1AK
| URI | m2://inv/NYRYHGP1AK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 0804.3628#5U1X (statement). In E2WHVW5VSD/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
elementary proposition NYRZBFY47K
| URI | m2://inv/NYRZBFY47K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#PKBD, elementary proposition (definition)
History
- 2026-11-02: add by m2/dev
Whittaker–Shannon interpolation formula NYS0Y798RN
| URI | m2://inv/NYS0Y798RN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whittaker–Shannon interpolation formula, Whittaker–Shannon interpolation formula (statement). Also Wikidata Q2018853
History
- 2026-11-02: add by m2/dev
600,000 NYS5331HQM
| URI | m2://inv/NYS5331HQM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 100,000#MHLT, 600,000 (unknown)
History
- 2026-11-02: add by m2/dev
Branching process NYS5W5P2WS
| URI | m2://inv/NYS5W5P2WS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#NRPW, Branching process (definition)
- wikipedia: Wikipedia List of statistics articles#MZJR, Branching process (definition)
- wikipedia: Wikipedia List of probability topics#LVYL, Branching process (definition)
History
- 2026-11-02: add by m2/dev
Arditi–Ginzburg equations NYS7KCQ784
| URI | m2://inv/NYS7KCQ784 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#TT6H, Arditi–Ginzburg equations (unknown)
History
- 2026-11-02: add by m2/dev
NYSJXPBPMC NYSJXPBPMC
| URI | m2://inv/NYSJXPBPMC |
|---|---|
| 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#F2QD (statement). In B9EX6K51RD/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.2
Coleman–Mandula theorem NYSPQZ32ZS
| URI | m2://inv/NYSPQZ32ZS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q671663, Coleman–Mandula theorem (statement). Also Wikidata Q671663
- thousand_plus: thousand_plus Q671663, Coleman–Mandula theorem (statement). Also Wikidata Q671663, Wikipedia Coleman–Mandula theorem
- wikipedia: Wikipedia Coleman–Mandula theorem, Coleman–Mandula theorem (statement). Also Wikidata Q671663
History
- 2026-10-26: add by m2/dev
Dual space NYSSK8N5XH
| URI | m2://inv/NYSSK8N5XH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of vector spaces in mathematics#T9TK, Dual space (definition)
- wikipedia: Wikipedia List of dualities#TSFQ, Dual space (definition)
History
- 2026-11-02: add by m2/dev
Category of commutative algebras NYT5D0ZZAH
| URI | m2://inv/NYT5D0ZZAH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of rings#PTE7, Category of commutative algebras (unknown)
History
- 2026-11-02: add by m2/dev
Physical geodesy NYTBWAMD2T
| URI | m2://inv/NYTBWAMD2T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Physical geodesy, Physical geodesy (topic). Also Wikidata Q1421717
History
- 2026-11-02: add by m2/dev
Definition NYTCTJM5Y4
| URI | m2://inv/NYTCTJM5Y4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Rham cohomology#29NS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Relationship square NYTCYE2W7X
| URI | m2://inv/NYTCYE2W7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relationship square, Relationship square (definition). Also Wikidata Q18393974
History
- 2026-11-02: add by m2/dev
NYTE38FTZF NYTE38FTZF
| URI | m2://inv/NYTE38FTZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26058#JVGI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mean value theorem NYTGFDPKH4
| URI | m2://inv/NYTGFDPKH4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential calculus#55WX, Mean value theorem (statement)
History
- 2026-11-02: add by m2/dev
Law of the instrument NYTJBTYKJB
| URI | m2://inv/NYTJBTYKJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#SZPU, Law of the instrument (unknown)
History
- 2026-11-02: add by m2/dev
Intraclass correlation NYTNHQ812Y
| URI | m2://inv/NYTNHQ812Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intraclass correlation, Intraclass correlation (definition). Also Wikidata Q1671540
History
- 2026-11-02: add by m2/dev
Negative multinomial distribution NYTQPCTAFN
| URI | m2://inv/NYTQPCTAFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative multinomial distribution, Negative multinomial distribution (definition). Also Wikidata Q6987231
History
- 2026-11-02: add by m2/dev
Este Haim NYTXWZQKSR
| URI | m2://inv/NYTXWZQKSR |
|---|---|
| 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#4UR0, Este Haim (unknown)
History
- 2026-11-02: add by m2/dev
Generalization NYV2XJ9689
| URI | m2://inv/NYV2XJ9689 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene star#XD7A, Generalization (statement)
History
- 2026-11-02: add by m2/dev
sublattice NYV48S8M39
| URI | m2://inv/NYV48S8M39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice (order)#DP5K, sublattice (definition)
History
- 2026-11-02: add by m2/dev
NYV63ZGK01 NYV63ZGK01
| URI | m2://inv/NYV63ZGK01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#definition-7 (definition). In RZP28ERRZV, definition, section 55.3.1
History
- 2026-11-01: add by m2/v0.6.13
NYVBAD8BC1 NYVBAD8BC1
| URI | m2://inv/NYVBAD8BC1 |
|---|---|
| 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#GWFD (definition). In 2E47BDDDR4/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.3.5
NYVF5C4XA2 NYVF5C4XA2
| URI | m2://inv/NYVF5C4XA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#VYRL (statement). In 42XHT97E64/e1, corollary 6.3
History
- 2026-10-29: add by m2/v0.4.12
NYVPHB2X5H NYVPHB2X5H
| URI | m2://inv/NYVPHB2X5H |
|---|---|
| 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.31243#L01I (statement). In E8FP48FJMZ/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
NYWBC51ME4 NYWBC51ME4
| URI | m2://inv/NYWBC51ME4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07114#33RH (statement). In HP3TM356J6/e1, fact 2
History
- 2026-10-29: add by m2/v0.4.10
NYWC83XJ4A NYWC83XJ4A
| URI | m2://inv/NYWC83XJ4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.04124#OOW9 (statement). In DB9WCCW840/e1, lemma 0.4
History
- 2026-10-29: add by m2/v0.4.12
NYWHXRMYHG NYWHXRMYHG
| URI | m2://inv/NYWHXRMYHG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#1UZW (definition). In CGA36VE1C5/e1, definition 2.1.7
History
- 2026-10-27: add by m2/v0.3.6
Riemann integrable, complex-valued function NYWJEQZNG4
| URI | m2://inv/NYWJEQZNG4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.1.3/riemann-integrable-complex-valued-function, Riemann integrable, complex-valued function (concept). In E59CDZA4DP, index, section 1.1.3
History
- 2026-11-01: add by m2/v0.6.13
NYWNT7SEJ7 NYWNT7SEJ7
| URI | m2://inv/NYWNT7SEJ7 |
|---|---|
| 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#QUF4 (statement). In 1QSCT53ZED/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
NYWPPVZVDC NYWPPVZVDC
| URI | m2://inv/NYWPPVZVDC |
|---|---|
| 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.24451#XYUN (statement)
History
- 2026-11-01: add by m2/v0.6.15
NYWQ72B59A NYWQ72B59A
| URI | m2://inv/NYWQ72B59A |
|---|---|
| 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 2608.24190#MD20 (definition). In DW7FVA587C/e1, definition 4.9
History
- 2026-10-27: add by m2/v0.3.5
Statistical population NYWRKTZB6F
| URI | m2://inv/NYWRKTZB6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5RJY, Statistical population (definition)
History
- 2026-11-02: add by m2/dev
NYWXS4T9XH NYWXS4T9XH
| URI | m2://inv/NYWXS4T9XH |
|---|---|
| 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.16657#9UW6 (statement). In SRQ37RX6MK/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
A nonzero degree-three pullback in every characteristic NYX2R55NY8
| URI | m2://inv/NYX2R55NY8 |
|---|---|
| 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.27204#U7SG, A nonzero degree-three pullback in every characteristic (statement)
History
- 2026-11-01: add by m2/v0.6.15
Principle of corresponding states NYX430EXNE
| URI | m2://inv/NYX430EXNE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Waals equation#U6G5, Principle of corresponding states (statement)
History
- 2026-11-02: add by m2/dev
NYX4QY40JY NYX4QY40JY
| URI | m2://inv/NYX4QY40JY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#prop:provability-exhaustive (statement). In PKGMM3P5QY, prop, section 17.7
History
- 2026-11-01: add by m2/v0.6.13
NYXASWS436 NYXASWS436
| URI | m2://inv/NYXASWS436 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29227#GVZ2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Third arcsine law NYXCG3R5B0
| URI | m2://inv/NYXCG3R5B0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arcsine laws (Wiener process)#4QMO, Third arcsine law (statement)
History
- 2026-11-02: add by m2/dev
Pre-audit comparison network NYXEH4QVJR
| URI | m2://inv/NYXEH4QVJR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19207#N0Q5, Pre-audit comparison network (definition). In BH3R0BA3PC/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Gaussian law NYXZ6X68AC
| URI | m2://inv/NYXZ6X68AC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > Gaussian law, Gaussian law (unknown). Also Mathlib ProbabilityTheory.gaussianReal
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > Gaussian law, Gaussian law (unknown). Also Mathlib ProbabilityTheory.gaussianReal
History
- 2026-10-26: add by m2/dev
NYY1612QFK NYY1612QFK
| URI | m2://inv/NYY1612QFK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#7N3Z (statement). In ZPT9XCCAPQ/e1, lemma 1.4.4
History
- 2026-10-31: add by m2/v0.5.6
NYY2KH4FZA NYY2KH4FZA
| URI | m2://inv/NYY2KH4FZA |
|---|---|
| Kind | example |
| 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#JEPW (example). In 68VEQQX68G/e1, example 2.9
History
- 2026-10-27: add by m2/v0.4.0
NYY6C7Z3VW NYY6C7Z3VW
| URI | m2://inv/NYY6C7Z3VW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroQuantification.tex#definition-1 (definition). In P1C114YBXG, definition, section D
History
- 2026-11-01: add by m2/v0.6.13
Notation NYYGHMBFK7
| URI | m2://inv/NYYGHMBFK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex configuration#KFGB, Notation (definition)
History
- 2026-11-02: add by m2/dev
NYYNGMCA8Y NYYNGMCA8Y
| URI | m2://inv/NYYNGMCA8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27151#0Y09 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement NYYR5AZXR1
| URI | m2://inv/NYYR5AZXR1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kramkov's optional decomposition theorem#R7DL, Statement (statement)
History
- 2026-11-02: add by m2/dev
Julia Robinson NYYRWNPQBT
| URI | m2://inv/NYYRWNPQBT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#25FB, Julia Robinson (topic)
History
- 2026-11-02: add by m2/dev
NYYY1F47MK NYYY1F47MK
| URI | m2://inv/NYYY1F47MK |
|---|---|
| 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.09019#J3B8 (statement). In 8V6YECFCC1/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
NYZ11R10FX NYZ11R10FX
| URI | m2://inv/NYZ11R10FX |
|---|---|
| Kind | statement |
| 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 2609.20679#7TO9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
NYZ8DGP7SZ NYZ8DGP7SZ
| URI | m2://inv/NYZ8DGP7SZ |
|---|---|
| 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.20690#A6SG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Generalizations NYZTSNQT8X
| URI | m2://inv/NYZTSNQT8X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit interval#WDKD, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
NYZW79TWHH NYZW79TWHH
| URI | m2://inv/NYZW79TWHH |
|---|---|
| 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.27834#0WFO (statement)
History
- 2026-11-01: add by m2/v0.6.15