Inventory rows 7B
The cards of the rows of the inventory whose ids start with 7B. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Karhunen–Loève theorem 7B02FX31TE
| URI | m2://inv/7B02FX31TE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#04G9, Karhunen–Loève theorem (statement)
History
- 2026-11-02: add by m2/dev
Mauricio Resende 7B0FV0M4TZ
| URI | m2://inv/7B0FV0M4TZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mauricio Resende, Mauricio Resende (topic). Also Wikidata Q102111140
History
- 2026-11-02: add by m2/dev
Stochastic L-system 7B0FV5AW0C
| URI | m2://inv/7B0FV5AW0C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-system#SVIT, Stochastic L-system (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 7B0S7602FT
| URI | m2://inv/7B0S7602FT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omnibus test#O0M6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Homotopy theory 7B0WN22QWA
| URI | m2://inv/7B0WN22QWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#G3VA, Homotopy theory (definition)
History
- 2026-11-02: add by m2/dev
7B0ZXHD0AE 7B0ZXHD0AE
| URI | m2://inv/7B0ZXHD0AE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-64 (exercise). In E59CDZA4DP, exercise, section 4.5.6
History
- 2026-11-01: add by m2/v0.6.13
matrix, zeroone 7B12DWZR6A
| URI | m2://inv/7B12DWZR6A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.5.1/matrix-zeroone, matrix, zeroone (concept). In QKM9DD2H56, index, section 16.5.1
History
- 2026-11-01: add by m2/v0.6.13
Markov model 7B1412BHB0
| URI | m2://inv/7B1412BHB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YFUU, Markov model (definition)
History
- 2026-11-02: add by m2/dev
Regular character 7B155V3ESM
| URI | m2://inv/7B155V3ESM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-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 2609.25275#36KW, Regular character (example)
History
- 2026-11-01: add by m2/v0.6.15
Artin reciprocity law 7B1K79G4FR
| URI | m2://inv/7B1K79G4FR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Artin reciprocity law 7938EKMMVR |
Mentions
- wikidata: Wikidata Q713069, Artin reciprocity law (statement). Also MathWorld ArtinsReciprocityTheorem, nLab Artin reciprocity law
- wikipedia: Wikipedia Artin reciprocity, Artin reciprocity (definition). Also Wikidata Q713069
History
- 2026-10-26: add by m2/dev
Michal Parnas 7B1QC7JR0J
| URI | m2://inv/7B1QC7JR0J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A64U, Michal Parnas (unknown)
History
- 2026-11-02: add by m2/dev
Taylor Coefficient Majorization 7B1QGYGE2W
| URI | m2://inv/7B1QGYGE2W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#3438, Taylor Coefficient Majorization (definition). In CW9MNA6K58/e1, definition 9.11
History
- 2026-10-28: add by m2/v0.4.2
7B1T0BV8VA 7B1T0BV8VA
| URI | m2://inv/7B1T0BV8VA |
|---|---|
| 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#HYYG (statement)
History
- 2026-11-02: add by m2/v0.6.17
7B1VW5339H 7B1VW5339H
| URI | m2://inv/7B1VW5339H |
|---|---|
| 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.36113#3VCV (statement). In FSGSVD0XYH/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
7B1ZB40BJW 7B1ZB40BJW
| URI | m2://inv/7B1ZB40BJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16583#LHVH (statement). In 4RPXT0YCS5/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Limited principle of omniscience 7B21J0A5RK
| URI | m2://inv/7B21J0A5RK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limited principle of omniscience, Limited principle of omniscience (statement). Also Wikidata Q6549544
History
- 2026-11-02: add by m2/dev
7B21SDCXM4 7B21SDCXM4
| URI | m2://inv/7B21SDCXM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#KIK7 (statement). In B9EX6K51RD/e1, lemma 2.20
History
- 2026-10-28: add by m2/v0.4.2
Variants 7B29PPTPM3
| URI | m2://inv/7B29PPTPM3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heap (data structure)#PP44, Variants (statement)
History
- 2026-11-02: add by m2/dev
Marcia Ciol 7B2ENVSTHZ
| URI | m2://inv/7B2ENVSTHZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcia Ciol, Marcia Ciol (topic). Also Wikidata Q66744395
History
- 2026-11-02: add by m2/dev
Left order topology 7B2FADK5J2
| URI | m2://inv/7B2FADK5J2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order topology#F32F, Left order topology (unknown)
History
- 2026-11-02: add by m2/dev
7B2QZ5C155 7B2QZ5C155
| URI | m2://inv/7B2QZ5C155 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#5NW5 (definition). In REDG6QVHM3/e1, definition 7.3
History
- 2026-10-29: add by m2/v0.4.12
Helly's selection theorem 7B2R8S9TB0
| URI | m2://inv/7B2R8S9TB0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0JN6, Helly's selection theorem (statement)
History
- 2026-11-02: add by m2/dev
7B2S20WFX3 7B2S20WFX3
| URI | m2://inv/7B2S20WFX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.31768#IAV8 (statement). In WC7ZECEE3P/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
principal bundle connection 7B2STK06HS
| URI | m2://inv/7B2STK06HS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Connection on a principal bundle NJ21PN5ZGJ |
Mentions
- wikidata: Wikidata Q2920850, principal bundle connection (unknown). Also MathWorld PrincipalBundleConnection
- wikipedia: Wikipedia Connection (principal bundle), Connection (definition). Also Wikidata Q2920850
History
- 2026-10-26: add by m2/dev
7B2VD7Q0GQ 7B2VD7Q0GQ
| URI | m2://inv/7B2VD7Q0GQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#1TTM (statement). In XYCBKM4WKY/e1, theorem 18
History
- 2026-10-27: add by m2/v0.3.5
7B2Z19D6FV 7B2Z19D6FV
| URI | m2://inv/7B2Z19D6FV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#NZA3 (definition). In D6XA7JXZF3/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Milin's area theorem 7B32T5GPRX
| URI | m2://inv/7B32T5GPRX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grunsky matrix#GZZN, Milin's area theorem (statement)
History
- 2026-11-02: add by m2/dev
Planck's views before the empirical facts led him to find his eventual law 7B37XRK66E
| URI | m2://inv/7B37XRK66E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planck's law#ZNLJ, Planck's views before the empirical facts led him to find his eventual law (statement)
History
- 2026-11-02: add by m2/dev
No maps at infinity 7B3E3PP8KV
| URI | m2://inv/7B3E3PP8KV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10821#ZGYX, No maps at infinity (statement). In RWNP4FEE65/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.3
Pretty Easy privacy 7B3JKWWT97
| URI | m2://inv/7B3JKWWT97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pretty Easy privacy, Pretty Easy privacy (definition). Also Wikidata Q25389263
History
- 2026-11-02: add by m2/dev
High-probability exact rate, sub-Gaussian noise 7B3N7FCBZD
| URI | m2://inv/7B3N7FCBZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.00295#NU7H, High-probability exact rate, sub-Gaussian noise (statement). In 7HXP270BD0/e1, theorem 5.7
History
- 2026-10-30: add by m2/v0.4.12
7B3W8A9PE7 7B3W8A9PE7
| URI | m2://inv/7B3W8A9PE7 |
|---|---|
| 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.27646#38TO (statement)
History
- 2026-11-01: add by m2/v0.6.15
7B3ZVV63PM 7B3ZVV63PM
| URI | m2://inv/7B3ZVV63PM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06488#RM9G (statement). In XG3BJ2QXXP/e1, proposition 2.7
History
- 2026-10-29: add by m2/v0.4.10
First Splitting Lemma 7B42YNP1JR
| URI | m2://inv/7B42YNP1JR |
|---|---|
| Kind | statement |
| 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#0ACA, First Splitting Lemma (statement). In V97F4YZ8B0/e1, lemma 7.6
History
- 2026-10-28: add by m2/v0.4.2
Properties 7B44GRGER2
| URI | m2://inv/7B44GRGER2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdirectly irreducible algebra#K5KB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Measures representing row and column moment shifts 7B44T0AK0Z
| URI | m2://inv/7B44T0AK0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 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.26066#LWCO, Measures representing row and column moment shifts (statement)
History
- 2026-11-01: add by m2/v0.6.15
S. R. Srinivasa Varadhan 7B478TNBC0
| URI | m2://inv/7B478TNBC0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#71HX, S. R. Srinivasa Varadhan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VLW9, S. R. Srinivasa Varadhan (topic)
History
- 2026-11-02: add by m2/dev
Christian missionaries 7B47ZRZJXN
| URI | m2://inv/7B47ZRZJXN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#EWGM, Christian missionaries (unknown)
History
- 2026-11-02: add by m2/dev
Special cases 7B4ETXMC42
| URI | m2://inv/7B4ETXMC42 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square pyramid#CSJF, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Jean Chazy 7B4FPPSV7H
| URI | m2://inv/7B4FPPSV7H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#47TU, Jean Chazy (topic)
History
- 2026-11-02: add by m2/dev
Optimism bias 7B4JRTBE2T
| URI | m2://inv/7B4JRTBE2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimism bias, Optimism bias (definition). Also Wikidata Q7098963
History
- 2026-11-02: add by m2/dev
estimation theory 7B4K54BZ41
| URI | m2://inv/7B4K54BZ41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#OWBN, estimation theory (definition)
History
- 2026-11-02: add by m2/dev
Polygraphia Nova 7B4K705QHT
| URI | m2://inv/7B4K705QHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygraphia Nova, Polygraphia Nova (definition). Also Wikidata Q96399723
History
- 2026-11-02: add by m2/dev
Formal science 7B4RAC212Y
| URI | m2://inv/7B4RAC212Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal science, Formal science (topic). Also Wikidata Q816264
History
- 2026-11-02: add by m2/dev
Nielsen–Schreier theorem 7B53RFZ5HK
| URI | m2://inv/7B53RFZ5HK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nielsen transformation#V15F, Nielsen–Schreier theorem (statement)
History
- 2026-11-02: add by m2/dev
7B55D6W5EY 7B55D6W5EY
| URI | m2://inv/7B55D6W5EY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21037#CTZ1 (statement). In PYB2RFYVVE/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
7B5H3CB5SC 7B5H3CB5SC
| URI | m2://inv/7B5H3CB5SC |
|---|---|
| Kind | definition |
| 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.09001#KP7V (definition). In HJC1JJZRSH/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
7B5K4PA31K 7B5K4PA31K
| URI | m2://inv/7B5K4PA31K |
|---|---|
| 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.32077#CL37 (statement). In WYXQDSQR9B/e1, theorem 2.5
History
- 2026-10-31: add by m2/v0.5.6
Statement 7B5S0XDTVW
| URI | m2://inv/7B5S0XDTVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revenue equivalence#BUVD, Statement (statement)
History
- 2026-11-02: add by m2/dev
Surrogate data testing 7B5ZR7ACSK
| URI | m2://inv/7B5ZR7ACSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surrogate data testing, Surrogate data testing (definition). Also Wikidata Q7646878
History
- 2026-11-02: add by m2/dev
Definition 7B640QBT9Y
| URI | m2://inv/7B640QBT9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate t-distribution#2F2K, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fundamental --- \textsc{$\Pi$-$\eta$ 7B6A1PTD3H
| URI | m2://inv/7B6A1PTD3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#95FL, Fundamental --- \textsc{$\Pi$-$\eta$ (statement). In CPYWHRTPKC/e1, lemma 6.66
History
- 2026-10-27: add by m2/v0.4.2
7B6CV7K8CA 7B6CV7K8CA
| URI | m2://inv/7B6CV7K8CA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31861#C35O (definition). In G36R6T327W/e1, definition 11
History
- 2026-10-31: add by m2/v0.5.6
Separated tangent directions 7B6DYMEBZQ
| URI | m2://inv/7B6DYMEBZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01615#IQKD, Separated tangent directions (statement). In CJYRXT18TD/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
7B6FSCZJZX 7B6FSCZJZX
| URI | m2://inv/7B6FSCZJZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07001#5BTV (statement). In 5DFTVG7FFF/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
7B6GJ8FY6P 7B6GJ8FY6P
| URI | m2://inv/7B6GJ8FY6P |
|---|---|
| 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.11271#5588 (statement). In HF7J38T8Y6/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.3
7B6K9HGCEW 7B6K9HGCEW
| URI | m2://inv/7B6K9HGCEW |
|---|---|
| Kind | definition |
| 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#1ELO (definition). In 7MZ1MS2N11/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
Error syndrome 7B72GEAY2J
| URI | m2://inv/7B72GEAY2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decoding methods#8HV8, Error syndrome (unknown)
History
- 2026-11-02: add by m2/dev
Capstone 7B72YWFEVV
| URI | m2://inv/7B72YWFEVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capstone (cryptography), Capstone (definition). Also Wikidata Q5036367
History
- 2026-11-02: add by m2/dev
type theory, informal 7B74FAG55X
| URI | m2://inv/7B74FAG55X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.1/type-theory-informal, type theory, informal (concept). In N54F33XE07, index, section A.1
History
- 2026-11-01: add by m2/v0.6.13
Sphericity 7B77R7H7CR
| URI | m2://inv/7B77R7H7CR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphericity, Sphericity (definition). Also Wikidata Q1375687
History
- 2026-11-02: add by m2/dev
The required finite derived limits 7B78BGBEEB
| URI | m2://inv/7B78BGBEEB |
|---|---|
| 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 2609.28220#7BUY, The required finite derived limits (statement)
History
- 2026-11-01: add by m2/v0.6.15
Changing the base sheet 7B7BX07JXR
| URI | m2://inv/7B7BX07JXR |
|---|---|
| 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.32829#0SHH, Changing the base sheet (statement). In RYWAX33Z51/e1, lemma 9.9
History
- 2026-10-31: add by m2/v0.5.6
Fluid limit 7B7GX67WPH
| URI | m2://inv/7B7GX67WPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fluid limit, Fluid limit (definition). Also Wikidata Q16930677
History
- 2026-11-02: add by m2/dev
Fractional vertex cover 7B7P5AMV43
| URI | m2://inv/7B7P5AMV43 |
|---|---|
| Kind | definition |
| 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.09810#OB7L, Fractional vertex cover (definition). In B6PCH930FV/e1, definition 15
History
- 2026-10-29: add by m2/v0.4.10
De Moivre's law 7B7T06Z684
| URI | m2://inv/7B7T06Z684 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LX5J, De Moivre's law (statement)
History
- 2026-11-02: add by m2/dev
Stanisław Ulam 7B829G45NV
| URI | m2://inv/7B829G45NV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanisław Ulam, Stanisław Ulam (topic). Also Wikidata Q234357
History
- 2026-11-02: add by m2/dev
Clique-width 7B8RCE4BSK
| URI | m2://inv/7B8RCE4BSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clique-width, Clique-width (definition). Also Wikidata Q1101814
History
- 2026-11-02: add by m2/dev
Exponential convergence on a bounded trajectory 7B8Y3D5QCD
| URI | m2://inv/7B8Y3D5QCD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#LA31, Exponential convergence on a bounded trajectory (statement). In 9YAE8FNQST/e1, proposition 18.12
History
- 2026-10-30: add by m2/v0.4.12
7B9DG2PTD4 7B9DG2PTD4
| URI | m2://inv/7B9DG2PTD4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#CA9N (definition). In 9B5TNEBJHV/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
7B9EFN3M3M 7B9EFN3M3M
| URI | m2://inv/7B9EFN3M3M |
|---|---|
| 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.32829#XR9O (statement). In RYWAX33Z51/e1, lemma 7.4
History
- 2026-10-31: add by m2/v0.5.6
Paul Seymour 7B9MA5Y69K
| URI | m2://inv/7B9MA5Y69K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Seymour (mathematician), Paul Seymour (topic). Also Wikidata Q1396427
History
- 2026-11-02: add by m2/dev
Schur's theorem 7B9RYAA71S
| URI | m2://inv/7B9RYAA71S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60973556, Schur's theorem (statement). Also ProofWiki Schur's_Theorem_(Ramsey_Theory)
History
- 2026-10-26: add by m2/dev
Savage's representation theorem 7BAF0QRWX5
| URI | m2://inv/7BAF0QRWX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected utility hypothesis#6A0C, Savage's representation theorem (statement)
History
- 2026-11-02: add by m2/dev
John Pell 7BB5HW905H
| URI | m2://inv/7BB5HW905H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Pell (mathematician), John Pell (topic). Also Wikidata Q471794
History
- 2026-11-02: add by m2/dev
analytically 7BBCT3W5M6
| URI | m2://inv/7BBCT3W5M6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#RF96, analytically (definition)
History
- 2026-11-02: add by m2/dev
7BBPXH88V0 7BBPXH88V0
| URI | m2://inv/7BBPXH88V0 |
|---|---|
| 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 2208.04502#JPEQ (statement). In BT6E9BXXF3/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
addend 7BBSXH1P92
| URI | m2://inv/7BBSXH1P92 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54264955, addend (unknown). Also MathWorld Addend
History
- 2026-10-26: add by m2/dev
Alt-Ergo 7BC4P3JR8E
| URI | m2://inv/7BC4P3JR8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alt-Ergo, Alt-Ergo (definition). Also Wikidata Q19599372
History
- 2026-11-02: add by m2/dev
function, continuous 7BC78R1ZD5
| URI | m2://inv/7BC78R1ZD5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.2.1/function-continuous, function, continuous (concept). In E59CDZA4DP, index, section 2.2.1
History
- 2026-11-01: add by m2/v0.6.13
7BCQ99P87T 7BCQ99P87T
| URI | m2://inv/7BCQ99P87T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18329#XYJD (statement). In 3VWEPEFHN3/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
7BCTWXJ9TW 7BCTWXJ9TW
| URI | m2://inv/7BCTWXJ9TW |
|---|---|
| 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.06381#MSA7 (statement). In X9JKBDHACW/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.10
Burgess, Warren Randolph 7BD6N86Q3B
| URI | m2://inv/7BD6N86Q3B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BIKB, Burgess, Warren Randolph (unknown)
History
- 2026-11-02: add by m2/dev
7BDEFPWT7A 7BDEFPWT7A
| URI | m2://inv/7BDEFPWT7A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#N2QY (definition). In 9B0X8YPF3P/e1, definition 7.4
History
- 2026-10-28: add by m2/v0.4.2
7BDJTQ34QP 7BDJTQ34QP
| URI | m2://inv/7BDJTQ34QP |
|---|---|
| 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 2405.05684#F2FM (statement). In 1PR73ECTZB/e1, proposition 29
History
- 2026-10-27: add by m2/v0.3.5
exterior power of an element 7BDN832GVT
| URI | m2://inv/7BDN832GVT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77976269, exterior power of an element (unknown). Also MathWorld ExteriorPower
History
- 2026-10-26: add by m2/dev
Emil Leon Post 7BDQQF63K2
| URI | m2://inv/7BDQQF63K2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emil Leon Post, Emil Leon Post (topic). Also Wikidata Q351366
History
- 2026-11-02: add by m2/dev
7BDVKWAHRS 7BDVKWAHRS
| URI | m2://inv/7BDVKWAHRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.33590#WNEH (statement). In WRE0P7V6Z3/e1, theorem 1.40
History
- 2026-10-30: add by m2/v0.4.12
7BDYR06EMV 7BDYR06EMV
| URI | m2://inv/7BDYR06EMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#Y4HW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Gale–Shapley algorithm 7BE0DX6DZW
| URI | m2://inv/7BE0DX6DZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gale–Shapley algorithm, Gale–Shapley algorithm (definition). Also Wikidata Q65123731
History
- 2026-11-02: add by m2/dev
Perry Anderson 7BE2Z2FCY1
| URI | m2://inv/7BE2Z2FCY1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#42Y0, Perry Anderson (unknown)
History
- 2026-11-02: add by m2/dev
7BE3PMQS6K 7BE3PMQS6K
| URI | m2://inv/7BE3PMQS6K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.05118#0EOI (example). In BT0T0QS2TN/e1, example 3.3
History
- 2026-10-27: add by m2/v0.4.0
$\mathsf{FPRAS}$ for Log-Concave Subset Convolution 7BEEC2K1C3
| URI | m2://inv/7BEEC2K1C3 |
|---|---|
| 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.06724#TK9A, $\mathsf{FPRAS}$ for Log-Concave Subset Convolution (statement). In W5XG3PGVF1/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
Bayes-Sufficient Compression Need Not Be Receiver-Optimal 7BEG1ZET3Y
| URI | m2://inv/7BEG1ZET3Y |
|---|---|
| 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.03769#JTYJ, Bayes-Sufficient Compression Need Not Be Receiver-Optimal (statement). In 35DNCV14M4/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Three Lakes Township, Redwood County, Minnesota 7BEKHHXTEK
| URI | m2://inv/7BEKHHXTEK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EAI3, Three Lakes Township, Redwood County, Minnesota (unknown)
History
- 2026-11-02: add by m2/dev
0-RTT 7BEPEYC2E5
| URI | m2://inv/7BEPEYC2E5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport Layer Security#C4X6, 0-RTT (unknown)
History
- 2026-11-02: add by m2/dev
Rulkov map 7BEXSEB82B
| URI | m2://inv/7BEXSEB82B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rulkov map, Rulkov map (definition). Also Wikidata Q7379072
History
- 2026-11-02: add by m2/dev
7BF0DVKZ1C 7BF0DVKZ1C
| URI | m2://inv/7BF0DVKZ1C |
|---|---|
| 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 2509.05577#Q2OH (statement). In EFWBREMZAP/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
Euclidean space 7BF4S1XCQV
| URI | m2://inv/7BF4S1XCQV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.1/euclidean-space, Euclidean space (concept). In VNMV985MXX, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Scheffé's method 7BF6KDDT6F
| URI | m2://inv/7BF6KDDT6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scheffé's method, Scheffé's method (definition). Also Wikidata Q7431079
History
- 2026-11-02: add by m2/dev
Minimum-cost flow problem 7BF7WV90QD
| URI | m2://inv/7BF7WV90QD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum-cost flow problem, Minimum-cost flow problem (problem). Also Wikidata Q2897180
History
- 2026-11-02: add by m2/dev
\textbf{Boundary layers on the left and bottom edges with a corner layer 7BFASQPSCQ
| URI | m2://inv/7BFASQPSCQ |
|---|---|
| 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 2609.29185#JZD4, \textbf{Boundary layers on the left and bottom edges with a corner layer (example)
History
- 2026-11-01: add by m2/v0.6.15
Reduced frequency-separation principle 7BFG40NARB
| URI | m2://inv/7BFG40NARB |
|---|---|
| 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.29565#MIC7, Reduced frequency-separation principle (statement)
History
- 2026-11-01: add by m2/v0.6.15
Free waves on propagation cones 7BFJ9H3GNK
| URI | m2://inv/7BFJ9H3GNK |
|---|---|
| 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#G6K9, Free waves on propagation cones (statement). In AHM0PBKZZN/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
7BFJTW9VS6 7BFJTW9VS6
| URI | m2://inv/7BFJTW9VS6 |
|---|---|
| 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.16386#KXKC (statement). In RAF0BFY3Z3/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
7BFR63QS6E 7BFR63QS6E
| URI | m2://inv/7BFR63QS6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02042#5TNJ (statement). In P3HWTYFDBX/e1, corollary E
History
- 2026-10-29: add by m2/v0.4.12
Definition 7BG4RAQ3XT
| URI | m2://inv/7BG4RAQ3XT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergence (statistics)#4CLG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rayleigh stationarity in an incident chamber 7BGDS2Y2VE
| URI | m2://inv/7BGDS2Y2VE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.21670#BNLJ, Rayleigh stationarity in an incident chamber (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications 7BGHYYAQFH
| URI | m2://inv/7BGHYYAQFH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdirectly irreducible algebra#22UK, Applications (example)
History
- 2026-11-02: add by m2/dev
Definitions 7BGJWVP0WT
| URI | m2://inv/7BGJWVP0WT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof complexity#CJ8P, Definitions (definition)
History
- 2026-11-02: add by m2/dev
7BGKQBGJQQ 7BGKQBGJQQ
| URI | m2://inv/7BGKQBGJQQ |
|---|---|
| Kind | statement |
| 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#1MEI (statement). In JS5FKV1S9T/e1, proposition D.1
History
- 2026-10-27: add by m2/v0.3.5
7BGNHA7WW1 7BGNHA7WW1
| URI | m2://inv/7BGNHA7WW1 |
|---|---|
| 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.02790#XFXF (statement). In NB7HZ8W2K2/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
7BGX7V45BX 7BGX7V45BX
| URI | m2://inv/7BGX7V45BX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16746#7JQQ (statement). In M00TA3JJM6/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
Example 7BH0QJE0AK
| URI | m2://inv/7BH0QJE0AK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distribution function (measure theory)#C6WY, Example (example)
History
- 2026-11-02: add by m2/dev
7BH6HGD4XJ 7BH6HGD4XJ
| URI | m2://inv/7BH6HGD4XJ |
|---|---|
| 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.25524#KP6L (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elementary properties 7BHFYFGEQB
| URI | m2://inv/7BHFYFGEQB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian category#OPOA, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
7BHQZDBY61 7BHQZDBY61
| URI | m2://inv/7BHQZDBY61 |
|---|---|
| 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.01932#MNIK (definition). In XDKWW6NR0K/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Whitney decomposition 7BHRQA4A2X
| URI | m2://inv/7BHRQA4A2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#60TL, Whitney decomposition (statement). In MVXZWHKEX8/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Sergey Chaplygin 7BHWYS9H2B
| URI | m2://inv/7BHWYS9H2B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#0V9Q, Sergey Chaplygin (unknown)
History
- 2026-11-02: add by m2/dev
7BJ09QCD4C 7BJ09QCD4C
| URI | m2://inv/7BJ09QCD4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/proof-terms.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 60.5
History
- 2026-11-01: add by m2/v0.6.13
Noncontracting grammar 7BJ410ZCTW
| URI | m2://inv/7BJ410ZCTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncontracting grammar, Noncontracting grammar (definition). Also Wikidata Q782576
History
- 2026-11-02: add by m2/dev
interface system 7BJ4DZJS15
| URI | m2://inv/7BJ4DZJS15 |
|---|---|
| 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.22355#UQ6W, interface system (statement)
History
- 2026-11-02: add by m2/v0.6.17
7BJ4E6HJTJ 7BJ4E6HJTJ
| URI | m2://inv/7BJ4E6HJTJ |
|---|---|
| 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.27628#LYWO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wightman axioms 7BJ6DGKJZT
| URI | m2://inv/7BJ6DGKJZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiomatic quantum field theory#7VTC, Wightman axioms (statement)
History
- 2026-11-02: add by m2/dev
Universal pure-pair cup product 7BJ7E8FA55
| URI | m2://inv/7BJ7E8FA55 |
|---|---|
| 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.20649#G4GF, Universal pure-pair cup product (statement). In XDTM624YPE/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.2
Carathéodory's theorem 7BJ938R34F
| URI | m2://inv/7BJ938R34F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory's theorem (convex hull)#Q8EI, Carathéodory's theorem (statement)
History
- 2026-11-02: add by m2/dev
Poincaré–Lelong equation 7BJBW7Y5P8
| URI | m2://inv/7BJBW7Y5P8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré–Lelong equation, Poincaré–Lelong equation (definition). Also Wikidata Q7207872
History
- 2026-11-02: add by m2/dev
Thomas Hood 7BJQCZ74MS
| URI | m2://inv/7BJQCZ74MS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Hood (mathematician), Thomas Hood (topic). Also Wikidata Q15451894
History
- 2026-11-02: add by m2/dev
Rhetoric 7BJQESV10Y
| URI | m2://inv/7BJQESV10Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhetoric (Aristotle), Rhetoric (definition). Also Wikidata Q1896045
History
- 2026-11-02: add by m2/dev
Schoenflies theorem counterexample 7BJY00Q8ZE
| URI | m2://inv/7BJY00Q8ZE |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander horned sphere#ACQL, Schoenflies theorem counterexample (counterexample)
History
- 2026-11-02: add by m2/dev
7BK3KH5J33 7BK3KH5J33
| URI | m2://inv/7BK3KH5J33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34516#NTAM (statement). In ECKK8RR78E/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
7BK5E31V6K 7BK5E31V6K
| URI | m2://inv/7BK5E31V6K |
|---|---|
| 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 2606.20229#5LN9 (definition). In 1B85G2QJC2/e1, definition 7.2
History
- 2026-10-27: add by m2/v0.3.6
Richard Swineshead 7BKC1ABDF7
| URI | m2://inv/7BKC1ABDF7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#X9WD, Richard Swineshead (topic)
History
- 2026-11-02: add by m2/dev
7BKD0R244B 7BKD0R244B
| URI | m2://inv/7BKD0R244B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00134#8EKY (statement). In S654779J5P/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
7BKRRWVGGK 7BKRRWVGGK
| URI | m2://inv/7BKRRWVGGK |
|---|---|
| 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#APKH (statement). In X3RFXWN6FW/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.6
7BKW43RF97 7BKW43RF97
| URI | m2://inv/7BKW43RF97 |
|---|---|
| Kind | definition |
| 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 2610.09739#94LD (definition). In ZYNZ95FSFD/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
7BKZ9PWAYS 7BKZ9PWAYS
| URI | m2://inv/7BKZ9PWAYS |
|---|---|
| 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.23040#HRJ8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
7BM2Z19QXR 7BM2Z19QXR
| URI | m2://inv/7BM2Z19QXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28076#1AYL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 7BM49NGE8M
| URI | m2://inv/7BM49NGE8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intermediate logic#PL33, Properties (statement)
History
- 2026-11-02: add by m2/dev
Stable and backward-stable powers 7BMASCWYGX
| URI | m2://inv/7BMASCWYGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-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.23927#TEQH, Stable and backward-stable powers (statement)
History
- 2026-11-02: add by m2/v0.6.17
Stationary state 7BMCDGSGE9
| URI | m2://inv/7BMCDGSGE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stationary state, Stationary state (definition). Also Wikidata Q911951
History
- 2026-11-02: add by m2/dev
Topological group 7BMDV9741X
| URI | m2://inv/7BMDV9741X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#07IQ, Topological group (definition)
- wikipedia: Wikipedia List of general topology topics#CC2Z, Topological group (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#L3C5, Topological group (definition)
History
- 2026-11-02: add by m2/dev
Consuelo Milner 7BMJJ4K488
| URI | m2://inv/7BMJJ4K488 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#H273, Consuelo Milner (unknown)
History
- 2026-11-02: add by m2/dev
Closest pair of points 7BMK85RJDS
| URI | m2://inv/7BMK85RJDS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#0WJO, Closest pair of points (unknown)
History
- 2026-11-02: add by m2/dev
Connected process diagram 7BMKYCN5M9
| URI | m2://inv/7BMKYCN5M9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#ZE4J, Connected process diagram (definition)
History
- 2026-11-02: add by m2/v0.6.18
Formal definition 7BMTN0MBSJ
| URI | m2://inv/7BMTN0MBSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue covering dimension#6XSW, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Bessel's inequality 7BMTT8TYBY
| URI | m2://inv/7BMTT8TYBY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Fourier series#L13W, Bessel's inequality (statement)
History
- 2026-11-02: add by m2/dev
Modulus $4$ 7BMVK4TY8N
| URI | m2://inv/7BMVK4TY8N |
|---|---|
| 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.37754#OXY9, Modulus $4$ (statement). In 3HPFAQKBEM/e1, corollary 9.2
History
- 2026-10-30: add by m2/v0.4.12
range condition for general regularization 7BNBK5NS4S
| URI | m2://inv/7BNBK5NS4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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 2409.03461#PBH5, range condition for general regularization (statement). In XJVZSGCX5V/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
7BNHPMV20H 7BNHPMV20H
| URI | m2://inv/7BNHPMV20H |
|---|---|
| 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.32557#K21Z (statement). In 7MSKC957WD/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
1961 Indonesian census 7BNJ4P8RE8
| URI | m2://inv/7BNJ4P8RE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1961 Indonesian census, 1961 Indonesian census (definition). Also Wikidata Q10966039
History
- 2026-11-02: add by m2/dev
Judea Pearl 7BNMYRF192
| URI | m2://inv/7BNMYRF192 |
|---|---|
| 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 Q92824, Judea Pearl (unknown). Also nLab Judea Pearl
History
- 2026-10-26: add by m2/dev
set 7BNRDQ1THM
| URI | m2://inv/7BNRDQ1THM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.1/set, set (concept). In QKM9DD2H56, index, section B.1
History
- 2026-11-01: add by m2/v0.6.13
Ewald Prize 7BP4KAJQ7V
| URI | m2://inv/7BP4KAJQ7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ewald Prize, Ewald Prize (definition). Also Wikidata Q116980976
History
- 2026-11-02: add by m2/dev
Definition 7BP6J21QVX
| URI | m2://inv/7BP6J21QVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product (category theory)#020S, Definition (definition)
History
- 2026-11-02: add by m2/dev
Glass, Gene V. 7BPE9CV8SW
| URI | m2://inv/7BPE9CV8SW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#HMQ7, Glass, Gene V. (unknown)
History
- 2026-11-02: add by m2/dev
Jump-and-Walk algorithm 7BPPT1HR2F
| URI | m2://inv/7BPPT1HR2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#XF05, Jump-and-Walk algorithm (definition)
History
- 2026-11-02: add by m2/dev
Bald eagle 7BPQGXWR3E
| URI | m2://inv/7BPQGXWR3E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#B4VX, Bald eagle (unknown)
History
- 2026-11-02: add by m2/dev
Efficient computation of harmonic polynomials 7BPYJVG099
| URI | m2://inv/7BPYJVG099 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#5VU9, Efficient computation of harmonic polynomials (statement)
History
- 2026-11-01: add by m2/v0.6.15
7BQ0R20ZTH 7BQ0R20ZTH
| URI | m2://inv/7BQ0R20ZTH |
|---|---|
| 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.38975#XD9E (definition). In D2247CRPPE/e1, definition 18
History
- 2026-10-30: add by m2/v0.4.12
Turing House School 7BQ7XSKZ1N
| URI | m2://inv/7BQ7XSKZ1N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#G8IF, Turing House School (unknown)
History
- 2026-11-02: add by m2/dev
Algorithms 7BQ9J38GXC
| URI | m2://inv/7BQ9J38GXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pinwheel scheduling#19HB, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
7BQFJH2FV9 7BQFJH2FV9
| URI | m2://inv/7BQFJH2FV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22657#J2WI (statement)
History
- 2026-11-02: add by m2/v0.6.17
Problem 7BQGNN3TZ9
| URI | m2://inv/7BQGNN3TZ9 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mass point geometry#G1YM, Problem (problem)
History
- 2026-11-02: add by m2/dev
Examples 7BQM7S6SGQ
| URI | m2://inv/7BQM7S6SGQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Join (topology)#R1WK, Examples (example)
History
- 2026-11-02: add by m2/dev
7BQNF5HKTN 7BQNF5HKTN
| URI | m2://inv/7BQNF5HKTN |
|---|---|
| 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.25896#0JNM (statement)
History
- 2026-11-01: add by m2/v0.6.15
7BQXV90ETR 7BQXV90ETR
| URI | m2://inv/7BQXV90ETR |
|---|---|
| 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.08151#504E (statement). In A0HQ7ZGK3B/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
7BQZPAKKDE 7BQZPAKKDE
| URI | m2://inv/7BQZPAKKDE |
|---|---|
| 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.20568#M99O (statement). In BCD0ATARNZ/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.4.2
NTK analysis for finite linear constraints 7BR3MZ3KR1
| URI | m2://inv/7BR3MZ3KR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#60UE, NTK analysis for finite linear constraints (statement). In 6FY8BVP1F3/e1, theorem C.1
History
- 2026-10-29: add by m2/v0.4.12
Irreversible process 7BRA1AA8JZ
| URI | m2://inv/7BRA1AA8JZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreversible process, Irreversible process (definition). Also Wikidata Q632388
History
- 2026-11-02: add by m2/dev
Mary Hall 7BRG6HTYQ7
| URI | m2://inv/7BRG6HTYQ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4MPJ, Mary Hall (unknown)
History
- 2026-11-02: add by m2/dev
Properties 7BRJGNMD4G
| URI | m2://inv/7BRJGNMD4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duality (projective geometry)#B1W8, Properties (statement)
History
- 2026-11-02: add by m2/dev
prime magic square 7BRJQE96RY
| URI | m2://inv/7BRJQE96RY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107054326, prime magic square (unknown). Also MathWorld PrimeMagicSquare
History
- 2026-10-26: add by m2/dev
Null controllability 7BRKDR2X0G
| URI | m2://inv/7BRKDR2X0G |
|---|---|
| Kind | definition |
| 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.28937#134E, Null controllability (definition)
History
- 2026-11-01: add by m2/v0.6.15
Needleman–Wunsch algorithm 7BRQXAYP23
| URI | m2://inv/7BRQXAYP23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Needleman–Wunsch algorithm, Needleman–Wunsch algorithm (definition). Also Wikidata Q583546
History
- 2026-11-02: add by m2/dev
7BRX9N20AT 7BRX9N20AT
| URI | m2://inv/7BRX9N20AT |
|---|---|
| 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.09594#IUEQ (statement). In TVE5WK2MH8/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Derivation of the Schrödinger equation from the Ehrenfest theorems 7BS1P0CWGH
| URI | m2://inv/7BS1P0CWGH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrenfest theorem#PD7I, Derivation of the Schrödinger equation from the Ehrenfest theorems (statement)
History
- 2026-11-02: add by m2/dev
Della Dumbaugh 7BSCVA1KVV
| URI | m2://inv/7BSCVA1KVV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Della Dumbaugh, Della Dumbaugh (topic). Also Wikidata Q102167630
History
- 2026-11-02: add by m2/dev
Inverse of a tangle 7BSEYJ6H8A
| URI | m2://inv/7BSEYJ6H8A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#V4RZ, Inverse of a tangle (unknown)
History
- 2026-11-02: add by m2/dev
Equality with the Hodge polygon 7BSGX8HD2D
| URI | m2://inv/7BSGX8HD2D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#AM0R, Equality with the Hodge polygon (statement). In 8BNPFYQDQX/e1, proposition 4.14
History
- 2026-10-29: add by m2/v0.4.10
7BSKHE9C4A 7BSKHE9C4A
| URI | m2://inv/7BSKHE9C4A |
|---|---|
| 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.13271#IJT5 (statement). In G8ZEBKZY8M/e1, theorem 2.11
History
- 2026-10-28: add by m2/v0.4.2
Properties 7BSNQXGJW7
| URI | m2://inv/7BSNQXGJW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disk (mathematics)#Y8MR, Properties (statement)
History
- 2026-11-02: add by m2/dev
Tianyi Zheng 7BSNZKRB9Z
| URI | m2://inv/7BSNZKRB9Z |
|---|---|
| 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#GMDR, Tianyi Zheng (topic)
History
- 2026-11-02: add by m2/dev
Global derived logarithmic face sheaf 7BSR52F31D
| URI | m2://inv/7BSR52F31D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#FWUG, Global derived logarithmic face sheaf (definition)
History
- 2026-11-01: add by m2/v0.6.15
7BSYSKRSG5 7BSYSKRSG5
| URI | m2://inv/7BSYSKRSG5 |
|---|---|
| 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 2007.14459#RKP8 (statement). In SGQ7VFEZ22/e1, theorem 2.12
History
- 2026-10-27: add by m2/v0.3.5
Derangement 7BT1CGTQD3
| URI | m2://inv/7BT1CGTQD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#MJJT, Derangement (definition)
History
- 2026-11-02: add by m2/dev
Cousin's lemma 7BT8T2AESY
| URI | m2://inv/7BT8T2AESY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#FNT1, Cousin's lemma (statement)
History
- 2026-11-02: add by m2/dev
gyroelongated pentagonal pyramid 7BTKATH517
| URI | m2://inv/7BTKATH517 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q139829, gyroelongated pentagonal pyramid (object). Also MathWorld GyroelongatedPentagonalPyramid
- wikipedia: Wikipedia Gyroelongated pentagonal pyramid, Gyroelongated pentagonal pyramid (definition). Also Wikidata Q139829
History
- 2026-10-26: add by m2/dev
Botha, Roelof 7BTVZHBT3H
| URI | m2://inv/7BTVZHBT3H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#3BM0, Botha, Roelof (unknown)
History
- 2026-11-02: add by m2/dev
7BV8KVH36M 7BV8KVH36M
| URI | m2://inv/7BV8KVH36M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35927#ZHGU (statement). In 7S0DWBCNS8/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
7BVEA88846 7BVEA88846
| URI | m2://inv/7BVEA88846 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06200#5J7Z (definition). In B5XCHJKX7Q/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Carl Friedrich Gauss 7BVK8CTWYK
| URI | m2://inv/7BVK8CTWYK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#6AM5, Carl Friedrich Gauss (topic)
History
- 2026-11-02: add by m2/dev
arcus tangent 7BVKKFQGAM
| URI | m2://inv/7BVKKFQGAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2257242, arcus tangent (definition). Also MathWorld InverseTangent, nLab arctangent, ProofWiki Definition:Inverse_Tangent
History
- 2026-10-26: add by m2/dev
Counterexamples 7BVKTEQZ8W
| URI | m2://inv/7BVKTEQZ8W |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reification (fallacy)#VFEY, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
7BVRTFX50M 7BVRTFX50M
| URI | m2://inv/7BVRTFX50M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#FNDA (definition). In DDNP38CHQJ/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Formal definition 7BVVV7T74K
| URI | m2://inv/7BVVV7T74K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bollobás–Riordan polynomial#18SS, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
7BVWKVT4V2 7BVWKVT4V2
| URI | m2://inv/7BVWKVT4V2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#19FD (statement). In CB35ZBBBPT/e1, proposition 3.3
History
- 2026-10-31: add by m2/v0.5.6
quasi-optimality of $Q_h$ on $\G_D$ 7BW1VT359Z
| URI | m2://inv/7BW1VT359Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17678#Y4Z3, quasi-optimality of $Q_h$ on $\G_D$ (statement). In V753EAWQ3S/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
7BW2S220KC 7BW2S220KC
| URI | m2://inv/7BW2S220KC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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 2609.39593#54ST (definition). In BF0RYHPMS1/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
7BW3JWP70P 7BW3JWP70P
| URI | m2://inv/7BW3JWP70P |
|---|---|
| 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.01928#KOZ7 (statement). In BSJRRHKGX0/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
7BW3WNRB1Z 7BW3WNRB1Z
| URI | m2://inv/7BW3WNRB1Z |
|---|---|
| Kind | definition |
| 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.15744#6F1W (definition). In NV3PBZGBB7/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
7BW6F03SM2 7BW6F03SM2
| URI | m2://inv/7BW6F03SM2 |
|---|---|
| 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 2504.14383#XW84 (statement). In QD0X3XJS6T/e1, lemma 7.20
History
- 2026-10-27: add by m2/v0.3.5
7BW7Z8R1AT 7BW7Z8R1AT
| URI | m2://inv/7BW7Z8R1AT |
|---|---|
| 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.13076#JFVJ (statement). In K7GJA4WGV7/e1, corollary 3.1
History
- 2026-10-28: add by m2/v0.4.2
7BWAQTB7MN 7BWAQTB7MN
| URI | m2://inv/7BWAQTB7MN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23350#XQME (statement)
History
- 2026-11-02: add by m2/v0.6.17
Michael Woodroofe 7BWTK15SZA
| URI | m2://inv/7BWTK15SZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Woodroofe, Michael Woodroofe (topic). Also Wikidata Q69685540
History
- 2026-11-02: add by m2/dev
Weierstrass sigma function 7BWVSWHWF7
| URI | m2://inv/7BWVSWHWF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass sigma, zeta, and eta functions#CAHP, Weierstrass sigma function (unknown)
History
- 2026-11-02: add by m2/dev
Samuil Shatunovsky 7BWW7Z7AHA
| URI | m2://inv/7BWW7Z7AHA |
|---|---|
| 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 Q7413044, Samuil Shatunovsky (unknown). Also ProofWiki Mathematician:Samuil_Osipovich_Shatunovsky
History
- 2026-10-26: add by m2/dev
LINPACK 7BX3XGQHW5
| URI | m2://inv/7BX3XGQHW5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#D56V, LINPACK (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 7BX5BRFEHA
| URI | m2://inv/7BX5BRFEHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Katugampola fractional operators#9EHN, Definitions (definition)
History
- 2026-11-02: add by m2/dev
7BX5E4C6H6 7BX5E4C6H6
| URI | m2://inv/7BX5E4C6H6 |
|---|---|
| Kind | definition |
| 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 1612.08394#XQJD (definition). In 1P8D88DKG5/e1, definition A.2
History
- 2026-10-27: add by m2/v0.3.5
7BX5VDH36H 7BX5VDH36H
| URI | m2://inv/7BX5VDH36H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#7X0S (statement). In S26QVW5613/e1, lemma 3.4.3
History
- 2026-10-30: add by m2/v0.4.12
Covariance function 7BX83DVRBC
| URI | m2://inv/7BX83DVRBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance function, Covariance function (definition). Also Wikidata Q5178897
History
- 2026-11-02: add by m2/dev
Biostatistics 7BX883X3DS
| URI | m2://inv/7BX883X3DS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LB6F, Biostatistics (definition)
History
- 2026-11-02: add by m2/dev
Theorem B (Scheme theoretic analogue) 7BX96SQTWW
| URI | m2://inv/7BX96SQTWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan's theorems A and B#HI3L, Theorem B (Scheme theoretic analogue) (statement)
History
- 2026-11-02: add by m2/dev
7BXCS7VV0M 7BXCS7VV0M
| URI | m2://inv/7BXCS7VV0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#VXD8 (statement). In VJTRH1S4JA/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Example 7BXFG9Y359
| URI | m2://inv/7BXFG9Y359 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener index#HIWD, Example (example)
History
- 2026-11-02: add by m2/dev
radius of curvature 7BXNVWKR13
| URI | m2://inv/7BXNVWKR13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1136069, radius of curvature (unknown). Also MathWorld RadiusofCurvature
- wikipedia: Wikipedia Radius of curvature, Radius of curvature (definition). Also Wikidata Q1136069
History
- 2026-10-26: add by m2/dev
Examples 7BXR6VZZWP
| URI | m2://inv/7BXR6VZZWP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–Čech compactification#OZH4, Examples (example)
History
- 2026-11-02: add by m2/dev
Ross's conjecture 7BXSTY17V0
| URI | m2://inv/7BXSTY17V0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1H1C, Ross's conjecture (statement)
History
- 2026-11-02: add by m2/dev
7BXT0FN5S0 7BXT0FN5S0
| URI | m2://inv/7BXT0FN5S0 |
|---|---|
| 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 1806.00877#KCBP (statement). In 1QVKNGBS3D/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Strong duality, Theorem 1 7BXV1PF2R8
| URI | m2://inv/7BXV1PF2R8 |
|---|---|
| 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.01199#KNC0, Strong duality, Theorem 1 (statement). In XZ4MRWR77Q/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Andrzej Białynicki-Birula 7BXWE0N18R
| URI | m2://inv/7BXWE0N18R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrzej Białynicki-Birula, Andrzej Białynicki-Birula (topic). Also Wikidata Q593404
History
- 2026-11-02: add by m2/dev
7BY0VMQEW9 7BY0VMQEW9
| URI | m2://inv/7BY0VMQEW9 |
|---|---|
| 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.16886#7I1Z (statement). In Y8QQAH7VCF/e1, lemma D.2
History
- 2026-10-28: add by m2/v0.4.2
7BY13NNZTF 7BY13NNZTF
| URI | m2://inv/7BY13NNZTF |
|---|---|
| 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.05442#SLEV (statement). In WEPE51JCHZ/e1, theorem 9.3
History
- 2026-10-29: add by m2/v0.4.10
McDonald–Kreitman test 7BY1XPTAGR
| URI | m2://inv/7BY1XPTAGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#C9A6, McDonald–Kreitman test (definition)
History
- 2026-11-02: add by m2/dev
classical elements 7BY6RTPY2A
| URI | m2://inv/7BY6RTPY2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188520, classical elements (definition). Also ProofWiki Definition:Philosophical_Element
History
- 2026-10-26: add by m2/dev
7BY9EJ4R91 7BY9EJ4R91
| URI | m2://inv/7BY9EJ4R91 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#5Z9F (problem). In ZPT9XCCAPQ/e1, problem A.0.11
History
- 2026-10-31: add by m2/v0.5.6
Glossary of experimental design 7BY9XAYDSZ
| URI | m2://inv/7BY9XAYDSZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of statistics topics#RWDO, Glossary of experimental design (topic)
History
- 2026-11-02: add by m2/dev
7BYF0W9D1Y 7BYF0W9D1Y
| URI | m2://inv/7BYF0W9D1Y |
|---|---|
| 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.20568#NI9F (statement). In BCD0ATARNZ/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.2
Maximal-entropy continuity reduction 7BYH17JKB2
| URI | m2://inv/7BYH17JKB2 |
|---|---|
| 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.24931#VB63, Maximal-entropy continuity reduction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Orthogonal array testing 7BYJ4347QF
| URI | m2://inv/7BYJ4347QF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal array testing, Orthogonal array testing (definition). Also Wikidata Q54862604
History
- 2026-11-02: add by m2/dev
Bayesian multivariate linear regression 7BYN4968EM
| URI | m2://inv/7BYN4968EM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian multivariate linear regression, Bayesian multivariate linear regression (definition). Also Wikidata Q4874476
History
- 2026-11-02: add by m2/dev
Modo hoc fallacy 7BYRFXF82D
| URI | m2://inv/7BYRFXF82D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy of composition#HNHI, Modo hoc fallacy (unknown)
History
- 2026-11-02: add by m2/dev
7BYX6J606Q 7BYX6J606Q
| URI | m2://inv/7BYX6J606Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
7BYYXDR5P1 7BYYXDR5P1
| URI | m2://inv/7BYYXDR5P1 |
|---|---|
| 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.11671#TLNA (statement). In V06H8BAGEH/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.3
7BYZ4WB916 7BYZ4WB916
| URI | m2://inv/7BYZ4WB916 |
|---|---|
| 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.27484#YQ2M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chernoff's inequality 7BZ53JV6SV
| URI | m2://inv/7BZ53JV6SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5T9Y, Chernoff's inequality (definition)
- wikipedia: Wikipedia List of probability topics#VGLZ, Chernoff's inequality (definition)
- wikipedia: Wikipedia List of inequalities#BH47, Chernoff's inequality (definition)
History
- 2026-11-02: add by m2/dev
7BZ5AZBZS8 7BZ5AZBZS8
| URI | m2://inv/7BZ5AZBZS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#defn-8 (definition). In N54F33XE07, defn, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Pro rata 7BZ8H41P9F
| URI | m2://inv/7BZ8H41P9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pro rata, Pro rata (definition). Also Wikidata Q3386209
History
- 2026-11-02: add by m2/dev
Smart number 7BZE9XY6VH
| URI | m2://inv/7BZE9XY6VH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smart number, Smart number (definition). Also Wikidata Q7544067
History
- 2026-11-02: add by m2/dev
Yosef Hochberg 7BZK4SFFYA
| URI | m2://inv/7BZK4SFFYA |
|---|---|
| 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#MSYT, Yosef Hochberg (topic)
History
- 2026-11-02: add by m2/dev
Certificate policy 7BZVYK87NV
| URI | m2://inv/7BZVYK87NV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Certificate policy, Certificate policy (definition). Also Wikidata Q5065114
History
- 2026-11-02: add by m2/dev