Inventory rows NN
The cards of the rows of the inventory whose ids start with NN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
NN00S05J1F NN00S05J1F
| URI | m2://inv/NN00S05J1F |
|---|---|
| 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.21507#W1RE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Manjul Bhargava NN046DM0XZ
| URI | m2://inv/NN046DM0XZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PAD5, Manjul Bhargava (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DSRB, Manjul Bhargava (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YSG8, Manjul Bhargava (topic)
History
- 2026-11-02: add by m2/dev
NN05NGFWQQ NN05NGFWQQ
| URI | m2://inv/NN05NGFWQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.03612#DR3I (statement). In REDG6QVHM3/e1, theorem 4.13
History
- 2026-10-29: add by m2/v0.4.12
Results NN0DXT6KJT
| URI | m2://inv/NN0DXT6KJT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oriented matroid#GA4V, Results (statement)
History
- 2026-11-02: add by m2/dev
Infinityplusone NN0R1VDSJK
| URI | m2://inv/NN0R1VDSJK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinityplusone, Infinityplusone (topic). Also Wikidata Q133816356
History
- 2026-11-02: add by m2/dev
NN0TSPMXT2 NN0TSPMXT2
| URI | m2://inv/NN0TSPMXT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#cor:dolgodown (statement). In VNMV985MXX, cor, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
NN0TYZR6R2 NN0TYZR6R2
| URI | m2://inv/NN0TYZR6R2 |
|---|---|
| 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 2506.21337#0Z97 (statement). In EPZN0JTG2Z/e1, lemma 3.18
History
- 2026-10-27: add by m2/v0.3.5
Application NN0X1RE1GB
| URI | m2://inv/NN0X1RE1GB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval arithmetic#DI02, Application (example)
History
- 2026-11-02: add by m2/dev
Extensions NN0XBTGVR6
| URI | m2://inv/NN0XBTGVR6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Original proof of Gödel's completeness theorem#GDYI, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Examples NN187Y9G7T
| URI | m2://inv/NN187Y9G7T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore graph#Q6TJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Alexander Aigner NN1FCR9B2Y
| URI | m2://inv/NN1FCR9B2Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#5PUM, Alexander Aigner (topic)
History
- 2026-11-02: add by m2/dev
NN1P100J84 NN1P100J84
| URI | m2://inv/NN1P100J84 |
|---|---|
| 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.01390#091D (statement). In KDKXM018ES/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Diamond operator NN1Q35738V
| URI | m2://inv/NN1Q35738V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diamond operator, Diamond operator (definition). Also Wikidata Q5270975
History
- 2026-11-02: add by m2/dev
NN1QABBHNP NN1QABBHNP
| URI | m2://inv/NN1QABBHNP |
|---|---|
| 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 1002.0879#62O0 (statement). In M0SQY5EZN5/e1, theorem 2.3.13
History
- 2026-10-27: add by m2/v0.3.5
Definition NN1RSY2HW7
| URI | m2://inv/NN1RSY2HW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tropical projective space#2ZOH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theoni Pappas NN1ZCGV71Q
| URI | m2://inv/NN1ZCGV71Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theoni Pappas, Theoni Pappas (topic). Also Wikidata Q105580725
History
- 2026-11-02: add by m2/dev
William Thomas Fletcher NN20G8YECG
| URI | m2://inv/NN20G8YECG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Thomas Fletcher, William Thomas Fletcher (topic). Also Wikidata Q10987773
History
- 2026-11-02: add by m2/dev
Grain NN230RV3RP
| URI | m2://inv/NN230RV3RP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12480#HEEA, Grain (definition). In 585QYGX4X6/e1, definition 24
History
- 2026-10-28: add by m2/v0.4.2
Definition NN24YFM6GW
| URI | m2://inv/NN24YFM6GW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange polynomial#SSIQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
univalence axiom NN28B764PT
| URI | m2://inv/NN28B764PT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.3.1/univalence-axiom, univalence axiom (concept). In N54F33XE07, index, section 4.3.1
History
- 2026-11-01: add by m2/v0.6.13
Directional statistics NN2A6EWTWC
| URI | m2://inv/NN2A6EWTWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directional statistics, Directional statistics (definition). Also Wikidata Q3497519
History
- 2026-11-02: add by m2/dev
NN2BH7XY0E NN2BH7XY0E
| URI | m2://inv/NN2BH7XY0E |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38138#CJAB (unknown). In G97FA99ZEF/e1, unknown 3.2
History
- 2026-10-30: add by m2/v0.4.12
Identifiable victim effect NN2EZ9GEME
| URI | m2://inv/NN2EZ9GEME |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#WMW8, Identifiable victim effect (unknown)
History
- 2026-11-02: add by m2/dev
NN31W8YNZ7 NN31W8YNZ7
| URI | m2://inv/NN31W8YNZ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.22288#88W3 (definition). In X38P26DK6S/e1, definition 3.12
History
- 2026-10-27: add by m2/v0.4.0
Connected im kleinen NN3B74DBC0
| URI | m2://inv/NN3B74DBC0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally connected space#90AS, Connected im kleinen (unknown)
History
- 2026-11-02: add by m2/dev
Properties NN3EBEMWWA
| URI | m2://inv/NN3EBEMWWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycles and fixed points#ZNS9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Histogram equalization NN3F05AR7C
| URI | m2://inv/NN3F05AR7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#BF5Z, Histogram equalization (unknown)
History
- 2026-11-02: add by m2/dev
Mean and predicted response NN3HAT78WC
| URI | m2://inv/NN3HAT78WC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GO7A, Mean and predicted response (definition)
History
- 2026-11-02: add by m2/dev
NN3K88BH40 NN3K88BH40
| URI | m2://inv/NN3K88BH40 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29022#DU7S (statement)
History
- 2026-11-01: add by m2/v0.6.15
NN3P7VH3S2 NN3P7VH3S2
| URI | m2://inv/NN3P7VH3S2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39254#THSE (statement). In A59MZ9H284/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Error exponent NN3QPRAY7Y
| URI | m2://inv/NN3QPRAY7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error exponent, Error exponent (definition). Also Wikidata Q5395710
History
- 2026-11-02: add by m2/dev
Free distributive lattice NN48AVMBN2
| URI | m2://inv/NN48AVMBN2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributive lattice#KBAO, Free distributive lattice (unknown)
History
- 2026-11-02: add by m2/dev
NN49PW0RXK NN49PW0RXK
| URI | m2://inv/NN49PW0RXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14783#CUHP (statement). In Y3X5XY2J65/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
Examples NN4G7F65MH
| URI | m2://inv/NN4G7F65MH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect group#7DLE, Examples (example)
History
- 2026-11-02: add by m2/dev
Euler's formula NN4G81QB7F
| URI | m2://inv/NN4G81QB7F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometry#Q0UP, Euler's formula (statement)
History
- 2026-11-02: add by m2/dev
NN4NRMBXAQ NN4NRMBXAQ
| URI | m2://inv/NN4NRMBXAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21508#QBAG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Safer NN4RES7V8J
| URI | m2://inv/NN4RES7V8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#A4BJ, Safer (definition)
History
- 2026-11-02: add by m2/dev
Algebraic Geometry NN4S278J90
| URI | m2://inv/NN4S278J90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4723985, Algebraic Geometry (unknown). Also ProofWiki Book:Robin_Hartshorne/Algebraic_Geometry
- wikipedia: Wikipedia Algebraic Geometry (book), Algebraic Geometry (definition). Also Wikidata Q4723985
History
- 2026-10-26: add by m2/dev
NN54G1EKY4 NN54G1EKY4
| URI | m2://inv/NN54G1EKY4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#lem:connected-map-equiv-truncation (statement). In N54F33XE07, lem, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Luigi Ambrosio NN5B1JKF3V
| URI | m2://inv/NN5B1JKF3V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luigi Ambrosio, Luigi Ambrosio (topic). Also Wikidata Q967417
History
- 2026-11-02: add by m2/dev
Properties NN5EPFX3CP
| URI | m2://inv/NN5EPFX3CP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway's base 13 function#E7BO, Properties (statement)
History
- 2026-11-02: add by m2/dev
NN5HR8K8GW NN5HR8K8GW
| URI | m2://inv/NN5HR8K8GW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#RU90 (statement). In XEQD21EBTT/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
NN5PT8VV2D NN5PT8VV2D
| URI | m2://inv/NN5PT8VV2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05892#0XIF (statement). In PXWRTA62JK/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.10
Generalizations NN5VPDE6V8
| URI | m2://inv/NN5VPDE6V8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangent lines to circles#NRGH, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Sarah Depaoli NN62NVR0NG
| URI | m2://inv/NN62NVR0NG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sarah Depaoli, Sarah Depaoli (topic). Also Wikidata Q88070065
History
- 2026-11-02: add by m2/dev
Alternating singleton activation NN64X1WJRR
| URI | m2://inv/NN64X1WJRR |
|---|---|
| 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#JMSD, Alternating singleton activation (statement). In 5E9G06XJKC/e1, lemma E.8
History
- 2026-10-28: add by m2/v0.4.2
Compound of two snub dodecadodecahedra NN6A18TP77
| URI | m2://inv/NN6A18TP77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of two snub dodecadodecahedra, Compound of two snub dodecadodecahedra (definition). Also Wikidata Q12350728
History
- 2026-11-02: add by m2/dev
Orthogonal circles NN6A9XXDWT
| URI | m2://inv/NN6A9XXDWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal circles, Orthogonal circles (definition). Also Wikidata Q120207354
History
- 2026-11-02: add by m2/dev
NN6AZQ67BB NN6AZQ67BB
| URI | m2://inv/NN6AZQ67BB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22924#62EQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ring learning with errors key exchange NN6D3JXC32
| URI | m2://inv/NN6D3JXC32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring learning with errors key exchange, Ring learning with errors key exchange (definition). Also Wikidata Q21474241
History
- 2026-11-02: add by m2/dev
Adelard of Bath NN6HCA3JVJ
| URI | m2://inv/NN6HCA3JVJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adelard of Bath, Adelard of Bath (topic). Also Wikidata Q312372
History
- 2026-11-02: add by m2/dev
Concise NN6HQA9S9D
| URI | m2://inv/NN6HQA9S9D |
|---|---|
| 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.01828#1UE3, Concise (statement). In RQMJY73C8Q/e1, theorem II.3
History
- 2026-10-29: add by m2/v0.4.12
Otto Grün NN6N5FZZVH
| URI | m2://inv/NN6N5FZZVH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Otto Grün, Otto Grün (topic). Also Wikidata Q2038978
History
- 2026-11-02: add by m2/dev
NN6X5DVXK5 NN6X5DVXK5
| URI | m2://inv/NN6X5DVXK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#9XF7 (statement). In 9EMCPF1F2T/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Matthew D. Green NN6XP262ZV
| URI | m2://inv/NN6XP262ZV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EPJC, Matthew D. Green (topic)
History
- 2026-11-02: add by m2/dev
NN70AENV26 NN70AENV26
| URI | m2://inv/NN70AENV26 |
|---|---|
| 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.17269#INYK (statement). In HENEGTGCJ9/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
DeFries–Fulker regression NN78D8D426
| URI | m2://inv/NN78D8D426 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4LJ3, DeFries–Fulker regression (definition)
History
- 2026-11-02: add by m2/dev
NN7C5ND1GB NN7C5ND1GB
| URI | m2://inv/NN7C5ND1GB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#6MVK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ramification, trace, and norm filtration for a cyclic prime extension NN7EKYEYXA
| URI | m2://inv/NN7EKYEYXA |
|---|---|
| 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 2610.10583#J10H, Ramification, trace, and norm filtration for a cyclic prime extension (statement). In 5BZQS1KY9A/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Keldysh Institute of Applied Mathematics NN7G38QTK4
| URI | m2://inv/NN7G38QTK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keldysh Institute of Applied Mathematics, Keldysh Institute of Applied Mathematics (definition). Also Wikidata Q2489707
History
- 2026-11-02: add by m2/dev
NN7G9CYHGN NN7G9CYHGN
| URI | m2://inv/NN7G9CYHGN |
|---|---|
| Kind | statement |
| 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#VVJS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions NN7K1588BA
| URI | m2://inv/NN7K1588BA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncentral t-distribution#9ZYN, Definitions (definition)
History
- 2026-11-02: add by m2/dev
NN7QFJF3XF NN7QFJF3XF
| URI | m2://inv/NN7QFJF3XF |
|---|---|
| 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#EXB1 (statement). In PZRSZ19KAH/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
NN7TETTHW3 NN7TETTHW3
| URI | m2://inv/NN7TETTHW3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.15424#BCLT (definition). In NXYZ1EAWKN/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Carl Theodore Heisel NN7TJVMT77
| URI | m2://inv/NN7TJVMT77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Theodore Heisel, Carl Theodore Heisel (topic). Also Wikidata Q64374352
History
- 2026-11-02: add by m2/dev
Efim Zelmanov NN7X6YMNWM
| URI | m2://inv/NN7X6YMNWM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Efim Zelmanov, Efim Zelmanov (topic). Also Wikidata Q334054
History
- 2026-11-02: add by m2/dev
Extensions NN7XJG3CCP
| URI | m2://inv/NN7XJG3CCP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demetra+#A57H, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Convergence of the series NN819Q8WNF
| URI | m2://inv/NN819Q8WNF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#RNI6, Convergence of the series (statement)
History
- 2026-11-01: add by m2/v0.6.15
FEniCS Project NN8G7YRMBS
| URI | m2://inv/NN8G7YRMBS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#EEV9, FEniCS Project (unknown)
History
- 2026-11-02: add by m2/dev
Weak operator topology NN8HFDBYNN
| URI | m2://inv/NN8HFDBYNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak operator topology, Weak operator topology (definition). Also Wikidata Q3277121
History
- 2026-11-02: add by m2/dev
functional calculus NN8KNJ4QTC
| URI | m2://inv/NN8KNJ4QTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1474584, functional calculus (unknown). Also nLab functional calculus
- wikipedia: Wikipedia Functional calculus, Functional calculus (definition). Also Wikidata Q1474584
History
- 2026-10-26: add by m2/dev
NN8WTB6TYH NN8WTB6TYH
| URI | m2://inv/NN8WTB6TYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22708#FTM6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Summability of path weights NN8Z9E5X9R
| URI | m2://inv/NN8Z9E5X9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12731#YBU0, Summability of path weights (statement). In 2NCV1M6WYS/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Vladimir Koltchinskii NN95Y6BM9A
| URI | m2://inv/NN95Y6BM9A |
|---|---|
| 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#A662, Vladimir Koltchinskii (unknown)
History
- 2026-11-02: add by m2/dev
Example NN9F63E32D
| URI | m2://inv/NN9F63E32D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vieta jumping#UV70, Example (example)
History
- 2026-11-02: add by m2/dev
SPHINCS+ NN9NKXNZK4
| URI | m2://inv/NN9NKXNZK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SPHINCS+, SPHINCS+ (definition). Also Wikidata Q135184606
History
- 2026-11-02: add by m2/dev
Generalizations NN9PZK0WCJ
| URI | m2://inv/NN9PZK0WCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester–Gallai theorem#D5LZ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Algebraic properties NN9W8E1QMJ
| URI | m2://inv/NN9W8E1QMJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer#VX9P, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Multiple abstract variance analysis NN9Z95JXP9
| URI | m2://inv/NN9Z95JXP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple abstract variance analysis, Multiple abstract variance analysis (definition). Also Wikidata Q60792031
History
- 2026-11-02: add by m2/dev
Liouville's theorem NNA4M9CXHY
| URI | m2://inv/NNA4M9CXHY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#T28N, Liouville's theorem (statement)
History
- 2026-11-02: add by m2/dev
NNA8C63NWJ NNA8C63NWJ
| URI | m2://inv/NNA8C63NWJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#4J6Q (definition). In GM3S19KFDH/e1, definition 1.2
History
- 2026-10-30: add by m2/v0.4.12
NNAJ5DEKTZ NNAJ5DEKTZ
| URI | m2://inv/NNAJ5DEKTZ |
|---|---|
| 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.12357#NUOQ (statement). In 1F26AF81XP/e1, theorem 1.13
History
- 2026-10-28: add by m2/v0.4.2
Examples NNAMAF40M4
| URI | m2://inv/NNAMAF40M4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron's formula#XFQM, Examples (example)
History
- 2026-11-02: add by m2/dev
NNATF1PTYF NNATF1PTYF
| URI | m2://inv/NNATF1PTYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22218#WT7H (statement). In 338GKREFVP/e1, corollary 59
History
- 2026-10-27: add by m2/v0.4.0
Comparison with the nonlinear upper bound NNATT5VJZG
| URI | m2://inv/NNATT5VJZG |
|---|---|
| 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.12641#RQVP, Comparison with the nonlinear upper bound (statement). In X5BYGZZHPF/e1, lemma B.3
History
- 2026-10-28: add by m2/v0.4.2
Example NNB6ACSBRN
| URI | m2://inv/NNB6ACSBRN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial proof#56S6, Example (example)
History
- 2026-11-02: add by m2/dev
Cross products of martingale sums over disjoint rounds NNB74KAKMR
| URI | m2://inv/NNB74KAKMR |
|---|---|
| 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.04671#5C7R, Cross products of martingale sums over disjoint rounds (statement). In BYP65TRGDT/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.12
Sheila May Edmonds NNBD0W1BFP
| URI | m2://inv/NNBD0W1BFP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheila May Edmonds, Sheila May Edmonds (topic). Also Wikidata Q27453588
History
- 2026-11-02: add by m2/dev
NNBTTQDTFJ NNBTTQDTFJ
| URI | m2://inv/NNBTTQDTFJ |
|---|---|
| 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#TE4C (statement). In 5E9G06XJKC/e1, lemma D.30
History
- 2026-10-28: add by m2/v0.4.2
NNBYAW33MA NNBYAW33MA
| URI | m2://inv/NNBYAW33MA |
|---|---|
| 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 2511.08099#3VBC (statement). In 5NK801XBGA/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
NNBYXZHX58 NNBYXZHX58
| URI | m2://inv/NNBYXZHX58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#MMNS (statement). In 7QXAZXGNPQ/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Moments with a linear character NNC7WA6VDX
| URI | m2://inv/NNC7WA6VDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#WKB5, Moments with a linear character (statement). In ZZER8ZBSCR/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.12
Binet-cauchy identity NNC9EKCBGC
| URI | m2://inv/NNC9EKCBGC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#L7CY, Binet-cauchy identity (statement)
History
- 2026-11-02: add by m2/dev
The Artin conjecture NNCMVT65WS
| URI | m2://inv/NNCMVT65WS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin L-function#1Z7W, The Artin conjecture (statement)
History
- 2026-11-02: add by m2/dev
Power-law contraction-sum estimates NNCNCJ98P2
| URI | m2://inv/NNCNCJ98P2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40338#OFG5, Power-law contraction-sum estimates (statement). In K5H6GS0SGQ/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
NNCPGQ2C26 NNCPGQ2C26
| URI | m2://inv/NNCPGQ2C26 |
|---|---|
| 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#HN3Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kobon triangle problem NNCQE33TBW
| URI | m2://inv/NNCQE33TBW |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#JBGC, Kobon triangle problem (conjecture)
History
- 2026-11-02: add by m2/dev
NNCSAABWNM NNCSAABWNM
| URI | m2://inv/NNCSAABWNM |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-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.27366#FUAO (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Applications NNCTS6N8HZ
| URI | m2://inv/NNCTS6N8HZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigorous coupled-wave analysis#9J67, Applications (example)
History
- 2026-11-02: add by m2/dev
NNCW8W5MBC NNCW8W5MBC
| URI | m2://inv/NNCW8W5MBC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 8.10
History
- 2026-11-01: add by m2/v0.6.13
Example NND7VE72RS
| URI | m2://inv/NND7VE72RS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pollard's rho algorithm for logarithms#PX9V, Example (example)
History
- 2026-11-02: add by m2/dev
NNDBT7J1NE NNDBT7J1NE
| URI | m2://inv/NNDBT7J1NE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28374#S5K1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
quasi-finite NNDH3DS4AQ
| URI | m2://inv/NNDH3DS4AQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#M7Z4, quasi-finite (definition)
History
- 2026-11-02: add by m2/dev
Cantor's diagonal argument NNDJ84HRVE
| URI | m2://inv/NNDJ84HRVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#R3J4, Cantor's diagonal argument (definition)
History
- 2026-11-02: add by m2/dev
Yff circles NNDKS4XQWH
| URI | m2://inv/NNDKS4XQWH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3665044, Yff circles (concept). Also MathWorld YffCircles
History
- 2026-10-26: add by m2/dev
NNDM3PZY97 NNDM3PZY97
| URI | m2://inv/NNDM3PZY97 |
|---|---|
| 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.31476#0ZGD (statement). In PC1CFE8CJC/e1, lemma 6.2
History
- 2026-10-31: add by m2/v0.5.6
NNDZ9YWCBW NNDZ9YWCBW
| URI | m2://inv/NNDZ9YWCBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#M2A1 (statement). In YYV9SHAPCZ/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
NNEA78V2EF NNEA78V2EF
| URI | m2://inv/NNEA78V2EF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#AGZZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
NNEJ3KFJK2 NNEJ3KFJK2
| URI | m2://inv/NNEJ3KFJK2 |
|---|---|
| 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.09672#5N33 (statement). In TXBXCPP0QH/e1, lemma 35
History
- 2026-10-29: add by m2/v0.4.10
NNEY20VWRY NNEY20VWRY
| URI | m2://inv/NNEY20VWRY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 41.6
History
- 2026-11-01: add by m2/v0.6.13
NNFAJ3N4NP NNFAJ3N4NP
| URI | m2://inv/NNFAJ3N4NP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35632#5WLP (statement). In Q74G3BVZAQ/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.3.5
Order-2 square tiling honeycomb NNFDDSKPXA
| URI | m2://inv/NNFDDSKPXA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#W0IB, Order-2 square tiling honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
Véronique Gayrard NNFHDPJ2R9
| URI | m2://inv/NNFHDPJ2R9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Véronique Gayrard, Véronique Gayrard (topic). Also Wikidata Q102419442
History
- 2026-11-02: add by m2/dev
Example NNFHVNZFGP
| URI | m2://inv/NNFHVNZFGP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon–Fano coding#TW1Y, Example (example)
History
- 2026-11-02: add by m2/dev
NNFRDFMPKV NNFRDFMPKV
| URI | m2://inv/NNFRDFMPKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05672#JQYX (statement). In BQGX0XE2A6/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Sanad ibn Ali NNFZQYB4X1
| URI | m2://inv/NNFZQYB4X1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sanad ibn Ali, Sanad ibn Ali (topic). Also Wikidata Q4119027
History
- 2026-11-02: add by m2/dev
NNG8YSPRC4 NNG8YSPRC4
| URI | m2://inv/NNG8YSPRC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29022#X6RY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Decompositions NNGA9MG8MX
| URI | m2://inv/NNGA9MG8MX |
|---|---|
| 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.38220#5A89, Decompositions (statement). In 1AC4S19925/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
NNGBD57JES NNGBD57JES
| URI | m2://inv/NNGBD57JES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20401#L14P (statement)
History
- 2026-11-02: add by m2/v0.6.18
NNGJ2JF05F NNGJ2JF05F
| URI | m2://inv/NNGJ2JF05F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16431#PU6T (example). In 7NX9HA8VPM/e1, example 2.3
History
- 2026-10-28: add by m2/v0.4.2
NNGPR4G1SZ NNGPR4G1SZ
| URI | m2://inv/NNGPR4G1SZ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#0N6W (conjecture). In S8NB83KQX3/e1, conjecture 3
History
- 2026-10-31: add by m2/v0.5.6
Definition NNGTVXV99Z
| URI | m2://inv/NNGTVXV99Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive process#2EUY, Definition (definition)
History
- 2026-11-02: add by m2/dev
NNH7K3SZJN NNH7K3SZJN
| URI | m2://inv/NNH7K3SZJN |
|---|---|
| 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.28985#6R19 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NNHDYZ1F8K NNHDYZ1F8K
| URI | m2://inv/NNHDYZ1F8K |
|---|---|
| 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.21414#UOEE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Philip Dawid NNHERKZ00C
| URI | m2://inv/NNHERKZ00C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#V0K6, Philip Dawid (unknown)
History
- 2026-11-02: add by m2/dev
Femmes et mathématiques NNJ28GMT78
| URI | m2://inv/NNJ28GMT78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Femmes et mathématiques, Femmes et mathématiques (definition). Also Wikidata Q6455900
History
- 2026-11-02: add by m2/dev
NNJ6VPSC17 NNJ6VPSC17
| URI | m2://inv/NNJ6VPSC17 |
|---|---|
| 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 2401.05118#V7MV (statement). In BT0T0QS2TN/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.0
Definitions NNJ8V2K8VM
| URI | m2://inv/NNJ8V2K8VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homological connectivity#N3US, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Pythagorean comma NNJDPQEDW8
| URI | m2://inv/NNJDPQEDW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean comma, Pythagorean comma (definition). Also Wikidata Q540508
History
- 2026-11-02: add by m2/dev
Display list NNJH7GF541
| URI | m2://inv/NNJH7GF541 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#EVEK, Display list (unknown)
History
- 2026-11-02: add by m2/dev
NNJN1Q4Z4Y NNJN1Q4Z4Y
| URI | m2://inv/NNJN1Q4Z4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.13841#XJ4Q (statement). In AB2EMMXC7X/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Consumption distribution NNJQC5ERYP
| URI | m2://inv/NNJQC5ERYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consumption distribution, Consumption distribution (definition). Also Wikidata Q5164764
History
- 2026-11-02: add by m2/dev
NNJR4D7VPR NNJR4D7VPR
| URI | m2://inv/NNJR4D7VPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16580#ONGD (statement). In MQPBZX4DR6/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.2
Formula NNJWSH2PTC
| URI | m2://inv/NNJWSH2PTC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E series of preferred numbers#GIWH, Formula (statement)
History
- 2026-11-02: add by m2/dev
NNK07FBY24 NNK07FBY24
| URI | m2://inv/NNK07FBY24 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.20238#JFRZ (example). In V8CA0STSPB/e1, example 12
History
- 2026-10-27: add by m2/v0.3.5
combinatorics NNK7CENEEQ
| URI | m2://inv/NNK7CENEEQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Combinatorics 0JKW7W7XFR |
Mentions
- wikidata: Wikidata Q76592, combinatorics (topic). Also MathWorld Combinatorics, nLab combinatorics, ProofWiki Definition:Combinatorics
- wikipedia: Wikipedia Combinatorics, Combinatorics (topic). Also Wikidata Q76592
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
NNKAQ677G4 NNKAQ677G4
| URI | m2://inv/NNKAQ677G4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07631#GC6Q (statement). In 6JVJ5GCQ1E/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.10
sphericon NNKJE21A2S
| URI | m2://inv/NNKJE21A2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7576723, sphericon (unknown). Also MathWorld Sphericon
- wikipedia: Wikipedia Sphericon, Sphericon (definition). Also Wikidata Q7576723
History
- 2026-10-26: add by m2/dev
NNKNVCNTT7 NNKNVCNTT7
| URI | m2://inv/NNKNVCNTT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#4AS0 (statement). In 8XAKGH8S2D/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Nancy L. Garcia NNKYV83HY8
| URI | m2://inv/NNKYV83HY8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nancy L. Garcia, Nancy L. Garcia (topic). Also Wikidata Q59267334
History
- 2026-11-02: add by m2/dev
Core rules and schematic principles NNM6260THA
| URI | m2://inv/NNM6260THA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional logic#2Y7C, Core rules and schematic principles (statement)
History
- 2026-11-02: add by m2/dev
NNM66K6E4G NNM66K6E4G
| URI | m2://inv/NNM66K6E4G |
|---|---|
| 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.17698#3HSW (statement). In DAH99JEYHF/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.2
NNMAEHC9Z0 NNMAEHC9Z0
| URI | m2://inv/NNMAEHC9Z0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#937U (definition). In JXTG8KP95P/e1, definition 2.16
History
- 2026-10-30: add by m2/v0.4.12
NNMDHA53WQ NNMDHA53WQ
| URI | m2://inv/NNMDHA53WQ |
|---|---|
| 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.00103#KEK0 (statement). In S7RDXJWP1A/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
Algorithm NNMEC8FE1V
| URI | m2://inv/NNMEC8FE1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh quotient iteration#36Z1, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Applications NNMEWTSAMG
| URI | m2://inv/NNMEWTSAMG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function theorem#5631, Applications (example)
History
- 2026-11-02: add by m2/dev
NNMEY9PQD5 NNMEY9PQD5
| URI | m2://inv/NNMEY9PQD5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27136#KRH9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Theorem NNMQMKVXK9
| URI | m2://inv/NNMQMKVXK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-adjoint operator#L8F0, Theorem (statement)
History
- 2026-11-02: add by m2/dev
geometry NNMQQ3A5HJ
| URI | m2://inv/NNMQQ3A5HJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8087, geometry (topic). Also ProofWiki Definition:Geometry
- wikipedia: Wikipedia Geometry, Geometry (topic). Also Wikidata Q8087
History
- 2026-10-26: add by m2/dev
Definition NNMY1WF6GP
| URI | m2://inv/NNMY1WF6GP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorion#DHF6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Probabilistic formulation: Birkhoff–Khinchin theorem NNN8S7BXY3
| URI | m2://inv/NNN8S7BXY3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodic theory#1NH7, Probabilistic formulation: Birkhoff–Khinchin theorem (statement)
History
- 2026-11-02: add by m2/dev
NNNBZTX7ZG NNNBZTX7ZG
| URI | m2://inv/NNNBZTX7ZG |
|---|---|
| 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.21937#A0J9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
lobster graph NNNEC7ZZ8T
| URI | m2://inv/NNNEC7ZZ8T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q126862678, lobster graph (unknown). Also MathWorld LobsterGraph
History
- 2026-10-26: add by m2/dev
Definition NNNM9RMHX2
| URI | m2://inv/NNNM9RMHX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Package-deal fallacy#AR8E, Definition (definition)
History
- 2026-11-02: add by m2/dev
NNNPW93G23 NNNPW93G23
| URI | m2://inv/NNNPW93G23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#XMZG (statement). In F1CYVYK7YB/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.10
542 symmetry NNNSNSGGDD
| URI | m2://inv/NNNSNSGGDD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#M8JQ, 542 symmetry (object)
History
- 2026-11-02: add by m2/dev
NNNYK21820 NNNYK21820
| URI | m2://inv/NNNYK21820 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#BS3O (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robert J. Vanderbei NNP83ED5YV
| URI | m2://inv/NNP83ED5YV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert J. Vanderbei, Robert J. Vanderbei (topic). Also Wikidata Q7345990
History
- 2026-11-02: add by m2/dev
NNPB291BQZ NNPB291BQZ
| URI | m2://inv/NNPB291BQZ |
|---|---|
| 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 2207.07461#L158 (statement). In GAG532VMPF/e1, lemma 6.2.9
History
- 2026-10-27: add by m2/v0.3.5
A free-cover nerve is not a realization NNPCRB1QP5
| URI | m2://inv/NNPCRB1QP5 |
|---|---|
| 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.32733#ZYYW, A free-cover nerve is not a realization (statement). In PCAS8S14J6/e1, proposition B.8
History
- 2026-10-31: add by m2/v0.5.6
Exact Morrey-parameter threshold NNPDYCXA5E
| URI | m2://inv/NNPDYCXA5E |
|---|---|
| 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.00292#U582, Exact Morrey-parameter threshold (statement). In NX3EFW0D0X/e1, proposition 5.5
History
- 2026-10-30: add by m2/v0.4.12
Fisher's method NNPFEVF0ZG
| URI | m2://inv/NNPFEVF0ZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher's method, Fisher's method (definition). Also Wikidata Q5454737
History
- 2026-11-02: add by m2/dev
Michael Hill NNPG5CATY2
| URI | m2://inv/NNPG5CATY2 |
|---|---|
| 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#25N1, Michael Hill (unknown)
History
- 2026-11-02: add by m2/dev
Double suspension theorem NNPK3RJD56
| URI | m2://inv/NNPK3RJD56 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double suspension theorem, Double suspension theorem (statement). Also Wikidata Q5300096
History
- 2026-11-02: add by m2/dev
Emptiness problem NNPMCFMM99
| URI | m2://inv/NNPMCFMM99 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#QKQI, Emptiness problem (problem)
History
- 2026-11-02: add by m2/dev
pattern matching NNPNFP7F37
| URI | m2://inv/NNPNFP7F37 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.6/pattern-matching, pattern matching (concept). In N54F33XE07, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
holyhedron NNPXCDYXEV
| URI | m2://inv/NNPXCDYXEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17030523, holyhedron (unknown). Also MathWorld Holyhedron
- wikipedia: Wikipedia Holyhedron, Holyhedron (definition). Also Wikidata Q17030523
History
- 2026-10-26: add by m2/dev
Friedrich Heinrich Albert Wangerin NNQ1RYYKAX
| URI | m2://inv/NNQ1RYYKAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#QKZL, Friedrich Heinrich Albert Wangerin (unknown)
History
- 2026-11-02: add by m2/dev
NNQ7KMKEA6 NNQ7KMKEA6
| URI | m2://inv/NNQ7KMKEA6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#UJ97 (problem). In A93R925Z24/e1, problem 1.8
History
- 2026-10-30: add by m2/v0.4.12
NNQGWSSVBB NNQGWSSVBB
| URI | m2://inv/NNQGWSSVBB |
|---|---|
| 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 2509.16898#CZ0Y (statement). In FXBFTRHBAH/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Examples NNQKN8RGQV
| URI | m2://inv/NNQKN8RGQV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate of natural increase#1RB4, Examples (example)
History
- 2026-11-02: add by m2/dev
HTTP Public Key Pinning NNQNAY31H0
| URI | m2://inv/NNQNAY31H0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HTTP Public Key Pinning, HTTP Public Key Pinning (definition). Also Wikidata Q20426300
History
- 2026-11-02: add by m2/dev
Next-block pseudoentropy NNQQTNKKCY
| URI | m2://inv/NNQQTNKKCY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#VAMY, Next-block pseudoentropy (definition). In 7D5MMP8XB5/e1, definition 2.21
History
- 2026-10-28: add by m2/v0.4.2
Reference counting NNQVHHAF8F
| URI | m2://inv/NNQVHHAF8F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#RU0Q, Reference counting (unknown)
History
- 2026-11-02: add by m2/dev
NNQWJJMSJQ NNQWJJMSJQ
| URI | m2://inv/NNQWJJMSJQ |
|---|---|
| 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 2609.37967#BNBV (statement). In BR2E3CXQE0/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
NNQXQPBEM2 NNQXQPBEM2
| URI | m2://inv/NNQXQPBEM2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-20 (proof). In N54F33XE07, proof, section 3.7
History
- 2026-11-01: add by m2/v0.6.13
Escaping set NNR0G7KH63
| URI | m2://inv/NNR0G7KH63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Escaping set, Escaping set (definition). Also Wikidata Q15924675
History
- 2026-11-02: add by m2/dev
Grün's lemma NNR3G70M9Y
| URI | m2://inv/NNR3G70M9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect group#QHK9, Grün's lemma (statement)
History
- 2026-11-02: add by m2/dev
argument NNR7RTDA89
| URI | m2://inv/NNR7RTDA89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex plane#7VQP, argument (definition)
- wikipedia: Wikipedia Complex plane#OBWP, modulus (definition)
History
- 2026-11-02: add by m2/dev
Lafforgue's theorem NNR9V4BM01
| URI | m2://inv/NNR9V4BM01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QV37, Lafforgue's theorem (statement)
History
- 2026-11-02: add by m2/dev
Schlüsselgerät 39 NNRMSBD7X1
| URI | m2://inv/NNRMSBD7X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schlüsselgerät 39, Schlüsselgerät 39 (definition). Also Wikidata Q1643023
History
- 2026-11-02: add by m2/dev
Argumentation theory NNRR6Y7H8Y
| URI | m2://inv/NNRR6Y7H8Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argumentation theory, Argumentation theory (topic). Also Wikidata Q270105
History
- 2026-11-02: add by m2/dev
NNRVD2NAJY NNRVD2NAJY
| URI | m2://inv/NNRVD2NAJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07718#D5J8 (statement). In CEKW9CNVVW/e1, lemma 6.11
History
- 2026-10-29: add by m2/v0.4.10
NNS16NTV1S NNS16NTV1S
| URI | m2://inv/NNS16NTV1S |
|---|---|
| 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.11902#Y3Y8 (statement). In K66QKM4N5E/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.3
Dual defect bounds NNS2AC4NWN
| URI | m2://inv/NNS2AC4NWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-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.06739#BU6B, Dual defect bounds (statement). In HA9B7PD0YV/e1, corollary 34
History
- 2026-10-29: add by m2/v0.4.10
Invariant distribution bias NNS7R0C51P
| URI | m2://inv/NNS7R0C51P |
|---|---|
| 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 2610.06308#76RA, Invariant distribution bias (statement). In HTWSDDAWGS/e1, proposition A.13
History
- 2026-10-29: add by m2/v0.4.10
NNS95WJ34E NNS95WJ34E
| URI | m2://inv/NNS95WJ34E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.01916#TTXH (statement). In XTGB5Z08YH/e1, theorem 3.23
History
- 2026-10-27: add by m2/v0.4.0
Variants NNSEWXA7WN
| URI | m2://inv/NNSEWXA7WN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goal programming#D3O2, Variants (statement)
History
- 2026-11-02: add by m2/dev
entire NNSJNJD86G
| URI | m2://inv/NNSJNJD86G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#VKHB, entire (definition)
History
- 2026-11-02: add by m2/dev
NNSTPBSC9A NNSTPBSC9A
| URI | m2://inv/NNSTPBSC9A |
|---|---|
| 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 2303.00676#8L7G (statement). In 5351H04TJY/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.0
NNSY9B7WJ3 NNSY9B7WJ3
| URI | m2://inv/NNSY9B7WJ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01888#82SG (statement). In A89G9GMPC9/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
NNT10JHDNX NNT10JHDNX
| URI | m2://inv/NNT10JHDNX |
|---|---|
| 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 2605.30285#IXX6 (statement). In YMY0NNSM27/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.6
Intersection curve NNT2VY2ZN6
| URI | m2://inv/NNT2VY2ZN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection curve, Intersection curve (definition). Also Wikidata Q15846660
History
- 2026-11-02: add by m2/dev
NNT2YQMMA4 NNT2YQMMA4
| URI | m2://inv/NNT2YQMMA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.36332#HP0V (statement). In APK7X4MFAX/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Exact imaginary-diameter certificate NNT3F66S1X
| URI | m2://inv/NNT3F66S1X |
|---|---|
| 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.25027#RQ67, Exact imaginary-diameter certificate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Marked-product transfer NNT56WJ9SX
| URI | m2://inv/NNT56WJ9SX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#I7JD, Marked-product transfer (statement)
History
- 2026-11-01: add by m2/v0.6.15
NNT5GXHAEZ NNT5GXHAEZ
| URI | m2://inv/NNT5GXHAEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/operations.tex#relationoperations (definition). In PKGMM3P5QY, defn, section 80.3
History
- 2026-11-01: add by m2/v0.6.13
NNT9GXFAZX NNT9GXFAZX
| URI | m2://inv/NNT9GXFAZX |
|---|---|
| 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.21635#BV39 (statement). In BVA5MGH9FK/e1, theorem 5
History
- 2026-10-27: add by m2/v0.4.2
Naive height NNTBAP2W3G
| URI | m2://inv/NNTBAP2W3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#1PB9, Naive height (definition)
History
- 2026-11-02: add by m2/dev
NNTKNRC778 NNTKNRC778
| URI | m2://inv/NNTKNRC778 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09809#OYM3 (statement). In 7NKQ6PR78N/e1, proposition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Y-K index NNTKT28QD0
| URI | m2://inv/NNTKT28QD0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skewness#NNEF, Y-K index (unknown)
History
- 2026-11-02: add by m2/dev
NNTQEM8W6C NNTQEM8W6C
| URI | m2://inv/NNTQEM8W6C |
|---|---|
| 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.25345#UWIK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tychonoff's theorem NNTTYWPSVV
| URI | m2://inv/NNTTYWPSVV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#THV2, Tychonoff's theorem (statement)
History
- 2026-11-02: add by m2/dev
Jean Frédéric Frenet NNTY9V1SF7
| URI | m2://inv/NNTY9V1SF7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Frédéric Frenet, Jean Frédéric Frenet (topic). Also Wikidata Q205331
History
- 2026-11-02: add by m2/dev
NNV1GCQPP9 NNV1GCQPP9
| URI | m2://inv/NNV1GCQPP9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#WNTY (statement). In 9B5TNEBJHV/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
Distance squared NNV85N6GF8
| URI | m2://inv/NNV85N6GF8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean distance#6KHO, Distance squared (unknown)
History
- 2026-11-02: add by m2/dev
NNV8WQFACH NNV8WQFACH
| URI | m2://inv/NNV8WQFACH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#TVSK (definition). In F3BKXXPR3K/e1, definition A.7
History
- 2026-10-27: add by m2/v0.4.2
Eugene Dynkin NNVAAQGSYX
| URI | m2://inv/NNVAAQGSYX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#QFVV, Eugene Dynkin (topic)
History
- 2026-11-02: add by m2/dev
NNVACYMQH6 NNVACYMQH6
| URI | m2://inv/NNVACYMQH6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/metatheory/compactness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 65.1
History
- 2026-11-01: add by m2/v0.6.13
Implementations NNVG5FRX90
| URI | m2://inv/NNVG5FRX90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whirlpool (hash function)#I34R, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Naum Shor NNVM7VHCW4
| URI | m2://inv/NNVM7VHCW4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7G6Q, Naum Shor (topic)
History
- 2026-11-02: add by m2/dev
Definition NNVQSJCQMN
| URI | m2://inv/NNVQSJCQMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind zeta function#JDVJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
NNVTQDWM6T NNVTQDWM6T
| URI | m2://inv/NNVTQDWM6T |
|---|---|
| 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.04600#AES1 (statement). In 4V64K0DYSV/e1, lemma I.8.5
History
- 2026-10-29: add by m2/v0.4.12
Uniform order-$p$ regularity NNVYCB7V4Q
| URI | m2://inv/NNVYCB7V4Q |
|---|---|
| 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.01843#4OK6, Uniform order-$p$ regularity (statement). In EDG9ZFDSWK/e1, lemma B.20
History
- 2026-10-29: add by m2/v0.4.12
NNVZF84F29 NNVZF84F29
| URI | m2://inv/NNVZF84F29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16059#ZNZR (statement). In 51W7AECQDA/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Example NNW52BSA86
| URI | m2://inv/NNW52BSA86 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line chart#ZH2A, Example (example)
History
- 2026-11-02: add by m2/dev
Completion of partial permutations NNWB06A0TD
| URI | m2://inv/NNWB06A0TD |
|---|---|
| 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.29671#77BF, Completion of partial permutations (statement)
History
- 2026-11-01: add by m2/v0.6.15
NNWF2APHJ7 NNWF2APHJ7
| URI | m2://inv/NNWF2APHJ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06253#VSQE (definition). In DRVCY1VARV/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
NNWPK9RQMG NNWPK9RQMG
| URI | m2://inv/NNWPK9RQMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv alg-geom/9506022#ORMD (statement). In AQGEM4XAKD/e1, theorem 1.16
History
- 2026-10-27: add by m2/v0.3.5
NNWRSC4QYM NNWRSC4QYM
| URI | m2://inv/NNWRSC4QYM |
|---|---|
| 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.30664#5LSX (statement). In ZZGDNKDVJW/e1, proposition 2.5
History
- 2026-10-31: add by m2/v0.5.6
NNWYCKBTWN NNWYCKBTWN
| URI | m2://inv/NNWYCKBTWN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-50 (exercise). In E59CDZA4DP, exercise, section 1.6.1
History
- 2026-11-01: add by m2/v0.6.13
NNXMHQSFA1 NNXMHQSFA1
| URI | m2://inv/NNXMHQSFA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.10964#L6K6 (statement). In 16KVMD76PZ/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.3
The open induction principle NNXPF3SNRN
| URI | m2://inv/NNXPF3SNRN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completeness of the real numbers#XYSQ, The open induction principle (statement)
History
- 2026-11-02: add by m2/dev
De Morgan's laws NNXW644W3F
| URI | m2://inv/NNXW644W3F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#3MKY, De Morgan's laws (statement)
History
- 2026-11-02: add by m2/dev
reduced NNXZDBBFC4
| URI | m2://inv/NNXZDBBFC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#N0FP, reduced (definition)
History
- 2026-11-02: add by m2/dev
NNYGDNDHJM NNYGDNDHJM
| URI | m2://inv/NNYGDNDHJM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20458#KCW2 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Affine B\'ezout length NNYH3AKT4S
| URI | m2://inv/NNYH3AKT4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33327#18Z6, Affine B\'ezout length (statement). In A5R31P82BK/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
NNYKPQ5B79 NNYKPQ5B79
| URI | m2://inv/NNYKPQ5B79 |
|---|---|
| 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.16010#TJI5 (statement). In AQJXKF6WZP/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
NNYS7X6WPA NNYS7X6WPA
| URI | m2://inv/NNYS7X6WPA |
|---|---|
| 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.31604#99HP (statement). In GSN5YTQS2K/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
NNZ52N01TD NNZ52N01TD
| URI | m2://inv/NNZ52N01TD |
|---|---|
| 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.13817#RRBY (statement). In BMSAXTDV47/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Error correction model NNZ7CVW5TM
| URI | m2://inv/NNZ7CVW5TM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TOIH, Error correction model (definition)
History
- 2026-11-02: add by m2/dev
A torus of dimension $d-1$ NNZM5BSQ2A
| URI | m2://inv/NNZM5BSQ2A |
|---|---|
| Kind | example |
| 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#TFFX, A torus of dimension $d-1$ (example)
History
- 2026-11-01: add by m2/v0.6.15
NNZPFW40ZA NNZPFW40ZA
| URI | m2://inv/NNZPFW40ZA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.18744#OSSK (example). In YRWZ02BGEF/e1, example 3.6
History
- 2026-10-27: add by m2/v0.3.5
constraints NNZYQGXG4H
| URI | m2://inv/NNZYQGXG4H |
|---|---|
| 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.01029#WZD9, constraints (statement). In KA8VS65Z9G/e1, corollary 4
History
- 2026-10-29: add by m2/v0.4.12
Multiplicative magic square NNZYZ9P822
| URI | m2://inv/NNZYZ9P822 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic square#C0JZ, Multiplicative magic square (unknown)
History
- 2026-11-02: add by m2/dev