Inventory rows ZA
The cards of the rows of the inventory whose ids start with ZA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
continuous variable ZA03NY255R
| URI | m2://inv/ZA03NY255R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#X495, continuous variable (definition)
History
- 2026-11-02: add by m2/dev
Theorem (existence of parallelism) ZA04038BWW
| URI | m2://inv/ZA04038BWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered geometry#G2Y9, Theorem (existence of parallelism) (statement)
History
- 2026-11-02: add by m2/dev
ZA05ZZYCM2 ZA05ZZYCM2
| URI | m2://inv/ZA05ZZYCM2 |
|---|---|
| Kind | example |
| 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.40251#0OX8 (example). In 9J7TJYKGYX/e1, example 6.4
History
- 2026-10-30: add by m2/v0.4.12
Example ZA0G2ZSYKC
| URI | m2://inv/ZA0G2ZSYKC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Akra–Bazzi method#PVUC, Example (example)
History
- 2026-11-02: add by m2/dev
ZA0XWD5B2V ZA0XWD5B2V
| URI | m2://inv/ZA0XWD5B2V |
|---|---|
| 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#SP14 (statement). In XEQD21EBTT/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
The Buridan formula ZA0ZBTQEM2
| URI | m2://inv/ZA0ZBTQEM2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buridan formula#VN3Y, The Buridan formula (statement)
History
- 2026-11-02: add by m2/dev
metric structure ZA12YWDTJ1
| URI | m2://inv/ZA12YWDTJ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Topology of R > metric structure, metric structure (unknown). Also Mathlib Real.metricSpace
History
- 2026-10-26: add by m2/dev
Jeffrey Adams ZA14H6QARY
| URI | m2://inv/ZA14H6QARY |
|---|---|
| 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#NELC, Jeffrey Adams (topic)
History
- 2026-11-02: add by m2/dev
ZA160XDWX1 ZA160XDWX1
| URI | m2://inv/ZA160XDWX1 |
|---|---|
| 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.01247#AXP3 (statement). In 6EVNCRZ118/e1, proposition 31
History
- 2026-10-29: add by m2/v0.4.12
data point ZA1867AR38
| URI | m2://inv/ZA1867AR38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#V5YC, data point (definition)
History
- 2026-11-02: add by m2/dev
Cryptography newsgroups ZA18TA71Z0
| URI | m2://inv/ZA18TA71Z0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptography newsgroups, Cryptography newsgroups (definition). Also Wikidata Q3118094
History
- 2026-11-02: add by m2/dev
ZA1C0ND684 ZA1C0ND684
| URI | m2://inv/ZA1C0ND684 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-1.xml#example-1 (example). In 649HGZKE96, example, section 4.1.2
History
- 2026-11-01: add by m2/v0.6.13
List of misnamed theorems ZA1ENJ8K9N
| URI | m2://inv/ZA1ENJ8K9N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of misnamed theorems, List of misnamed theorems (topic). Also Wikidata Q6628838
History
- 2026-11-02: add by m2/dev
Mandelbulb ZA1JB8F4SG
| URI | m2://inv/ZA1JB8F4SG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mandelbulb, Mandelbulb (definition). Also Wikidata Q2573427
History
- 2026-11-02: add by m2/dev
challenging ZA1KB9PMTD
| URI | m2://inv/ZA1KB9PMTD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-57, challenging (exercise). In E9HS8K3A52, exercise, section 7.4.5
History
- 2026-11-01: add by m2/v0.6.13
ZA1P0PVPRB ZA1P0PVPRB
| URI | m2://inv/ZA1P0PVPRB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-2 (exercise). In E59CDZA4DP, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
ZA1S4MCQQ2 ZA1S4MCQQ2
| URI | m2://inv/ZA1S4MCQQ2 |
|---|---|
| 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#AEW3 (statement). In 3CGS9GSKTQ/e1, lemma 7.7
History
- 2026-10-29: add by m2/v0.4.12
Poincaré duality ZA24ZPFJFC
| URI | m2://inv/ZA24ZPFJFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#H967, Poincaré duality (definition)
- wikipedia: Wikipedia List of algebraic topology topics#JBZS, Poincaré duality (definition)
- wikipedia: Wikipedia List of things named after Henri Poincaré#HDIW, Poincaré duality (definition)
History
- 2026-11-02: add by m2/dev
ZA25H1R9JB ZA25H1R9JB
| URI | m2://inv/ZA25H1R9JB |
|---|---|
| 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 1909.03896#P5TF (statement). In CX9RVPQVBM/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
Ehud Hrushovski ZA263Q7MRX
| URI | m2://inv/ZA263Q7MRX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#3N9Q, Ehud Hrushovski (topic)
History
- 2026-11-02: add by m2/dev
ZA26C699N9 ZA26C699N9
| URI | m2://inv/ZA26C699N9 |
|---|---|
| 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 2511.05069#OHR0 (statement). In SFQBJBTW8K/e1, proposition A.3
History
- 2026-10-27: add by m2/v0.3.5
Definition ZA28GVSZGW
| URI | m2://inv/ZA28GVSZGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal derivative#LSKB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Gunter (ruler) ZA2AF8EP9Z
| URI | m2://inv/ZA2AF8EP9Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edmund Gunter#BREV, Gunter (ruler) (unknown)
History
- 2026-11-02: add by m2/dev
Normal-Wishart distribution ZA2AZXHH97
| URI | m2://inv/ZA2AZXHH97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-Wishart distribution, Normal-Wishart distribution (definition). Also Wikidata Q7051753
History
- 2026-11-02: add by m2/dev
Harmonic quadrilateral ZA2DDGZMH6
| URI | m2://inv/ZA2DDGZMH6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic quadrilateral, Harmonic quadrilateral (definition). Also Wikidata Q12094381
History
- 2026-11-02: add by m2/dev
ZA2MKBYKHT ZA2MKBYKHT
| URI | m2://inv/ZA2MKBYKHT |
|---|---|
| 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 2011.07352#STWY (statement). In 3VPC1GGZ3E/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.3.5
Charge conservation ZA2N3TXF92
| URI | m2://inv/ZA2N3TXF92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charge conservation, Charge conservation (definition). Also Wikidata Q304054
History
- 2026-11-02: add by m2/dev
ZA2NHHNDHF ZA2NHHNDHF
| URI | m2://inv/ZA2NHHNDHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 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 2211.01586#EKKB (statement). In P39MF3ZJC0/e1, proposition A.6
History
- 2026-10-27: add by m2/v0.3.5
ZA2V36AVSA ZA2V36AVSA
| URI | m2://inv/ZA2V36AVSA |
|---|---|
| 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.02141#71N5 (statement). In 5AB8YPS19N/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
Definitions ZA2YYXKJ4T
| URI | m2://inv/ZA2YYXKJ4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Le Mecaniche#8B86, Definitions (definition)
History
- 2026-11-02: add by m2/dev
ZA30F1MC5K ZA30F1MC5K
| URI | m2://inv/ZA30F1MC5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05365#LCWK (statement). In BKPSH4CD9K/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
ZA3461Y6SA ZA3461Y6SA
| URI | m2://inv/ZA3461Y6SA |
|---|---|
| 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.02436#LMWE (statement). In J9WZBK6KAY/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
ZA3AKE7FYR ZA3AKE7FYR
| URI | m2://inv/ZA3AKE7FYR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35682#Q4HZ (definition). In 7XM8WXVBWK/e1, definition 4.4
History
- 2026-10-30: add by m2/v0.4.12
regularization ZA3KS1MCBZ
| URI | m2://inv/ZA3KS1MCBZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 35R30 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17143721, regularization (topic)
History
- 2026-10-26: add by m2/dev
Bounded-support concentration ZA3QAWZV1E
| URI | m2://inv/ZA3QAWZV1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#WKH4, Bounded-support concentration (statement). In FTPW1SZ8D3/e1, corollary 4.6
History
- 2026-10-30: add by m2/v0.4.12
Goldbach's comet ZA3SJDSY93
| URI | m2://inv/ZA3SJDSY93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldbach's comet, Goldbach's comet (definition). Also Wikidata Q5578997
History
- 2026-11-02: add by m2/dev
ZA3X6DH4ER ZA3X6DH4ER
| URI | m2://inv/ZA3X6DH4ER |
|---|---|
| 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 2609.25957#KPYA (statement)
History
- 2026-11-01: add by m2/v0.6.15
$(sn,n)$-Dyck Path ZA3Y2BJWWA
| URI | m2://inv/ZA3Y2BJWWA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07671#WU7Z, $(sn,n)$-Dyck Path (definition). In XHHBGCVG90/e1, definition 2.2.1
History
- 2026-10-29: add by m2/v0.4.10
Application ZA4AG97EQG
| URI | m2://inv/ZA4AG97EQG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Occupational epidemiology#BJXG, Application (example)
History
- 2026-11-02: add by m2/dev
ZA4DCEGFRV ZA4DCEGFRV
| URI | m2://inv/ZA4DCEGFRV |
|---|---|
| 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.33552#4LGM (statement). In SRAS2DJJQH/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Elongated hexagonal bipyramid ZA4E37FJ12
| URI | m2://inv/ZA4E37FJ12 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated hexagonal bipyramid, Elongated hexagonal bipyramid (object). Also Wikidata Q5367150
History
- 2026-11-02: add by m2/dev
ZA4HJ8D8FH ZA4HJ8D8FH
| URI | m2://inv/ZA4HJ8D8FH |
|---|---|
| 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 2609.22528#2KBU (example)
History
- 2026-11-02: add by m2/v0.6.17
ZA4N9ASNJH ZA4N9ASNJH
| URI | m2://inv/ZA4N9ASNJH |
|---|---|
| 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 2001.10234#YR0V (statement). In YYZHNNJR1P/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.6
ZA52EG39FJ ZA52EG39FJ
| URI | m2://inv/ZA52EG39FJ |
|---|---|
| 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#QWMP (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZA57REXC00 ZA57REXC00
| URI | m2://inv/ZA57REXC00 |
|---|---|
| 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 2504.09464#UNHX (statement). In RN1XRCS2CH/e1, proposition 17
History
- 2026-10-27: add by m2/v0.3.6
ZA58RASA29 ZA58RASA29
| URI | m2://inv/ZA58RASA29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11043#64EL (statement). In R3NJYPZH52/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.3
ZA5CGYJ9DT ZA5CGYJ9DT
| URI | m2://inv/ZA5CGYJ9DT |
|---|---|
| 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.32680#Y22S (statement). In XVJGVCZA7V/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
Michał Misiurewicz ZA5DR75V8K
| URI | m2://inv/ZA5DR75V8K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michał Misiurewicz, Michał Misiurewicz (topic). Also Wikidata Q505532
History
- 2026-11-02: add by m2/dev
Definition ZA5GRHEHHB
| URI | m2://inv/ZA5GRHEHHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative homology#GBER, Definition (definition)
History
- 2026-11-02: add by m2/dev
Tarry point ZA5PFCP3X2
| URI | m2://inv/ZA5PFCP3X2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#6SJ1, Tarry point (definition)
History
- 2026-11-02: add by m2/dev
ZA5V04X7DJ ZA5V04X7DJ
| URI | m2://inv/ZA5V04X7DJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#CKHX (example). In QX77AN49J0/e1, example 2.11
History
- 2026-10-27: add by m2/v0.4.2
$C_5$,$C_6$ ZA655YQ1P1
| URI | m2://inv/ZA655YQ1P1 |
|---|---|
| Kind | example |
| 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 2604.02255#QBRZ, $C_5$,$C_6$ (example). In 14NGZPH8B9/e1, example
History
- 2026-10-27: add by m2/v0.3.5
Clarence Raymond Adams ZA68V2P17E
| URI | m2://inv/ZA68V2P17E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clarence Raymond Adams, Clarence Raymond Adams (topic). Also Wikidata Q4162693
History
- 2026-11-02: add by m2/dev
ZA699RCMGB ZA699RCMGB
| URI | m2://inv/ZA699RCMGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#5B2Q (statement). In VD4JP4HVBX/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
ZA6A4SM970 ZA6A4SM970
| URI | m2://inv/ZA6A4SM970 |
|---|---|
| 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.25157#OZB7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Religion in Sarawak ZA6J4BSJE5
| URI | m2://inv/ZA6J4BSJE5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Sarawak#CKMA, Religion in Sarawak (unknown)
History
- 2026-11-02: add by m2/dev
ZA6TSM6ZMP ZA6TSM6ZMP
| URI | m2://inv/ZA6TSM6ZMP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#cor:distance between two points less than or equal to (statement). In P1C114YBXG, corollary, section u1
History
- 2026-11-01: add by m2/v0.6.13
proof-theoretic consequence ZA6VZ6JRCP
| URI | m2://inv/ZA6VZ6JRCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#NMLQ, proof-theoretic consequence (definition)
History
- 2026-11-02: add by m2/dev
Rebecca Betensky ZA6Y06YMNB
| URI | m2://inv/ZA6Y06YMNB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rebecca Betensky, Rebecca Betensky (topic). Also Wikidata Q42290664
History
- 2026-11-02: add by m2/dev
Klein bottle ZA71SVHFCG
| URI | m2://inv/ZA71SVHFCG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/long-exact.tex#sproblem-2, Klein bottle (exercise). In RZP28ERRZV, sproblem, section 54.3
History
- 2026-11-01: add by m2/v0.6.13
Computational verification ZA7355TM54
| URI | m2://inv/ZA7355TM54 |
|---|---|
| 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.07214#MJS3, Computational verification (statement). In 669PBFJX0Z/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.10
Example ZA76JMTYZR
| URI | m2://inv/ZA76JMTYZR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of schemes#8SOQ, Example (example)
History
- 2026-11-02: add by m2/dev
Calogero–Moser–Sutherland model ZA76Z1C65V
| URI | m2://inv/ZA76Z1C65V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calogero–Moser–Sutherland model, Calogero–Moser–Sutherland model (definition). Also Wikidata Q135013296
History
- 2026-11-02: add by m2/dev
Theorem ZA7HEG2VWM
| URI | m2://inv/ZA7HEG2VWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value theorem#KM03, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Queue number ZA7K367DK8
| URI | m2://inv/ZA7K367DK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Queue number, Queue number (definition). Also Wikidata Q25303837
History
- 2026-11-02: add by m2/dev
Finite algebra ZA7KTSHG2H
| URI | m2://inv/ZA7KTSHG2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite algebra, Finite algebra (definition). Also Wikidata Q85760939
History
- 2026-11-02: add by m2/dev
ZA7Q2G7XZM ZA7Q2G7XZM
| URI | m2://inv/ZA7Q2G7XZM |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09634#1C4W (problem). In FH42QK814C/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.10
Kuratowski's closure-complement problem ZA82XKVCBY
| URI | m2://inv/ZA82XKVCBY |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski's closure-complement problem, Kuratowski's closure-complement problem (problem). Also Wikidata Q6445654
History
- 2026-11-02: add by m2/dev
ZA8361HY0P ZA8361HY0P
| URI | m2://inv/ZA8361HY0P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 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.10930#ZO6S (example). In HX63A1PH1W/e1, example 4.34
History
- 2026-10-28: add by m2/v0.4.3
Uniform analytic transition-energy bound ZA844FQS7P
| URI | m2://inv/ZA844FQS7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#RHHP, Uniform analytic transition-energy bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nueve de Julio Glacier ZA87FTQ10R
| URI | m2://inv/ZA87FTQ10R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#24SI, Nueve de Julio Glacier (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm ZA8DCEFQMP
| URI | m2://inv/ZA8DCEFQMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski's question-mark function#XYSC, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
ZA8JP65VQE ZA8JP65VQE
| URI | m2://inv/ZA8JP65VQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#BUE1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Homunculus argument ZA8X1795M1
| URI | m2://inv/ZA8X1795M1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homunculus argument, Homunculus argument (definition). Also Wikidata Q651822
History
- 2026-11-02: add by m2/dev
Definition ZA8X739YM0
| URI | m2://inv/ZA8X739YM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knizhnik–Zamolodchikov equations#C8R8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Composition product ZA945HENT0
| URI | m2://inv/ZA945HENT0 |
|---|---|
| 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 2312.05005#H7EK, Composition product (definition). In SMJMAQ2S3J/e1, definition 9
History
- 2026-10-27: add by m2/v0.4.0
ZA979R9AB2 ZA979R9AB2
| URI | m2://inv/ZA979R9AB2 |
|---|---|
| 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.26769#E5VP (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZA98QYQ1X5 ZA98QYQ1X5
| URI | m2://inv/ZA98QYQ1X5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18709#29F1 (statement). In K7VY50VFK6/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
ZA99E7G2DW ZA99E7G2DW
| URI | m2://inv/ZA99E7G2DW |
|---|---|
| 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 2402.05268#0SC0 (statement). In MQZC12P7SA/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
ZA9Q23P6VX ZA9Q23P6VX
| URI | m2://inv/ZA9Q23P6VX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#UNJ8 (definition). In KJC9FRS3C2/e1, definition 6.2
History
- 2026-10-28: add by m2/v0.4.2
ZAA13VPBTM ZAA13VPBTM
| URI | m2://inv/ZAA13VPBTM |
|---|---|
| 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.33679#4AGE (statement). In 3N9E9T6AF5/e1, lemma 2.10
History
- 2026-10-30: add by m2/v0.4.12
Example ZAA35TW7YZ
| URI | m2://inv/ZAA35TW7YZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blackwell-Girshick equation#81Z5, Example (example)
History
- 2026-11-02: add by m2/dev
Properties ZAA4KRWTFF
| URI | m2://inv/ZAA4KRWTFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-correlation#S49J, Properties (statement)
History
- 2026-11-02: add by m2/dev
The inclusion–exclusion principle ZAA6WRFR0P
| URI | m2://inv/ZAA6WRFR0P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve theory#EH4F, The inclusion–exclusion principle (statement)
History
- 2026-11-02: add by m2/dev
ZAAXKJ7ZV9 ZAAXKJ7ZV9
| URI | m2://inv/ZAAXKJ7ZV9 |
|---|---|
| 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 2211.16099#XJNE (statement). In 91RRFW0K5D/e1, proposition 34
History
- 2026-10-27: add by m2/v0.3.5
ZAB07964YX ZAB07964YX
| URI | m2://inv/ZAB07964YX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 13.2
History
- 2026-11-01: add by m2/v0.6.13
ZAB3PWBJP0 ZAB3PWBJP0
| URI | m2://inv/ZAB3PWBJP0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#8R4K (statement). In BDN507RN7J/e1, corollary 5.2.2
History
- 2026-10-30: add by m2/v0.4.12
fiber functor ZABDD4F2HK
| URI | m2://inv/ZABDD4F2HK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#ANB9, fiber functor (definition)
History
- 2026-11-02: add by m2/dev
Pointwise maps are exact and zero-local ZABHDE2YRN
| URI | m2://inv/ZABHDE2YRN |
|---|---|
| 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.25987#6QNE, Pointwise maps are exact and zero-local (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples ZABQ0G1187
| URI | m2://inv/ZABQ0G1187 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular expression#9FF1, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition ZABQ37Z1PG
| URI | m2://inv/ZABQ37Z1PG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total variation distance of probability measures#TLCO, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZABVPD46F0 ZABVPD46F0
| URI | m2://inv/ZABVPD46F0 |
|---|---|
| Kind | definition |
| 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 2405.09294#6WVZ (definition). In 2WZQC0TKVK/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
ZAC135WCFG ZAC135WCFG
| URI | m2://inv/ZAC135WCFG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-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.30262#U3OX (example). In FWA5QW6FCF/e1, example 7.1
History
- 2026-10-31: add by m2/v0.5.6
Examples ZAC2EJ9TF5
| URI | m2://inv/ZAC2EJ9TF5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein–Sato polynomial#C07H, Examples (example)
History
- 2026-11-02: add by m2/dev
Binary product (category theory) ZAC2Z2YPYC
| URI | m2://inv/ZAC2Z2YPYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product (category theory)#QL93, Binary product (category theory) (unknown)
History
- 2026-11-02: add by m2/dev
Whispering-gallery wave ZAC31WG6HM
| URI | m2://inv/ZAC31WG6HM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whispering-gallery wave, Whispering-gallery wave (definition). Also Wikidata Q7993947
History
- 2026-11-02: add by m2/dev
Yadrenko Myhailo Yosypovych ZAC576HD5C
| URI | m2://inv/ZAC576HD5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#U9GL, Yadrenko Myhailo Yosypovych (unknown)
History
- 2026-11-02: add by m2/dev
ZAC7X9DKEB ZAC7X9DKEB
| URI | m2://inv/ZAC7X9DKEB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01958#OEQE (definition). In NQFYT2M6YZ/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Joule's second law ZACA66JRMX
| URI | m2://inv/ZACA66JRMX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joule–Thomson effect#PR11, Joule's second law (statement)
History
- 2026-11-02: add by m2/dev
ZACRDCNDVJ ZACRDCNDVJ
| URI | m2://inv/ZACRDCNDVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16655#227G (statement). In EJHAXRV685/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Free-form deformation ZACRZY1Y7W
| URI | m2://inv/ZACRZY1Y7W |
|---|---|
| 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#F44R, Free-form deformation (unknown)
History
- 2026-11-02: add by m2/dev
ZACWGD6KDW ZACWGD6KDW
| URI | m2://inv/ZACWGD6KDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08050#GSGU (statement). In K9Q0GZXRN3/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Divine equilibrium ZACYSJ6353
| URI | m2://inv/ZACYSJ6353 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divine equilibrium, Divine equilibrium (definition). Also Wikidata Q25054130
History
- 2026-11-02: add by m2/dev
Theorem (Liu–Xu–Zhuang): ZAD39N0P3Q
| URI | m2://inv/ZAD39N0P3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-stability of Fano varieties#B0CQ, Theorem (Liu–Xu–Zhuang): (statement)
History
- 2026-11-02: add by m2/dev
Glaisher's theorem ZADAW98EYP
| URI | m2://inv/ZADAW98EYP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#40GC, Glaisher's theorem (statement)
History
- 2026-11-02: add by m2/dev
Eigenvalue perturbation ZADB5R5ZTJ
| URI | m2://inv/ZADB5R5ZTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#YXRJ, Eigenvalue perturbation (definition)
History
- 2026-11-02: add by m2/dev
Formula for the inverse ZADBHJ84M0
| URI | m2://inv/ZADBHJ84M0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function#8I5T, Formula for the inverse (statement)
History
- 2026-11-02: add by m2/dev
Second-order \usetoken{s}{formula} ZADJVY4YGF
| URI | m2://inv/ZADJVY4YGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/terms-formulas.tex#defn-2, Second-order \usetoken{s}{formula} (definition). In PKGMM3P5QY, defn, section 68.1
History
- 2026-11-01: add by m2/v0.6.13
Fréchet distance ZADR5SV3NX
| URI | m2://inv/ZADR5SV3NX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet distance, Fréchet distance (definition). Also Wikidata Q5506658
History
- 2026-11-02: add by m2/dev
Mary P. Dolciani Award ZADZWQBNWA
| URI | m2://inv/ZADZWQBNWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary P. Dolciani Award, Mary P. Dolciani Award (definition). Also Wikidata Q104859380
History
- 2026-11-02: add by m2/dev
Matlis duality ZAE11W979H
| URI | m2://inv/ZAE11W979H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matlis duality, Matlis duality (definition). Also Wikidata Q6787678
History
- 2026-11-02: add by m2/dev
Monogenic function ZAE4DF1F4N
| URI | m2://inv/ZAE4DF1F4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107056179, Monogenic function (unknown). Also EoM Monogenic_function, MathWorld MonogenicFunction
- wikipedia: Wikipedia Monogenic function, Monogenic function (definition). Also Wikidata Q107056179
History
- 2026-10-26: add by m2/dev
ZAEF2DPZ63 ZAEF2DPZ63
| URI | m2://inv/ZAEF2DPZ63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#K73Y (statement). In A4VP56CT7B/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Gallup Poll ZAEFWJQYS1
| URI | m2://inv/ZAEFWJQYS1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#6YSY, Gallup Poll (unknown)
History
- 2026-11-02: add by m2/dev
Philip Wolfe ZAEM0G8JVY
| URI | m2://inv/ZAEM0G8JVY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philip Wolfe (mathematician), Philip Wolfe (topic). Also Wikidata Q15758620
History
- 2026-11-02: add by m2/dev
ZAEMGJBV8K ZAEMGJBV8K
| URI | m2://inv/ZAEMGJBV8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11336#5D2A (statement). In X1R1GDAJ0Y/e1, corollary 2.15
History
- 2026-10-28: add by m2/v0.4.3
Examples ZAEP1AQQ3D
| URI | m2://inv/ZAEP1AQQ3D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally closed subset#I28G, Examples (example)
History
- 2026-11-02: add by m2/dev
ZAEQ66825P ZAEQ66825P
| URI | m2://inv/ZAEQ66825P |
|---|---|
| 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.06246#SN28 (statement). In EXZHBFRJ63/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Torelli theorem ZAEWV4NY99
| URI | m2://inv/ZAEWV4NY99 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7825663, Torelli theorem (statement). Also Wikidata Q7825663
- thousand_plus: thousand_plus Q7825663, Torelli theorem (statement). Also Wikidata Q7825663, Wikipedia Torelli theorem
- wikipedia: Wikipedia Torelli theorem, Torelli theorem (statement). Also Wikidata Q7825663
History
- 2026-10-26: add by m2/dev
ZAF6QV8YJP ZAF6QV8YJP
| URI | m2://inv/ZAF6QV8YJP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#TXD2 (definition)
History
- 2026-11-02: add by m2/v0.6.18
KP-II for compactly supported coefficients ZAF77JA1X2
| URI | m2://inv/ZAF77JA1X2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13753#NXEU, KP-II for compactly supported coefficients (statement). In AHM0PBKZZN/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
ZAF9BF6JTR ZAF9BF6JTR
| URI | m2://inv/ZAF9BF6JTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#3MPM (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZAFCP8Q91Y ZAFCP8Q91Y
| URI | m2://inv/ZAFCP8Q91Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#TDAN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Geometric data analysis ZAFMJE201C
| URI | m2://inv/ZAFMJE201C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric data analysis, Geometric data analysis (topic). Also Wikidata Q302814
History
- 2026-11-02: add by m2/dev
Examples ZAFN3RKHGD
| URI | m2://inv/ZAFN3RKHGD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating algebra#36IZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Negative factorial ZAFTV03M38
| URI | m2://inv/ZAFTV03M38 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorial#ZT6B, Negative factorial (unknown)
History
- 2026-11-02: add by m2/dev
ZAG3ZKD3MV ZAG3ZKD3MV
| URI | m2://inv/ZAG3ZKD3MV |
|---|---|
| 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.38735#IXMY (statement). In XZ71J0DQSE/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Barnette's conjecture ZAG67ZEA6H
| URI | m2://inv/ZAG67ZEA6H |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#MEGB, Barnette's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Example ZAG6SWX1KY
| URI | m2://inv/ZAG6SWX1KY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal number#JEPJ, Example (example)
History
- 2026-11-02: add by m2/dev
ZAG7YX0BTN ZAG7YX0BTN
| URI | m2://inv/ZAG7YX0BTN |
|---|---|
| Kind | definition |
| 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#TY64 (definition). In MQPBZX4DR6/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Archimedes ZAGEYTQ6V5
| URI | m2://inv/ZAGEYTQ6V5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8739, Archimedes (unknown). Also nLab Archimedes, ProofWiki Mathematician:Archimedes_of_Syracuse
- wikipedia: Wikipedia Archimedes, Archimedes (topic). Also Wikidata Q8739
History
- 2026-10-26: add by m2/dev
László Lovász ZAGFSDGTXH
| URI | m2://inv/ZAGFSDGTXH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia László Lovász, László Lovász (topic). Also Wikidata Q357918
History
- 2026-11-02: add by m2/dev
ZAGKJ2PRQ8 ZAGKJ2PRQ8
| URI | m2://inv/ZAGKJ2PRQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.01874#SDTG (statement). In A4TR95VGX2/e1, theorem 5.3.3
History
- 2026-10-27: add by m2/v0.3.5
Generalized Verma module ZAGM61EXZX
| URI | m2://inv/ZAGM61EXZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Verma module, Generalized Verma module (definition). Also Wikidata Q5532458
History
- 2026-11-02: add by m2/dev
Dual-phase evolution ZAGNW5W1AN
| URI | m2://inv/ZAGNW5W1AN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual-phase evolution, Dual-phase evolution (definition). Also Wikidata Q25109659
History
- 2026-11-02: add by m2/dev
ZAGP21HPSF ZAGP21HPSF
| URI | m2://inv/ZAGP21HPSF |
|---|---|
| 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 2209.08186#JGQ2 (statement). In X6VGVPQH8V/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.5
ZAGPV07WGY ZAGPV07WGY
| URI | m2://inv/ZAGPV07WGY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11210#9357 (statement). In CRFDGFZHBF/e1, lemma 9.3
History
- 2026-10-28: add by m2/v0.4.3
ZAGR2B2118 ZAGR2B2118
| URI | m2://inv/ZAGR2B2118 |
|---|---|
| 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 2508.02432#P8N0 (statement). In B366ACYB37/e1, lemma 3.20
History
- 2026-10-27: add by m2/v0.3.5
ZAGY41R9FQ ZAGY41R9FQ
| URI | m2://inv/ZAGY41R9FQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-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.20932#S2E8 (statement). In FV78KV64B9/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.4.2
Semipermutable subgroup ZAH0FN2BKB
| URI | m2://inv/ZAH0FN2BKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semipermutable subgroup, Semipermutable subgroup (definition). Also Wikidata Q7449615
History
- 2026-11-02: add by m2/dev
Exact obstruction ZAH8G3D8Y9
| URI | m2://inv/ZAH8G3D8Y9 |
|---|---|
| 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.02276#UXL7, Exact obstruction (statement). In 3X0RCNDNZA/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
ZAHFGDK3N2 ZAHFGDK3N2
| URI | m2://inv/ZAHFGDK3N2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-prop.tex#definition-2 (definition). In RZP28ERRZV, definition, section 99.1
History
- 2026-11-01: add by m2/v0.6.13
Wiener amalgam space ZAJ05KZ23E
| URI | m2://inv/ZAJ05KZ23E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener amalgam space, Wiener amalgam space (definition). Also Wikidata Q7999135
History
- 2026-11-02: add by m2/dev
Intervals ZAJ0R5DTNX
| URI | m2://inv/ZAJ0R5DTNX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27241#S7JA, Intervals (example)
History
- 2026-11-01: add by m2/v0.6.15
ZAJ427C7Z5 ZAJ427C7Z5
| URI | m2://inv/ZAJ427C7Z5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-paths.ptx#example-1 (example). In Y91XFCEVHQ, example, section 5.5.1
History
- 2026-11-01: add by m2/v0.6.13
ZAJ4FM3FG6 ZAJ4FM3FG6
| URI | m2://inv/ZAJ4FM3FG6 |
|---|---|
| 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.16785#KNT5 (statement). In SXQQZ2MYKV/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.2
Cartier rescaling ZAJ6TBXEAF
| URI | m2://inv/ZAJ6TBXEAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.20572#T9ZQ, Cartier rescaling (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZAJRDY99TJ ZAJRDY99TJ
| URI | m2://inv/ZAJRDY99TJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#ZJJ0 (statement). In RK0ZMDJ23T/e1, lemma 3.2.12
History
- 2026-10-31: add by m2/v0.5.6
ZAJTNBWVGD ZAJTNBWVGD
| URI | m2://inv/ZAJTNBWVGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#M64V (statement). In E7W2HDNEKJ/e1, lemma 7.29
History
- 2026-10-30: add by m2/v0.4.12
convolution theorem ZAJTZMZW8T
| URI | m2://inv/ZAJTZMZW8T |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 42-XX |
| Sources | 4 |
| Outcome | open |
| Node | Convolution theorem QY8ETVDA1Z |
Mentions
- mathlib_1000: mathlib_1000 Q2638931, Convolution theorem (statement). Also Wikidata Q2638931
- thousand_plus: thousand_plus Q2638931, Convolution theorem (statement). Also Wikidata Q2638931, Wikipedia Convolution theorem
- wikidata: Wikidata Q2638931, convolution theorem (statement). Also MathWorld ConvolutionTheorem
- wikipedia: Wikipedia Convolution theorem, Convolution theorem (statement). Also Wikidata Q2638931
History
- 2026-10-26: add by m2/dev
ZAJX4G5BFA ZAJX4G5BFA
| URI | m2://inv/ZAJX4G5BFA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21501#CI1Q (example). In 1H64QT301C/e1, example 4.6
History
- 2026-10-27: add by m2/v0.4.2
ZAJXF80H4P ZAJXF80H4P
| URI | m2://inv/ZAJXF80H4P |
|---|---|
| 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.09721#9943 (statement). In 7MZ1MS2N11/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Projection method ZAK509E0WD
| URI | m2://inv/ZAK509E0WD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection method (fluid dynamics), Projection method (definition). Also Wikidata Q7249451
History
- 2026-11-02: add by m2/dev
Terminology ZAKE9VVMCJ
| URI | m2://inv/ZAKE9VVMCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population (biology)#F1KA, Terminology (definition)
History
- 2026-11-02: add by m2/dev
ZAKFZYJGWP ZAKFZYJGWP
| URI | m2://inv/ZAKFZYJGWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#TD2N (statement). In GHKR740SG3/e1, corollary 3.18
History
- 2026-10-31: add by m2/v0.5.6
Lev Schnirelmann ZAKHMC51MP
| URI | m2://inv/ZAKHMC51MP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lev Schnirelmann, Lev Schnirelmann (topic). Also Wikidata Q385207
History
- 2026-11-02: add by m2/dev
factorization ZAKJFN3PM6
| URI | m2://inv/ZAKJFN3PM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#30CP, factorization (definition)
History
- 2026-11-02: add by m2/dev
abstract machine ZAKSF9T08B
| URI | m2://inv/ZAKSF9T08B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q787114, abstract machine (unknown). Also MathWorld AbstractMachine
- wikipedia: Wikipedia Abstract machine, Abstract machine (definition). Also Wikidata Q787114
History
- 2026-10-26: add by m2/dev
Jean Walton ZAKTZBQS9J
| URI | m2://inv/ZAKTZBQS9J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Walton, Jean Walton (topic). Also Wikidata Q102156314
History
- 2026-11-02: add by m2/dev
ZAKY942N03 ZAKY942N03
| URI | m2://inv/ZAKY942N03 |
|---|---|
| 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.08682#X38K (statement). In Y306A1GPM5/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.10
Loredana Lanzani ZAMFA62P6Z
| URI | m2://inv/ZAMFA62P6Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loredana Lanzani, Loredana Lanzani (topic). Also Wikidata Q102168077
History
- 2026-11-02: add by m2/dev
Besov multiplier ZAMMGM5HJ5
| URI | m2://inv/ZAMMGM5HJ5 |
|---|---|
| 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.02721#LUVA, Besov multiplier (statement). In XXFYVDVPPE/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.12
ZAMNKVWZ8F ZAMNKVWZ8F
| URI | m2://inv/ZAMNKVWZ8F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises5-2.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
horizontal orientation ZAMNW7QDJR
| URI | m2://inv/ZAMNW7QDJR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20749305, horizontal orientation (unknown). Also MathWorld Horizontal
History
- 2026-10-26: add by m2/dev
Sharp deficit comparison ZAMPXBGM9B
| URI | m2://inv/ZAMPXBGM9B |
|---|---|
| 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.13964#HJ5D, Sharp deficit comparison (statement). In 7Q47472TKR/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Example on Jeans theorem and CBE on Uniform Sphere Potential ZAMSB14JAG
| URI | m2://inv/ZAMSB14JAG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stellar dynamics#E4Q4, Example on Jeans theorem and CBE on Uniform Sphere Potential (example)
History
- 2026-11-02: add by m2/dev
Sampling design ZAMSRN21H7
| URI | m2://inv/ZAMSRN21H7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sampling design, Sampling design (definition). Also Wikidata Q7410160
History
- 2026-11-02: add by m2/dev
existence of minimizers ZAMXASGZVD
| URI | m2://inv/ZAMXASGZVD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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 2609.26645#TY29, existence of minimizers (statement)
History
- 2026-11-01: add by m2/v0.6.15
Journal of Mathematical Fluid Mechanics ZAN507BF2Q
| URI | m2://inv/ZAN507BF2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Mathematical Fluid Mechanics, Journal of Mathematical Fluid Mechanics (definition)
History
- 2026-11-02: add by m2/dev
Girsanov theorem ZAN59KGDXS
| URI | m2://inv/ZAN59KGDXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Z6M3, Girsanov theorem (statement)
History
- 2026-11-02: add by m2/dev
Formulation ZAN63R7SQJ
| URI | m2://inv/ZAN63R7SQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deficiency (statistics)#FJD9, Formulation (definition)
History
- 2026-11-02: add by m2/dev
GP, defocusing, without external time-dependent field ZAN7HC1R7E
| URI | m2://inv/ZAN7HC1R7E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.04958#HYS9, GP, defocusing, without external time-dependent field (example). In 5HQJSF6458/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
Uniformly Stable ZAN7NJ5FQ0
| URI | m2://inv/ZAN7NJ5FQ0 |
|---|---|
| Kind | definition |
| 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.12716#E949, Uniformly Stable (definition). In M6BCSQSM3R/e1, definition 4
History
- 2026-10-28: add by m2/v0.4.2
ZAN96JHMWN ZAN96JHMWN
| URI | m2://inv/ZAN96JHMWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#V6QP (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZAND6YMHT6 ZAND6YMHT6
| URI | m2://inv/ZAND6YMHT6 |
|---|---|
| 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 2011.12496#DFDX (statement). In 1DH15ZJFRZ/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Ropelength ZANDDK05VP
| URI | m2://inv/ZANDDK05VP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#LF2P, Ropelength (unknown)
History
- 2026-11-02: add by m2/dev
Schwenk's theorem ZANH67B13B
| URI | m2://inv/ZANH67B13B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knight's tour#MSY4, Schwenk's theorem (unknown)
History
- 2026-11-02: add by m2/dev
Sphere theorem ZANNJ55R19
| URI | m2://inv/ZANNJ55R19 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphere theorem (3-manifolds), Sphere theorem (statement). Also Wikidata Q7576684
History
- 2026-11-02: add by m2/dev
Construction ZANPQ3Y16T
| URI | m2://inv/ZANPQ3Y16T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Rham curve#UN4N, Construction (definition)
History
- 2026-11-02: add by m2/dev
Bender–Knuth involution ZAP10VDMHX
| URI | m2://inv/ZAP10VDMHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bender–Knuth involution, Bender–Knuth involution (definition). Also Wikidata Q4887061
History
- 2026-11-02: add by m2/dev
Copula invariance ZAP2RNHSNV
| URI | m2://inv/ZAP2RNHSNV |
|---|---|
| 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.14318#M2T9, Copula invariance (statement). In HA4SZZJ831/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Two-order phase diagram ZAP41QEMZY
| URI | m2://inv/ZAP41QEMZY |
|---|---|
| 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 2609.23922#EHRE, Two-order phase diagram (statement)
History
- 2026-11-02: add by m2/v0.6.17
Richard E. Barlow ZAPHZVYGGH
| URI | m2://inv/ZAPHZVYGGH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#O1VV, Richard E. Barlow (topic)
History
- 2026-11-02: add by m2/dev
Pontryagin product ZAPJMW1ERJ
| URI | m2://inv/ZAPJMW1ERJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pontryagin product, Pontryagin product (definition). Also Wikidata Q7228373
History
- 2026-11-02: add by m2/dev
Mirror symmetry ZAQD2ACHWB
| URI | m2://inv/ZAQD2ACHWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#I0W3, Mirror symmetry (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#9XTK, Mirror symmetry (definition)
- wikipedia: Wikipedia List of string theory topics#7Z59, Mirror symmetry (definition)
History
- 2026-11-02: add by m2/dev
ZAQD5ANC9Y ZAQD5ANC9Y
| URI | m2://inv/ZAQD5ANC9Y |
|---|---|
| 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.25843#8KXK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rainbow ZAQG3YET3R
| URI | m2://inv/ZAQG3YET3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rainbow, Rainbow (definition). Also Wikidata Q1052
History
- 2026-11-02: add by m2/dev
ZAQTYM92H6 ZAQTYM92H6
| URI | m2://inv/ZAQTYM92H6 |
|---|---|
| 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.23682#S4N9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZAQV5N3YEE ZAQV5N3YEE
| URI | m2://inv/ZAQV5N3YEE |
|---|---|
| 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 2609.21534#IA10 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Applications ZAQVAK9ST6
| URI | m2://inv/ZAQVAK9ST6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set theory#KRRT, Applications (example)
History
- 2026-11-02: add by m2/dev
thermodynamics ZAR682S8VW
| URI | m2://inv/ZAR682S8VW |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 80Axx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11473, thermodynamics (topic). Also EoM Thermodynamics,_mathematical_problems_in, ProofWiki Definition:Thermodynamics
- wikipedia: Wikipedia Thermodynamics, Thermodynamics (definition). Also Wikidata Q11473
History
- 2026-10-26: add by m2/dev
ZARNHT1NV6 ZARNHT1NV6
| URI | m2://inv/ZARNHT1NV6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
ZARST9RCN7 ZARST9RCN7
| URI | m2://inv/ZARST9RCN7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17240#VTK5 (example). In 59BZ4V9RQW/e1, example 5.4
History
- 2026-10-28: add by m2/v0.4.2
Statement of the theorem ZARZCWCJ41
| URI | m2://inv/ZARZCWCJ41 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic Fredholm theorem#JSPE, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Serre's criterion for normality ZAS0FPR6KJ
| URI | m2://inv/ZAS0FPR6KJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre's criterion for normality, Serre's criterion for normality (statement). Also Wikidata Q25098875
History
- 2026-11-02: add by m2/dev
ZAS2GPZWHD ZAS2GPZWHD
| URI | m2://inv/ZAS2GPZWHD |
|---|---|
| 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.12691#C1N2 (statement). In YVQKT91MYN/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Taguchi methods ZAS3X2Z0DB
| URI | m2://inv/ZAS3X2Z0DB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taguchi methods, Taguchi methods (definition). Also Wikidata Q2036525
History
- 2026-11-02: add by m2/dev
Brun–Titchmarsh theorem ZASDEHWMKP
| URI | m2://inv/ZASDEHWMKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4979609, Brun–Titchmarsh theorem (statement). Also Wikidata Q4979609
- thousand_plus: thousand_plus Q4979609, Brun–Titchmarsh theorem (statement). Also Wikidata Q4979609, Wikipedia Brun–Titchmarsh theorem
- wikipedia: Wikipedia Brun–Titchmarsh theorem, Brun–Titchmarsh theorem (statement). Also Wikidata Q4979609
History
- 2026-10-26: add by m2/dev
ZASE77XA5J ZASE77XA5J
| URI | m2://inv/ZASE77XA5J |
|---|---|
| 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 2207.12181#KCB7 (statement). In FSD8NE3XSR/e1, corollary 4.8
History
- 2026-10-27: add by m2/v0.4.0
Real point ZASMB495W6
| URI | m2://inv/ZASMB495W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real point, Real point (definition). Also Wikidata Q25098606
History
- 2026-11-02: add by m2/dev
Osterwalder–Schrader theorem ZASVE838XW
| URI | m2://inv/ZASVE838XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#CZ1Z, Osterwalder–Schrader theorem (definition)
History
- 2026-11-02: add by m2/dev
ZASZH45EZ7 ZASZH45EZ7
| URI | m2://inv/ZASZH45EZ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17883#O8EH (definition). In 9WSJV2WY2S/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
ZAT16CTMNN ZAT16CTMNN
| URI | m2://inv/ZAT16CTMNN |
|---|---|
| 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 2212.06253#U0UQ (statement). In DRVCY1VARV/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
The Denumerability of the Rational Numbers ZAT7AREGG2
| URI | m2://inv/ZAT7AREGG2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 3, The Denumerability of the Rational Numbers (statement). Also Mathlib Rat.instDenumerable
History
- 2026-10-26: add by m2/dev
Bootstrapping ZATE2N3ZS3
| URI | m2://inv/ZATE2N3ZS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bootstrapping (statistics), Bootstrapping (definition). Also Wikidata Q301990
History
- 2026-11-02: add by m2/dev
ZATEEJ07SC ZATEEJ07SC
| URI | m2://inv/ZATEEJ07SC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#ZS4W (definition). In XNJGNMS6H0/e1, definition 4.7
History
- 2026-10-28: add by m2/v0.4.2
ZATF4XBV1V ZATF4XBV1V
| URI | m2://inv/ZATF4XBV1V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#NMFM (definition). In JS5FKV1S9T/e1, definition G.1
History
- 2026-10-27: add by m2/v0.3.5
ZATFCYYEBW ZATFCYYEBW
| URI | m2://inv/ZATFCYYEBW |
|---|---|
| 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.07259#MVN8 (statement). In XMR1TTDSPG/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
Theorems ZATJDYNTZM
| URI | m2://inv/ZATJDYNTZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No free lunch in search and optimization#V93Z, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Frobenius normal form ZATTG6B3TK
| URI | m2://inv/ZATTG6B3TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#Z1X5, Frobenius normal form (definition)
History
- 2026-11-02: add by m2/dev
99 Percent Concentration and Directional Compression ZATYH6GJVH
| URI | m2://inv/ZATYH6GJVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.26619#UPPQ, 99 Percent Concentration and Directional Compression (statement)
History
- 2026-11-01: add by m2/v0.6.15
Logistic function ZAV90J4PYA
| URI | m2://inv/ZAV90J4PYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#M62N, Logistic function (definition)
History
- 2026-11-02: add by m2/dev
ZAV9QCMS2P ZAV9QCMS2P
| URI | m2://inv/ZAV9QCMS2P |
|---|---|
| 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.13513#XX0J (statement). In BAGX2TDXM4/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.2
ZAVBY3WB73 ZAVBY3WB73
| URI | m2://inv/ZAVBY3WB73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#93HI (statement)
History
- 2026-11-01: add by m2/v0.6.15
History of classical logic ZAVJTBC1GM
| URI | m2://inv/ZAVJTBC1GM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical logic#HSOG, History of classical logic (unknown)
History
- 2026-11-02: add by m2/dev
Local divergence Hessian ZAVPN8W894
| URI | m2://inv/ZAVPN8W894 |
|---|---|
| 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.13951#IN39, Local divergence Hessian (statement). In BDV8G2CV16/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
probability plot ZAW00V1P35
| URI | m2://inv/ZAW00V1P35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#97OR, probability plot (definition)
History
- 2026-11-02: add by m2/dev
ZAW161B5BZ ZAW161B5BZ
| URI | m2://inv/ZAW161B5BZ |
|---|---|
| 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#NUGN (statement). In HP3TM356J6/e1, fact 5
History
- 2026-10-29: add by m2/v0.4.10
Jerome H. Friedman ZAW21567CA
| URI | m2://inv/ZAW21567CA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#NLMV, Jerome H. Friedman (topic)
History
- 2026-11-02: add by m2/dev
Variations ZAW2BECSJ2
| URI | m2://inv/ZAW2BECSJ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bondage number#MBPZ, Variations (statement)
History
- 2026-11-02: add by m2/dev
ZAW66YTSBA ZAW66YTSBA
| URI | m2://inv/ZAW66YTSBA |
|---|---|
| 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 2103.11107#YJLT (statement). In CC0NDYRS8N/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Stone–Weierstrass theorem ZAW6WNTRW4
| URI | m2://inv/ZAW6WNTRW4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#R1YI, Stone–Weierstrass theorem (statement)
History
- 2026-11-02: add by m2/dev
The first three framings ZAW8S9QTYM
| URI | m2://inv/ZAW8S9QTYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03298#UAP8, The first three framings (statement). In 9SBZP218SM/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Number of completed blocks ZAWQ8ZQKR5
| URI | m2://inv/ZAWQ8ZQKR5 |
|---|---|
| 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.14988#TOZ9, Number of completed blocks (statement). In B29M4E6KGC/e1, lemma H.9
History
- 2026-10-28: add by m2/v0.4.2
Existence of invariant probability measure ZAX0JQS243
| URI | m2://inv/ZAX0JQS243 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.10636#F9ZY, Existence of invariant probability measure (statement). In 9SV2RAEPXM/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.6
William Blencowe ZAX4JHK6A1
| URI | m2://inv/ZAX4JHK6A1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Blencowe, William Blencowe (topic). Also Wikidata Q2360956
History
- 2026-11-02: add by m2/dev
Hyman Levy ZAX6A4GBN7
| URI | m2://inv/ZAX6A4GBN7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#BY9E, Hyman Levy (topic)
History
- 2026-11-02: add by m2/dev
ZAXA81J4ND ZAXA81J4ND
| URI | m2://inv/ZAXA81J4ND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28664#HRIA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stone-Weierstrass for Differentially-Defined Functions ZAXAESJ3GM
| URI | m2://inv/ZAXAESJ3GM |
|---|---|
| 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 2506.08233#UAG2, Stone-Weierstrass for Differentially-Defined Functions (statement). In 2TXXQ2575Y/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Quadratic costs depend only on moments ZAXCRQZD9A
| URI | m2://inv/ZAXCRQZD9A |
|---|---|
| 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.01855#TL27, Quadratic costs depend only on moments (statement). In MM8P5CJR18/e1, proposition 5.8
History
- 2026-10-29: add by m2/v0.4.12
Śleszyński–Pringsheim theorem ZAXJ2PHX80
| URI | m2://inv/ZAXJ2PHX80 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q8081891, Śleszyński–Pringsheim theorem (statement). Also Wikidata Q8081891
- thousand_plus: thousand_plus Q8081891, Śleszyński–Pringsheim theorem (statement). Also Wikidata Q8081891, Wikipedia Śleszyński–Pringsheim theorem
- wikipedia: Wikipedia Śleszyński–Pringsheim theorem, Śleszyński–Pringsheim theorem (statement). Also Wikidata Q8081891
History
- 2026-10-26: add by m2/dev
Haar probability ZAXMZE6E9F
| URI | m2://inv/ZAXMZE6E9F |
|---|---|
| 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.18907#WK5L, Haar probability (statement). In 4SSZ4PF2P2/e1, theorem B.1
History
- 2026-10-28: add by m2/v0.4.2
ZAXQHKXT6E ZAXQHKXT6E
| URI | m2://inv/ZAXQHKXT6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05506#KPYB (statement). In FT53PMB1TE/e1, lemma 2.3.1
History
- 2026-10-29: add by m2/v0.4.10
Internal controllability around $w$ ZAXR2MQSTF
| URI | m2://inv/ZAXR2MQSTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11968#U8BK, Internal controllability around $w$ (statement). In X6E7P2ACAS/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.3
Multiplicity compression ZAXRXNXWQE
| URI | m2://inv/ZAXRXNXWQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#OEO5, Multiplicity compression (statement). In E7W2HDNEKJ/e1, lemma 10.20
History
- 2026-10-30: add by m2/v0.4.12
Damping matrix ZAXSMQ98VJ
| URI | m2://inv/ZAXSMQ98VJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Damping matrix, Damping matrix (definition). Also Wikidata Q5212949
History
- 2026-11-02: add by m2/dev
481 (number) ZAY0YKTAM2
| URI | m2://inv/ZAY0YKTAM2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#X9W1, 481 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Uniform rapid mixing with constant decay rate under uniform dissipation ZAY4M3P1C4
| URI | m2://inv/ZAY4M3P1C4 |
|---|---|
| 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.36016#P9B5, Uniform rapid mixing with constant decay rate under uniform dissipation (statement). In NAM9ZMPHZ9/e1, corollary C.9
History
- 2026-10-30: add by m2/v0.4.12
ZAYA9NQ7TY ZAYA9NQ7TY
| URI | m2://inv/ZAYA9NQ7TY |
|---|---|
| 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.23287#MC6A (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZAYCGV83C7 ZAYCGV83C7
| URI | m2://inv/ZAYCGV83C7 |
|---|---|
| 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 2610.15817#RNEU (statement). In NVJMA8ARHP/e1, theorem 3.2.2
History
- 2026-10-28: add by m2/v0.4.2
Simplex noise ZAYE0GJKCC
| URI | m2://inv/ZAYE0GJKCC |
|---|---|
| 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#8NAS, Simplex noise (unknown)
History
- 2026-11-02: add by m2/dev
ZAYN5A5PQ2 ZAYN5A5PQ2
| URI | m2://inv/ZAYN5A5PQ2 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#0ZB5 (unknown). In 4YJH4FPWDA/e1, unknown 3.13
History
- 2026-10-30: add by m2/v0.4.12
Cycle rank ZAYQXFN0VQ
| URI | m2://inv/ZAYQXFN0VQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle rank, Cycle rank (definition). Also Wikidata Q5198174
History
- 2026-11-02: add by m2/dev
Hyperkähler manifold ZAYTM044PY
| URI | m2://inv/ZAYTM044PY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#2DC0, Hyperkähler manifold (definition)
- wikipedia: Wikipedia List of manifolds#VEGQ, Hyperkähler manifold (definition)
History
- 2026-11-02: add by m2/dev
Examples ZAYZGVFZQK
| URI | m2://inv/ZAYZGVFZQK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Join (topology)#37LC, Examples (example)
History
- 2026-11-02: add by m2/dev
Conductor of the symmetric powers ZAZ2S4R4BM
| URI | m2://inv/ZAZ2S4R4BM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#35XY, Conductor of the symmetric powers (statement). In QPJ6FWG5HD/e1, corollary 2.106
History
- 2026-10-29: add by m2/v0.4.12
logic, classical vs constructive ZAZ6241CS9
| URI | m2://inv/ZAZ6241CS9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/logic-classical-vs-constructive, logic, classical vs constructive (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
ZAZEFF1XSB ZAZEFF1XSB
| URI | m2://inv/ZAZEFF1XSB |
|---|---|
| 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.19300#LK3A (definition). In S6S4RD5VXJ/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
466 (number) ZAZG1AVJ67
| URI | m2://inv/ZAZG1AVJ67 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#4F72, 466 (number) (unknown)
History
- 2026-11-02: add by m2/dev
ZAZGC24DR8 ZAZGC24DR8
| URI | m2://inv/ZAZGC24DR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 0903.0651#V42N (statement). In 6R0KH80PTK/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
Fuglede−Kadison determinant ZAZGG9TYJ6
| URI | m2://inv/ZAZGG9TYJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuglede−Kadison determinant, Fuglede−Kadison determinant (definition). Also Wikidata Q60794197
History
- 2026-11-02: add by m2/dev
ZAZHSC59ES ZAZHSC59ES
| URI | m2://inv/ZAZHSC59ES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07236#3NEV (statement). In VPMKBREFY1/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
ZAZKZK3WHE ZAZKZK3WHE
| URI | m2://inv/ZAZKZK3WHE |
|---|---|
| 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 2504.00267#ZJWN (statement). In 38XJWDZ2PH/e1, lemma 4.18
History
- 2026-10-27: add by m2/v0.3.5
Definition ZAZNC3SKZ3
| URI | m2://inv/ZAZNC3SKZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving-average model#3D4A, Definition (definition)
History
- 2026-11-02: add by m2/dev
Steven Gaal ZAZRA2VXT1
| URI | m2://inv/ZAZRA2VXT1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steven Gaal, Steven Gaal (topic). Also Wikidata Q7614740
History
- 2026-11-02: add by m2/dev
ZAZSSVRR8R ZAZSSVRR8R
| URI | m2://inv/ZAZSSVRR8R |
|---|---|
| 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.14435#LK8C (statement). In Y9FSN5BVNQ/e1, theorem 24
History
- 2026-10-28: add by m2/v0.4.2
ZAZVBSNRN0 ZAZVBSNRN0
| URI | m2://inv/ZAZVBSNRN0 |
|---|---|
| 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 2409.17318#M2A6 (statement). In 2P63T9MJ4P/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
ZAZVXYYFB2 ZAZVXYYFB2
| URI | m2://inv/ZAZVXYYFB2 |
|---|---|
| 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.31278#Q4VP (statement). In KEP21CZFV9/e1, theorem #1
History
- 2026-10-31: add by m2/v0.5.6
ZAZWBWRFH7 ZAZWBWRFH7
| URI | m2://inv/ZAZWBWRFH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.22297#OGX8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
MATLAB ZAZX3PNVA5
| URI | m2://inv/ZAZX3PNVA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#KQ72, MATLAB (definition)
History
- 2026-11-02: add by m2/dev
Definition (negligible function) ZAZYKZ6W60
| URI | m2://inv/ZAZYKZ6W60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomness extractor#NTH6, Definition (negligible function) (definition)
History
- 2026-11-02: add by m2/dev