Inventory rows CR
The cards of the rows of the inventory whose ids start with CR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
CR04W52AGZ CR04W52AGZ
| URI | m2://inv/CR04W52AGZ |
|---|---|
| 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.07451#UTZR (example). In P7KT88N75Q/e1, example 2.8
History
- 2026-10-29: add by m2/v0.4.10
Imaginary element CR0AEANPX4
| URI | m2://inv/CR0AEANPX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#FDWT, Imaginary element (definition)
History
- 2026-11-02: add by m2/dev
Alfred Brauer CR0AKD65JW
| URI | m2://inv/CR0AKD65JW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Brauer, Alfred Brauer (topic). Also Wikidata Q95308
History
- 2026-11-02: add by m2/dev
News International CR0CXPKZK6
| URI | m2://inv/CR0CXPKZK6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#SVXT, News International (unknown)
History
- 2026-11-02: add by m2/dev
CR0GHS074N CR0GHS074N
| URI | m2://inv/CR0GHS074N |
|---|---|
| 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 2404.06445#JBRL (statement). In 12JKZ8EN52/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
symmetric variety CR0JBASGJP
| URI | m2://inv/CR0JBASGJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#PXR5, symmetric variety (definition)
History
- 2026-11-02: add by m2/dev
Weil's converse theorem CR0Q9S625P
| URI | m2://inv/CR0Q9S625P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Converse theorem#VWDU, Weil's converse theorem (statement)
History
- 2026-11-02: add by m2/dev
universal CR0QKWX1D0
| URI | m2://inv/CR0QKWX1D0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#4IC9, universal (definition)
History
- 2026-11-02: add by m2/dev
CR0QNPRQGF CR0QNPRQGF
| URI | m2://inv/CR0QNPRQGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27641#C5PU (statement)
History
- 2026-11-01: add by m2/v0.6.15
CR0X4N5B7K CR0X4N5B7K
| URI | m2://inv/CR0X4N5B7K |
|---|---|
| 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.26738#QH18 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations CR12QRQSGW
| URI | m2://inv/CR12QRQSGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Napoleon points#YL2V, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Multiple Indicator Cluster Survey CR186J0YRS
| URI | m2://inv/CR186J0YRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YCWR, Multiple Indicator Cluster Survey (definition)
History
- 2026-11-02: add by m2/dev
Example CR193FPPAS
| URI | m2://inv/CR193FPPAS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergence theorem#6OMH, Example (example)
History
- 2026-11-02: add by m2/dev
PolyL CR1BE1YS80
| URI | m2://inv/CR1BE1YS80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PolyL, PolyL (definition). Also Wikidata Q7226108
History
- 2026-11-02: add by m2/dev
scalar potential CR1CD9331M
| URI | m2://inv/CR1CD9331M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Scalar potential 0FP4BVDAAQ |
Mentions
- wikidata: Wikidata Q1856609, scalar potential (unknown). Also MathWorld ScalarPotential
- wikipedia: Wikipedia Scalar potential, Scalar potential (definition). Also Wikidata Q1856609
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Prime zeta function CR1E47A9XS
| URI | m2://inv/CR1E47A9XS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1896470, Prime zeta function (concept). Also MathWorld PrimeZetaFunction
- wikipedia: Wikipedia Prime zeta function, Prime zeta function (definition). Also Wikidata Q1896470
History
- 2026-10-26: add by m2/dev
Examples CR1EHKKKK9
| URI | m2://inv/CR1EHKKKK9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NIP (model theory)#2KPX, Examples (example)
History
- 2026-11-02: add by m2/dev
Matrix population models CR1F46F7CM
| URI | m2://inv/CR1F46F7CM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LS5U, Matrix population models (definition)
History
- 2026-11-02: add by m2/dev
Harlem Heights CR1GZYPKZ2
| URI | m2://inv/CR1GZYPKZ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#JCMI, Harlem Heights (unknown)
History
- 2026-11-02: add by m2/dev
CR1SYSJVRE CR1SYSJVRE
| URI | m2://inv/CR1SYSJVRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03384#357H (statement). In J55JTTKG84/e1, lemma 6.12
History
- 2026-10-29: add by m2/v0.4.12
Prime Suspects: The Anatomy of Integers and Permutations CR1YSH85YT
| URI | m2://inv/CR1YSH85YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime Suspects: The Anatomy of Integers and Permutations, Prime Suspects: The Anatomy of Integers and Permutations (definition). Also Wikidata Q102036014
History
- 2026-11-02: add by m2/dev
CR22C590QC CR22C590QC
| URI | m2://inv/CR22C590QC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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.06152#2QI6 (definition). In HH35K7S17H/e1, definition 6.10
History
- 2026-10-29: add by m2/v0.4.10
Examples CR22ZN8KBX
| URI | m2://inv/CR22ZN8KBX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coase theorem#LRS0, Examples (example)
History
- 2026-11-02: add by m2/dev
CR26429WCP CR26429WCP
| URI | m2://inv/CR26429WCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-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 2111.14699#SJHK (statement). In ES1CVGG59Y/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
function, dependent CR27849M7X
| URI | m2://inv/CR27849M7X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.4/function-dependent, function, dependent (concept). In N54F33XE07, index, section A.4
History
- 2026-11-01: add by m2/v0.6.13
CR2DBD9GFW CR2DBD9GFW
| URI | m2://inv/CR2DBD9GFW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-24 (example). In E9HS8K3A52, example, section 5.10.2
History
- 2026-11-01: add by m2/v0.6.13
CR2K7FD4Y1 CR2K7FD4Y1
| URI | m2://inv/CR2K7FD4Y1 |
|---|---|
| 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.07162#JNI4 (statement). In MQEB9ZHQAT/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
CR2MS1YZCG CR2MS1YZCG
| URI | m2://inv/CR2MS1YZCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#6K93 (statement)
History
- 2026-11-02: add by m2/v0.6.18
CR2PXEWPY1 CR2PXEWPY1
| URI | m2://inv/CR2PXEWPY1 |
|---|---|
| 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 2401.14162#Y2HU (statement). In JC1XF1JE6J/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Prime-power minimality for topological minors CR2Y3GF4S3
| URI | m2://inv/CR2Y3GF4S3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#7PM6, Prime-power minimality for topological minors (statement). In Y1DR0DPWD0/e1, theorem 7.8
History
- 2026-10-29: add by m2/v0.4.12
Example CR3C2YBMZK
| URI | m2://inv/CR3C2YBMZK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher's exact test#3SES, Example (example)
History
- 2026-11-02: add by m2/dev
CR3SASA262 CR3SASA262
| URI | m2://inv/CR3SASA262 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39726#D8C7 (statement). In 4CTC8A57SD/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
CR3TXQ8M7C CR3TXQ8M7C
| URI | m2://inv/CR3TXQ8M7C |
|---|---|
| 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.01737#YERI (statement). In M4JGP708F4/e1, proposition 1.5
History
- 2026-10-29: add by m2/v0.4.12
Five points determine a conic CR3Z0PE5N9
| URI | m2://inv/CR3Z0PE5N9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Five points determine a conic, Five points determine a conic (definition). Also Wikidata Q5456251
History
- 2026-11-02: add by m2/dev
Pierre-Simon Laplace CR3ZF33FDV
| URI | m2://inv/CR3ZF33FDV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#H9WN, Pierre-Simon Laplace (topic)
History
- 2026-11-02: add by m2/dev
$\phi$-pushforward CR3ZR9V3A3
| URI | m2://inv/CR3ZR9V3A3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#BSFF, $\phi$-pushforward (example). In PF5JJ9DS8Q/e1, example 2.3.3
History
- 2026-10-28: add by m2/v0.4.2
CR3ZV4ZSYV CR3ZV4ZSYV
| URI | m2://inv/CR3ZV4ZSYV |
|---|---|
| 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.16180#USOM (statement). In FCFD59D3T6/e1, lemma B.5
History
- 2026-10-28: add by m2/v0.4.2
parabiaugmented dodecahedron CR41E3ENZR
| URI | m2://inv/CR41E3ENZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q972202, parabiaugmented dodecahedron (object). Also MathWorld ParabiaugmentedDodecahedron
- wikipedia: Wikipedia Parabiaugmented dodecahedron, Parabiaugmented dodecahedron (definition). Also Wikidata Q972202
History
- 2026-10-26: add by m2/dev
CR46JYX5SC CR46JYX5SC
| URI | m2://inv/CR46JYX5SC |
|---|---|
| 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.22777#SE0W (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement CR47HTXG97
| URI | m2://inv/CR47HTXG97 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chomsky–Schützenberger enumeration theorem#1L5F, Statement (statement)
History
- 2026-11-02: add by m2/dev
CR48BFQV65 CR48BFQV65
| URI | m2://inv/CR48BFQV65 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proving-things.tex#ex-3 (example). In PKGMM3P5QY, ex, section 22.11
History
- 2026-11-01: add by m2/v0.6.13
Properties CR4BZC3NT2
| URI | m2://inv/CR4BZC3NT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological indistinguishability#QSUB, Properties (statement)
History
- 2026-11-02: add by m2/dev
CR4C400M1Y CR4C400M1Y
| URI | m2://inv/CR4C400M1Y |
|---|---|
| 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.23341#W8PL (statement)
History
- 2026-11-02: add by m2/v0.6.17
CR4DWJRD2E CR4DWJRD2E
| URI | m2://inv/CR4DWJRD2E |
|---|---|
| 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.15316#A9M3 (statement). In 3K84E4150C/e1, theorem 5.7
History
- 2026-10-28: add by m2/v0.4.2
Cosmic distance ladder CR4G3D2Z7M
| URI | m2://inv/CR4G3D2Z7M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmic distance ladder, Cosmic distance ladder (topic). Also Wikidata Q618164
History
- 2026-11-02: add by m2/dev
Basic properties CR4K19CFNR
| URI | m2://inv/CR4K19CFNR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stepwise irregular graph#QJTP, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Fourier operator CR4M243MYN
| URI | m2://inv/CR4M243MYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#RQAI, Fourier operator (definition)
History
- 2026-11-02: add by m2/dev
CR5191DDK4 CR5191DDK4
| URI | m2://inv/CR5191DDK4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#Z640 (definition). In V97F4YZ8B0/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
modularity theorem CR53GD88GW
| URI | m2://inv/CR53GD88GW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#2LQL, modularity theorem (definition)
History
- 2026-11-02: add by m2/dev
CR58Y69WK6 CR58Y69WK6
| URI | m2://inv/CR58Y69WK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16727#KHHL (statement). In Z5QS3MD8HN/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
Kövari–Sós–Turán theorem CR5B2DDJKQ
| URI | m2://inv/CR5B2DDJKQ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#CKZ2, Kövari–Sós–Turán theorem (conjecture)
History
- 2026-11-02: add by m2/dev
Van Wijngaarden Award CR5ES3BZ45
| URI | m2://inv/CR5ES3BZ45 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adriaan van Wijngaarden#Y6DN, Van Wijngaarden Award (unknown)
History
- 2026-11-02: add by m2/dev
CR5H2FHT9K CR5H2FHT9K
| URI | m2://inv/CR5H2FHT9K |
|---|---|
| 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.16225#7N6B (statement). In H3DJV9YQW1/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
Orange CR5N8X6ZPC
| URI | m2://inv/CR5N8X6ZPC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#35P5, Orange (unknown)
History
- 2026-11-02: add by m2/dev
Hoover index CR5NQV03BE
| URI | m2://inv/CR5NQV03BE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoover index, Hoover index (definition). Also Wikidata Q280746
History
- 2026-11-02: add by m2/dev
Fejér's Theorem CR5TWZJ31A
| URI | m2://inv/CR5TWZJ31A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fejér's theorem#I510, Fejér's Theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties CR5W1CW1VB
| URI | m2://inv/CR5W1CW1VB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stability radius#UAM4, Properties (statement)
History
- 2026-11-02: add by m2/dev
CR5XQ7B5EW CR5XQ7B5EW
| URI | m2://inv/CR5XQ7B5EW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#DLQQ (statement). In ZJQB9W60T6/e1, theorem 4.11
History
- 2026-10-28: add by m2/v0.4.2
colon connectivity CR60DNQ3PP
| URI | m2://inv/CR60DNQ3PP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39395#KY6E, colon connectivity (statement). In ZDVPJ1XX5Z/e1, corollary 3
History
- 2026-10-30: add by m2/v0.4.12
Theorem [Gower & Richtarik 2015] CR67TK9BHN
| URI | m2://inv/CR67TK9BHN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaczmarz method#9U5Z, Theorem [Gower & Richtarik 2015] (statement)
History
- 2026-11-02: add by m2/dev
tempered distribution CR6BDKG9QK
| URI | m2://inv/CR6BDKG9QK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3030799, tempered distribution (definition). Also nLab tempered distribution, ProofWiki Definition:Tempered_Distribution
History
- 2026-10-26: add by m2/dev
Clausen's formula CR6CEP10KX
| URI | m2://inv/CR6CEP10KX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clausen's formula, Clausen's formula (statement). Also Wikidata Q5129539
History
- 2026-11-02: add by m2/dev
Computer-assisted CR6EQFRJDV
| URI | m2://inv/CR6EQFRJDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02216#RKBT, Computer-assisted (statement). In 34JGRZ2M5F/e1, theorem 9.1
History
- 2026-10-29: add by m2/v0.4.12
CR6RKV7DHC CR6RKV7DHC
| URI | m2://inv/CR6RKV7DHC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-16 (exercise). In E9HS8K3A52, exercise, section 10.2.6
History
- 2026-11-01: add by m2/v0.6.13
Horst Feistel CR6RMVJV8R
| URI | m2://inv/CR6RMVJV8R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#UAUH, Horst Feistel (topic)
History
- 2026-11-02: add by m2/dev
CR6TV0CQ04 CR6TV0CQ04
| URI | m2://inv/CR6TV0CQ04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-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 2609.29683#1CT3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
CR6ZNFCHNQ CR6ZNFCHNQ
| URI | m2://inv/CR6ZNFCHNQ |
|---|---|
| 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.07299#TZP9 (statement). In M70KP0BZ99/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
CR735DN4A5 CR735DN4A5
| URI | m2://inv/CR735DN4A5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#ZW4Q (statement). In X3RFXWN6FW/e1, theorem 5.8
History
- 2026-10-27: add by m2/v0.3.6
CR79KGDSGE CR79KGDSGE
| URI | m2://inv/CR79KGDSGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07679#VFPM (statement). In K8JMTRS42G/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
The homology suspension kills decomposables CR7CAYPEBK
| URI | m2://inv/CR7CAYPEBK |
|---|---|
| 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 2610.04164#42DE, The homology suspension kills decomposables (statement). In KR7WXN4EWR/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.12
CR7SY6BG8G CR7SY6BG8G
| URI | m2://inv/CR7SY6BG8G |
|---|---|
| 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.33531#A4BY (statement). In HNMJEAR2ER/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Flat cover CR83GQJR40
| URI | m2://inv/CR83GQJR40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flat cover, Flat cover (definition). Also Wikidata Q24261457
History
- 2026-11-02: add by m2/dev
Individual regret CR84EPENR8
| URI | m2://inv/CR84EPENR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21976#M1CF, Individual regret (statement)
History
- 2026-11-02: add by m2/v0.6.17
CR88G3FR9C CR88G3FR9C
| URI | m2://inv/CR88G3FR9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#XZX3 (statement). In AGJE43FTF8/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.4.2
Atiyah–Singer index theorem CR89JNDCFS
| URI | m2://inv/CR89JNDCFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah–Singer index theorem#9CYK, Atiyah–Singer index theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition CR8T6M3FXP
| URI | m2://inv/CR8T6M3FXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gossard perspector#AKCT, Definition (definition)
History
- 2026-11-02: add by m2/dev
CR8Y8D9F3Y CR8Y8D9F3Y
| URI | m2://inv/CR8Y8D9F3Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21645#OIBY (statement)
History
- 2026-11-02: add by m2/v0.6.18
CR91Y0PTMG CR91Y0PTMG
| URI | m2://inv/CR91Y0PTMG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#N09V (definition). In HGE2NCQW29/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
F-test CR9926XTXV
| URI | m2://inv/CR9926XTXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-test, F-test (definition). Also Wikidata Q1386253
History
- 2026-11-02: add by m2/dev
Residue theory CR9AJHGVY5
| URI | m2://inv/CR9AJHGVY5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#NK1H, Residue theory (statement)
History
- 2026-11-02: add by m2/dev
Applications CR9C83APKE
| URI | m2://inv/CR9C83APKE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suspension (topology)#3S57, Applications (example)
History
- 2026-11-02: add by m2/dev
Math Prize for Girls CR9EHKYE0F
| URI | m2://inv/CR9EHKYE0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Math Prize for Girls, Math Prize for Girls (definition). Also Wikidata Q39087310
History
- 2026-11-02: add by m2/dev
Application: the Seifert–van Kampen theorem CR9QBX7VK4
| URI | m2://inv/CR9QBX7VK4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pushout (category theory)#7BVQ, Application: the Seifert–van Kampen theorem (statement)
History
- 2026-11-02: add by m2/dev
Huber loss function CR9R87YNJR
| URI | m2://inv/CR9R87YNJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9HD6, Huber loss function (definition)
History
- 2026-11-02: add by m2/dev
Ellipse CR9SDV1F5N
| URI | m2://inv/CR9SDV1F5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#HME7, Ellipse (definition)
- wikipedia: Wikipedia List of curves#WXPH, Ellipse (definition)
History
- 2026-11-02: add by m2/dev
Explicit rate used in the figures CRA691P1HJ
| URI | m2://inv/CRA691P1HJ |
|---|---|
| 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.09356#ILUW, Explicit rate used in the figures (statement). In 3VVGPXWH6R/e1, corollary C.29
History
- 2026-10-29: add by m2/v0.4.10
Fang Liu CRA7FNEKZM
| URI | m2://inv/CRA7FNEKZM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fang Liu (statistician), Fang Liu (topic). Also Wikidata Q50978028
History
- 2026-11-02: add by m2/dev
Linear disjointness CRAGM5Y1X5
| URI | m2://inv/CRAGM5Y1X5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear disjointness, Linear disjointness (definition). Also Wikidata Q3062530
History
- 2026-11-02: add by m2/dev
BTCC CRAMAYWZGX
| URI | m2://inv/CRAMAYWZGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BTCC (cryptocurrency exchange), BTCC (definition). Also Wikidata Q15377683
History
- 2026-11-02: add by m2/dev
Two-vector CRAQ1A87F4
| URI | m2://inv/CRAQ1A87F4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-vector, Two-vector (definition). Also Wikidata Q7858777
History
- 2026-11-02: add by m2/dev
Sergei Natanovich Bernstein CRAR3H9VBA
| URI | m2://inv/CRAR3H9VBA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#E20X, Sergei Natanovich Bernstein (topic)
History
- 2026-11-02: add by m2/dev
CRAYWXWX3C CRAYWXWX3C
| URI | m2://inv/CRAYWXWX3C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#DGW1 (definition)
History
- 2026-11-02: add by m2/v0.6.17
CRB5NXZ85W CRB5NXZ85W
| URI | m2://inv/CRB5NXZ85W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.07983#V20I (definition). In 4WJ9HYVSZY/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.6
CRBC1BD1XB CRBC1BD1XB
| URI | m2://inv/CRBC1BD1XB |
|---|---|
| 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.10902#H4M9 (statement). In 96T1K6C3NZ/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.3
N. Abel CRBNB89CBK
| URI | m2://inv/CRBNB89CBK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#9N2U, N. Abel (topic)
History
- 2026-11-02: add by m2/dev
Themistocles M. Rassias CRBQV48VA9
| URI | m2://inv/CRBQV48VA9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#IF0I, Themistocles M. Rassias (topic)
History
- 2026-11-02: add by m2/dev
Law of truly large numbers CRBR87R8N7
| URI | m2://inv/CRBR87R8N7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2912340, Law of truly large numbers (statement). Also MathWorld LawofTrulyLargeNumbers
- wikipedia: Wikipedia Law of truly large numbers, Law of truly large numbers (statement). Also Wikidata Q2912340
History
- 2026-10-26: add by m2/dev
Spectral theorem CRCA6WZ9AA
| URI | m2://inv/CRCA6WZ9AA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-adjoint operator#BQ3D, Spectral theorem (statement)
History
- 2026-11-02: add by m2/dev
Hemipolyhedron CRCN7E1W5Z
| URI | m2://inv/CRCN7E1W5Z |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#B98J, Hemipolyhedron (object)
History
- 2026-11-02: add by m2/dev
CRCNJ99SBM CRCNJ99SBM
| URI | m2://inv/CRCNJ99SBM |
|---|---|
| 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 2006.05158#FGWC (statement). In 4VCW6SZQXK/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
CRCQTJDJ9W CRCQTJDJ9W
| URI | m2://inv/CRCQTJDJ9W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#V1VZ (statement). In MRR92GQNZE/e1, lemma 3.28
History
- 2026-10-30: add by m2/v0.4.12
CRCSX72DFE CRCSX72DFE
| URI | m2://inv/CRCSX72DFE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#PP9K (definition). In QM1T8JDK4A/e1, definition 6.8
History
- 2026-10-30: add by m2/v0.4.12
CRDDPDE6P0 CRDDPDE6P0
| URI | m2://inv/CRDDPDE6P0 |
|---|---|
| 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.07380#UXJY (statement). In XM2CDRKSGE/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.10
Non-oblivious degree-$2$ depth upper bound CRDN1W7VFW
| URI | m2://inv/CRDN1W7VFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#YTJ5, Non-oblivious degree-$2$ depth upper bound (statement). In ZZER8ZBSCR/e1, proposition 5.7
History
- 2026-10-29: add by m2/v0.4.12
CRDQ68K72S CRDQ68K72S
| URI | m2://inv/CRDQ68K72S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14267#OGLB (statement). In 9YTGFNA004/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
Properties CRDYT7RKFT
| URI | m2://inv/CRDYT7RKFT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary symmetric polynomial#SBU9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Naive Set Theory CRE11XQ6C7
| URI | m2://inv/CRE11XQ6C7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naive Set Theory (book), Naive Set Theory (definition). Also Wikidata Q6959839
History
- 2026-11-02: add by m2/dev
Bresenham's line algorithm CRE1QTMWTG
| URI | m2://inv/CRE1QTMWTG |
|---|---|
| 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#H2GN, Bresenham's line algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Alfred Kneschke CRE65K2H2R
| URI | m2://inv/CRE65K2H2R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Kneschke, Alfred Kneschke (topic). Also Wikidata Q18333700
History
- 2026-11-02: add by m2/dev
Barometric formula CRE6KAVBQC
| URI | m2://inv/CRE6KAVBQC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#BHU5, Barometric formula (statement)
History
- 2026-11-02: add by m2/dev
CREB6J4TTM CREB6J4TTM
| URI | m2://inv/CREB6J4TTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31537#6W5Z (statement). In MNYPK3W135/e1, corollary 5.2
History
- 2026-10-31: add by m2/v0.5.6
Existence of dual equilibria CREGQDNJ27
| URI | m2://inv/CREGQDNJ27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#79F0, Existence of dual equilibria (statement)
History
- 2026-11-02: add by m2/v0.6.18
Notation CRENA6XEW3
| URI | m2://inv/CRENA6XEW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivative#J0CH, Notation (definition)
History
- 2026-11-02: add by m2/dev
CRESKDBCXA CRESKDBCXA
| URI | m2://inv/CRESKDBCXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.14879#H6WB (statement). In 3VZ55B2N0D/e1, lemma 5.21
History
- 2026-10-27: add by m2/v0.4.0
CRF20J5J5R CRF20J5J5R
| URI | m2://inv/CRF20J5J5R |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#9PTB (unknown). In QNBFHFZ3H0/e1, unknown 69
History
- 2026-10-28: add by m2/v0.4.2
Examples CRF3WDZG0T
| URI | m2://inv/CRF3WDZG0T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfinite number#ILWA, Examples (example)
History
- 2026-11-02: add by m2/dev
Introduction to topos theory CRF6BR8B9H
| URI | m2://inv/CRF6BR8B9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#MLXS, Introduction to topos theory (definition)
History
- 2026-11-02: add by m2/dev
CRF6EBTJF0 CRF6EBTJF0
| URI | m2://inv/CRF6EBTJF0 |
|---|---|
| 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 2204.10840#9EFG (statement). In EMS1MAJZ4X/e1, proposition 8
History
- 2026-10-27: add by m2/v0.3.6
Steric 5-cubes CRF7KTX7AM
| URI | m2://inv/CRF7KTX7AM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steric 5-cubes, Steric 5-cubes (definition). Also Wikidata Q7847854
History
- 2026-11-02: add by m2/dev
Vaught measure CRF97EDR1S
| URI | m2://inv/CRF97EDR1S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Refinement monoid#Z8H4, Vaught measure (unknown)
History
- 2026-11-02: add by m2/dev
A site field with edge defects CRF9FN4BRJ
| URI | m2://inv/CRF9FN4BRJ |
|---|---|
| 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.22301#AT1N, A site field with edge defects (statement)
History
- 2026-11-02: add by m2/v0.6.17
CRF9KDCEFH CRF9KDCEFH
| URI | m2://inv/CRF9KDCEFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.10963#1ITW (statement). In F32XWYWG8E/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
CRFE8VETMT CRFE8VETMT
| URI | m2://inv/CRFE8VETMT |
|---|---|
| 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.13670#6GU5 (statement). In 4PGTZ19B26/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
CRFXS6MXS3 CRFXS6MXS3
| URI | m2://inv/CRFXS6MXS3 |
|---|---|
| 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.04993#V1T8 (statement). In JQBWZPXKAV/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
G/g CRFXX8R45K
| URI | m2://inv/CRFXX8R45K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9739, G/g (unknown). Also ProofWiki Symbols:G
History
- 2026-10-26: add by m2/dev
CRG9DBZAV1 CRG9DBZAV1
| URI | m2://inv/CRG9DBZAV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07453#9HSL (statement). In CQGE4WJV4P/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
DARP CRGBRPADX1
| URI | m2://inv/CRGBRPADX1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital data#IUUT, DARP (unknown)
History
- 2026-11-02: add by m2/dev
Dedekind–Hasse norm CRGGHF7ZZ1
| URI | m2://inv/CRGGHF7ZZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#LICK, Dedekind–Hasse norm (definition)
History
- 2026-11-02: add by m2/dev
Examples CRGSHCV7H6
| URI | m2://inv/CRGSHCV7H6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pro-p group#17GC, Examples (example)
History
- 2026-11-02: add by m2/dev
Hemi-octahedron CRGWBM2WPW
| URI | m2://inv/CRGWBM2WPW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemi-octahedron, Hemi-octahedron (object). Also Wikidata Q17076137
History
- 2026-11-02: add by m2/dev
Construction CRH1C735F4
| URI | m2://inv/CRH1C735F4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isosceles set#EI3H, Construction (definition)
History
- 2026-11-02: add by m2/dev
CRH81WCR95 CRH81WCR95
| URI | m2://inv/CRH81WCR95 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#5Y8K (definition). In ATSYBWEMMP/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Rank-uniform labeled poset CRHDTXJB5M
| URI | m2://inv/CRHDTXJB5M |
|---|---|
| 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 2609.30323#ML59, Rank-uniform labeled poset (definition). In HDJ6N25XVT/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
Internal consistency CRHV7A6HPG
| URI | m2://inv/CRHV7A6HPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NE9T, Internal consistency (definition)
History
- 2026-11-02: add by m2/dev
Quadratic cost of magnetization CRJ20JVWY7
| URI | m2://inv/CRJ20JVWY7 |
|---|---|
| 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.37479#9KWI, Quadratic cost of magnetization (statement). In P3RTT99C41/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
CRJ35EQVPS CRJ35EQVPS
| URI | m2://inv/CRJ35EQVPS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/operations.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 80.3
History
- 2026-11-01: add by m2/v0.6.13
Robby CRJ8DXBCK3
| URI | m2://inv/CRJ8DXBCK3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#GU2S, Robby (unknown)
History
- 2026-11-02: add by m2/dev
Applications CRJJ6N6WM7
| URI | m2://inv/CRJJ6N6WM7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Π-calculus#VEBJ, Applications (example)
History
- 2026-11-02: add by m2/dev
CRJKD3VMSX CRJKD3VMSX
| URI | m2://inv/CRJKD3VMSX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#LJWR (definition). In H21X3FHNYJ/e1, definition 7.6
History
- 2026-10-27: add by m2/v0.4.2
Square-root sum problem CRJKM3K1VD
| URI | m2://inv/CRJKM3K1VD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#WK0D, Square-root sum problem (unknown)
History
- 2026-11-02: add by m2/dev
Jane Worcester CRJQX771QM
| URI | m2://inv/CRJQX771QM |
|---|---|
| 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#BQC8, Jane Worcester (topic)
History
- 2026-11-02: add by m2/dev
Nair, Vijayan N. CRJXZR5Q86
| URI | m2://inv/CRJXZR5Q86 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#V6YO, Nair, Vijayan N. (topic)
History
- 2026-11-02: add by m2/dev
Properties CRJYMVTBJ4
| URI | m2://inv/CRJYMVTBJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fair random assignment#GX7R, Properties (statement)
History
- 2026-11-02: add by m2/dev
CRK1ECNH04 CRK1ECNH04
| URI | m2://inv/CRK1ECNH04 |
|---|---|
| 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 math/0411039#KX20 (statement). In ZTBDXSKFFW/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.5
CRK5RPYWVD CRK5RPYWVD
| URI | m2://inv/CRK5RPYWVD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30165#XGY5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Proper Lie groupoid CRK8SB73TX
| URI | m2://inv/CRK8SB73TX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie groupoid#ZEYJ, Proper Lie groupoid (unknown)
History
- 2026-11-02: add by m2/dev
CRKEQR5CT9 CRKEQR5CT9
| URI | m2://inv/CRKEQR5CT9 |
|---|---|
| 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 0807.1652#7RC1 (statement). In 6RC18PTSTT/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Parity theorem for MRS functions CRKF23NNGJ
| URI | m2://inv/CRKF23NNGJ |
|---|---|
| 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.17006#6HUK, Parity theorem for MRS functions (statement). In YY81ZEJ82P/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
Gravity model of trade CRKFYFQZ9E
| URI | m2://inv/CRKFYFQZ9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gravity model of trade, Gravity model of trade (definition). Also Wikidata Q1543986
History
- 2026-11-02: add by m2/dev
CRKKJZKD4P CRKKJZKD4P
| URI | m2://inv/CRKKJZKD4P |
|---|---|
| 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 2204.13401#9KZ1 (definition). In B8MJT0GGW8/e1, definition 3.15
History
- 2026-10-27: add by m2/v0.4.0
Jeffrey T. Leek CRKSCTPCDB
| URI | m2://inv/CRKSCTPCDB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeffrey T. Leek, Jeffrey T. Leek (topic). Also Wikidata Q41905110
History
- 2026-11-02: add by m2/dev
CRKSTHGREN CRKSTHGREN
| URI | m2://inv/CRKSTHGREN |
|---|---|
| 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 2102.12931#5UD8 (statement). In PQHTR84RAJ/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.0
Paper bag problem CRKYVV32SY
| URI | m2://inv/CRKYVV32SY |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#9ICZ, Paper bag problem (problem)
History
- 2026-11-02: add by m2/dev
CRMEARFH4P CRMEARFH4P
| URI | m2://inv/CRMEARFH4P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop:integralcontcont (statement). In E59CDZA4DP, prop, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
Representations CRMG4ND9ZR
| URI | m2://inv/CRMG4ND9ZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebroid#9UJI, Representations (definition)
History
- 2026-11-02: add by m2/dev
CRMH43WDNT CRMH43WDNT
| URI | m2://inv/CRMH43WDNT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07812#F5XG (statement). In PVX8WBBXW5/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Zooko's triangle CRMK5XAZ2P
| URI | m2://inv/CRMK5XAZ2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zooko's triangle, Zooko's triangle (definition). Also Wikidata Q220163
History
- 2026-11-02: add by m2/dev
Applications CRMSE4QFGF
| URI | m2://inv/CRMSE4QFGF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gompertz function#HTD0, Applications (example)
History
- 2026-11-02: add by m2/dev
CRMV5HHEKS CRMV5HHEKS
| URI | m2://inv/CRMV5HHEKS |
|---|---|
| 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.11292#2GTY (statement). In Y35XMETFV7/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
CRMY9X103J CRMY9X103J
| URI | m2://inv/CRMY9X103J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25897#VB8L (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bruns' polyhedron CRMZ2W19A9
| URI | m2://inv/CRMZ2W19A9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinrich Bruns#YIAJ, Bruns' polyhedron (unknown)
History
- 2026-11-02: add by m2/dev
Franz Palm CRN33J22Y7
| URI | m2://inv/CRN33J22Y7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#S7SU, Franz Palm (unknown)
History
- 2026-11-02: add by m2/dev
CRN75F34X0 CRN75F34X0
| URI | m2://inv/CRN75F34X0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-arithgeom.ptx#investigation-seqdots (exercise). In Y91XFCEVHQ, investigation, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Pohlig–Hellman algorithm CRNEKSECQ0
| URI | m2://inv/CRNEKSECQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pohlig–Hellman algorithm, Pohlig–Hellman algorithm (definition). Also Wikidata Q1755812
History
- 2026-11-02: add by m2/dev
Constant-preserving strong selector closure CRNJWH76WW
| URI | m2://inv/CRNJWH76WW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16069#TJU6, Constant-preserving strong selector closure (statement). In MBJA03ES8N/e1, corollary 8.5
History
- 2026-10-28: add by m2/v0.4.2
CRNTYMMKSB CRNTYMMKSB
| URI | m2://inv/CRNTYMMKSB |
|---|---|
| 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#XWN1 (statement). In KEP21CZFV9/e1, lemma #1
History
- 2026-10-31: add by m2/v0.5.6
CRNWV3KMGK CRNWV3KMGK
| URI | m2://inv/CRNWV3KMGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17482#XJYJ (statement). In BQQK9JDJ9F/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Peter Orlik CRNXNT0T25
| URI | m2://inv/CRNXNT0T25 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Orlik, Peter Orlik (topic). Also Wikidata Q15435316
History
- 2026-11-02: add by m2/dev
CRNZJ24S3R CRNZJ24S3R
| URI | m2://inv/CRNZJ24S3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#B1MF (statement). In A02X6MX28Y/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Applications CRP0WER5PS
| URI | m2://inv/CRP0WER5PS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal polynomial (linear algebra)#73WS, Applications (example)
History
- 2026-11-02: add by m2/dev
\textbf{H\"older Taylor Remainder CRPE3HCSDK
| URI | m2://inv/CRPE3HCSDK |
|---|---|
| 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.02791#0EV9, \textbf{H\"older Taylor Remainder (statement). In TT9BA4VMTW/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.12
CRPEHC6NRM CRPEHC6NRM
| URI | m2://inv/CRPEHC6NRM |
|---|---|
| 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.13137#FQUK (statement). In NH77XVB03X/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Conical surface CRPMPQHEMH
| URI | m2://inv/CRPMPQHEMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#YHP5, Conical surface (definition)
History
- 2026-11-02: add by m2/dev
Simplified Chernoff Bounds for Poisson variables CRPTSY61N0
| URI | m2://inv/CRPTSY61N0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27689#KZP0, Simplified Chernoff Bounds for Poisson variables (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ciol, Marcia CRPZTDFVSP
| URI | m2://inv/CRPZTDFVSP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#9PDW, Ciol, Marcia (topic)
History
- 2026-11-02: add by m2/dev
CRPZY8Q7VJ CRPZY8Q7VJ
| URI | m2://inv/CRPZY8Q7VJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#example-1 (example). In RZP28ERRZV, example, section 30.1
History
- 2026-11-01: add by m2/v0.6.13
CRQ6SKGRJQ CRQ6SKGRJQ
| URI | m2://inv/CRQ6SKGRJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33406#5S9T (statement). In B23TX8G4E4/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
N-huge cardinal CRQ72WJY95
| URI | m2://inv/CRQ72WJY95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#J3BG, N-huge cardinal (definition)
History
- 2026-11-02: add by m2/dev
imaginary error function CRQ7P851W1
| URI | m2://inv/CRQ7P851W1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111218548, imaginary error function (unknown). Also MathWorld Erfi
History
- 2026-10-26: add by m2/dev
Incircle and excircles of a triangle CRQ9M0WRD4
| URI | m2://inv/CRQ9M0WRD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#JWR5, Incircle and excircles of a triangle (definition)
History
- 2026-11-02: add by m2/dev
CRQDQ829WQ CRQDQ829WQ
| URI | m2://inv/CRQDQ829WQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Affine self-exciting portfolio loss models CRQEQAPCF3
| URI | m2://inv/CRQEQAPCF3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31102#CCFZ, Affine self-exciting portfolio loss models (example). In 7CADATJMAA/e1, example 6.2
History
- 2026-10-31: add by m2/v0.5.6
CRQFEGAPC4 CRQFEGAPC4
| URI | m2://inv/CRQFEGAPC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09926#0Z6F (statement). In ZZY5S3FHMJ/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
CRQG9KR5FR CRQG9KR5FR
| URI | m2://inv/CRQG9KR5FR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16339#CQGW (statement). In ER5EH4W919/e1, proposition 9.1
History
- 2026-10-28: add by m2/v0.4.2
Stieltjes CRQK9NVWA0
| URI | m2://inv/CRQK9NVWA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#3QA2, Stieltjes (definition)
History
- 2026-11-02: add by m2/dev
CRQQRP9346 CRQQRP9346
| URI | m2://inv/CRQQRP9346 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20368#LB14 (example). In T8CDHW9MC1/e1, example
History
- 2026-10-27: add by m2/v0.4.2
Solutions of differential equations CRR8CMQ0X1
| URI | m2://inv/CRR8CMQ0X1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential equation#OA4P, Solutions of differential equations (unknown)
History
- 2026-11-02: add by m2/dev
Examples CRRDETV4D7
| URI | m2://inv/CRRDETV4D7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant of a binary form#HUHZ, Examples (example)
History
- 2026-11-02: add by m2/dev
CRRKAJ4ZKR CRRKAJ4ZKR
| URI | m2://inv/CRRKAJ4ZKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21900#DD1J (statement)
History
- 2026-11-02: add by m2/v0.6.17
Nadirashvili surface CRRX5X3N4R
| URI | m2://inv/CRRX5X3N4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nadirashvili surface, Nadirashvili surface (definition). Also Wikidata Q6957863
History
- 2026-11-02: add by m2/dev
Katugampola fractional operators CRRZP4KEV3
| URI | m2://inv/CRRZP4KEV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Katugampola fractional operators, Katugampola fractional operators (definition). Also Wikidata Q25304571
History
- 2026-11-02: add by m2/dev
General principle CRS1VXJRXG
| URI | m2://inv/CRS1VXJRXG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anharmonicity#I9AA, General principle (statement)
History
- 2026-11-02: add by m2/dev
Example CRS3EW75VR
| URI | m2://inv/CRS3EW75VR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted Hessian curves#4VUI, Example (example)
History
- 2026-11-02: add by m2/dev
syzygy CRSKZYF86V
| URI | m2://inv/CRSKZYF86V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#PS7P, syzygy (definition)
History
- 2026-11-02: add by m2/dev
CRSWGNXSXW CRSWGNXSXW
| URI | m2://inv/CRSWGNXSXW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#A548 (definition). In CY1FE8W1ZW/e1, definition 0.264
History
- 2026-10-27: add by m2/v0.4.0
Bell's theorem CRSXVFBAZV
| URI | m2://inv/CRSXVFBAZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden-variable theory#UW57, Bell's theorem (statement)
History
- 2026-11-02: add by m2/dev
CRT4HHQR0W CRT4HHQR0W
| URI | m2://inv/CRT4HHQR0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1902.04230#NCFS (statement). In 22JZ68FGCW/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.3.5
CRT80RX3ZY CRT80RX3ZY
| URI | m2://inv/CRT80RX3ZY |
|---|---|
| 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.05459#M542 (statement). In VYW16D089Y/e1, theorem 5.14
History
- 2026-10-29: add by m2/v0.4.10
orbifold notation CRTKD6GZQS
| URI | m2://inv/CRTKD6GZQS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12797591, orbifold notation (concept). Also MathWorld OrbifoldNotation
- wikipedia: Wikipedia Orbifold notation, Orbifold notation (definition). Also Wikidata Q12797591
History
- 2026-10-26: add by m2/dev
CRTNFNFNBA CRTNFNFNBA
| URI | m2://inv/CRTNFNFNBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28848#AKSR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Greek exclamation mark CRTPA013H9
| URI | m2://inv/CRTPA013H9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exclamation mark#JGL4, Greek exclamation mark (unknown)
History
- 2026-11-02: add by m2/dev
Theorem CRTPTGHN5Y
| URI | m2://inv/CRTPTGHN5Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's lemma#CVU2, Theorem (statement)
History
- 2026-11-02: add by m2/dev
LU decomposition CRTS3W4YNF
| URI | m2://inv/CRTS3W4YNF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Solving systems of linear inequalities > LU decomposition, LU decomposition (unknown)
History
- 2026-10-26: add by m2/dev
CRTSEEF9N6 CRTSEEF9N6
| URI | m2://inv/CRTSEEF9N6 |
|---|---|
| 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 0909.2893#NSIN (statement). In JQ4JYAXCMK/e1, proposition 21
History
- 2026-10-27: add by m2/v0.3.5
MPDATA CRTVY5V1PS
| URI | m2://inv/CRTVY5V1PS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MPDATA, MPDATA (definition). Also Wikidata Q117795578
History
- 2026-11-02: add by m2/dev
Definition CRTWEA646X
| URI | m2://inv/CRTWEA646X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursell function#UANF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Tōru Eguchi CRTZ4AZB7J
| URI | m2://inv/CRTZ4AZB7J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2465343, Tōru Eguchi (unknown). Also nLab Tohru Eguchi
History
- 2026-10-26: add by m2/dev
CRV14PDZ7K CRV14PDZ7K
| URI | m2://inv/CRV14PDZ7K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35325#VVUB (statement). In GHT5WXFA4E/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Formula of Riemann-Hurwitz CRV1ZGWZXP
| URI | m2://inv/CRV1ZGWZXP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangulation (topology)#6YO1, Formula of Riemann-Hurwitz (statement)
History
- 2026-11-02: add by m2/dev
Rate-preserving UBU exponent CRVDBATAEH
| URI | m2://inv/CRVDBATAEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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 2609.28611#CKZ8, Rate-preserving UBU exponent (statement)
History
- 2026-11-01: add by m2/v0.6.15
CRVG0Q42K1 CRVG0Q42K1
| URI | m2://inv/CRVG0Q42K1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#69QM (statement). In WK2YHYEDZ9/e1, corollary 5.3
History
- 2026-10-30: add by m2/v0.4.12
CRVQ4CBDZC CRVQ4CBDZC
| URI | m2://inv/CRVQ4CBDZC |
|---|---|
| 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#ZD1V (definition)
History
- 2026-11-02: add by m2/v0.6.18
weighted order at the conic points CRVR503429
| URI | m2://inv/CRVR503429 |
|---|---|
| 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.02743#BZDD, weighted order at the conic points (statement). In GQH4ZPDWET/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.12
CRVSTPCJFD CRVSTPCJFD
| URI | m2://inv/CRVSTPCJFD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21872#BMKN (statement). In HEA1ME2ZE4/e1, lemma 11
History
- 2026-10-27: add by m2/v0.4.2
CRVVHTR7BK CRVVHTR7BK
| URI | m2://inv/CRVVHTR7BK |
|---|---|
| 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 2604.02255#L39L (statement). In 14NGZPH8B9/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Chaitin's algorithm CRVX5NC0TG
| URI | m2://inv/CRVX5NC0TG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ETOH, Chaitin's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Random permutation statistics CRWAH0GJFS
| URI | m2://inv/CRWAH0GJFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7UUA, Random permutation statistics (definition)
- wikipedia: Wikipedia List of permutation topics#TZK8, Random permutation statistics (definition)
History
- 2026-11-02: add by m2/dev
Pólya conjecture CRWBH2TXS2
| URI | m2://inv/CRWBH2TXS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#UZ3Q, Pólya conjecture (statement)
History
- 2026-11-02: add by m2/dev
Brocard points CRWCSAMVCJ
| URI | m2://inv/CRWCSAMVCJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q923233, Brocard points (concept). Also MathWorld BrocardPoints
- wikipedia: Wikipedia Brocard points, Brocard points (definition). Also Wikidata Q923233
History
- 2026-10-26: add by m2/dev
Definition CRWE2ETKJA
| URI | m2://inv/CRWE2ETKJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum of a C*-algebra#MTT7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Monotonicity CRX1ZHF7SC
| URI | m2://inv/CRX1ZHF7SC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#prop:monotonicity, Monotonicity (statement). In PKGMM3P5QY, prop, section 40.4
History
- 2026-11-01: add by m2/v0.6.13
Wang tile CRX5904NAD
| URI | m2://inv/CRX5904NAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#1RL0, Wang tile (definition)
History
- 2026-11-02: add by m2/dev
de Rham CRX78HSX6H
| URI | m2://inv/CRX78HSX6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#RWIF, de Rham (definition)
History
- 2026-11-02: add by m2/dev
square-free integer CRXD4H5A0V
| URI | m2://inv/CRXD4H5A0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#I14N, square-free integer (definition)
History
- 2026-11-02: add by m2/dev
Rajaditya CRXDASN6CJ
| URI | m2://inv/CRXDASN6CJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rajaditya (mathematician), Rajaditya (topic). Also Wikidata Q135440955
History
- 2026-11-02: add by m2/dev
Subsonic flight CRXDW9KNEE
| URI | m2://inv/CRXDW9KNEE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aerodynamics#NIAM, Subsonic flight (unknown)
History
- 2026-11-02: add by m2/dev
James Hardy Wilkinson CRXNBHFFGB
| URI | m2://inv/CRXNBHFFGB |
|---|---|
| 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#HQA8, James Hardy Wilkinson (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WH3Q, James Hardy Wilkinson (topic)
History
- 2026-11-02: add by m2/dev
Calls and information CRXZ12CR3W
| URI | m2://inv/CRXZ12CR3W |
|---|---|
| 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.12211#1CZ7, Calls and information (statement). In WBC7PQTVYC/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
CRY1JFWV42 CRY1JFWV42
| URI | m2://inv/CRY1JFWV42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#M9TW (statement). In Q5Z178SAHP/e1, lemma 3.11
History
- 2026-10-30: add by m2/v0.4.12
integer CRY2CY8PR4
| URI | m2://inv/CRY2CY8PR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#HF7K, integer (definition)
History
- 2026-11-02: add by m2/dev
Mason's gain formula CRY85GKXRW
| URI | m2://inv/CRY85GKXRW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mason's gain formula, Mason's gain formula (statement). Also Wikidata Q2273232
History
- 2026-11-02: add by m2/dev
CRYA3PJGDY CRYA3PJGDY
| URI | m2://inv/CRYA3PJGDY |
|---|---|
| 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.20421#6VCB (statement). In Q4R7J8JE3F/e1, lemma 2.12
History
- 2026-10-27: add by m2/v0.4.2
Nonlocal switching CRYFKFVJBF
| URI | m2://inv/CRYFKFVJBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32585#IC4U, Nonlocal switching (statement). In FJFJ3WR1SS/e1, corollary C.1
History
- 2026-10-31: add by m2/v0.5.6
Examples CRYM8F41B1
| URI | m2://inv/CRYM8F41B1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixture model#QP4O, Examples (example)
History
- 2026-11-02: add by m2/dev
Duality (optimization) CRYTAP6110
| URI | m2://inv/CRYTAP6110 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#0PSX, Duality (optimization) (definition)
- wikipedia: Wikipedia List of dualities#PRQR, Duality (optimization) (definition)
- wikipedia: Wikipedia List of numerical analysis topics#B06H, Duality (optimization) (definition)
History
- 2026-11-02: add by m2/dev
context CRYZ5DVQEK
| URI | m2://inv/CRYZ5DVQEK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.1/context, context (concept). In N54F33XE07, index, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
CRZ02ZS14J CRZ02ZS14J
| URI | m2://inv/CRZ02ZS14J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39726#9PVN (statement). In 4CTC8A57SD/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Linear algebraic group CRZ6CZ4T2E
| URI | m2://inv/CRZ6CZ4T2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#GRE9, Linear algebraic group (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#EES5, Linear algebraic group (definition)
History
- 2026-11-02: add by m2/dev