Inventory rows S3
The cards of the rows of the inventory whose ids start with S3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Summation formula S304T46VWD
| URI | m2://inv/S304T46VWD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia German tank problem#C9RF, Summation formula (statement)
History
- 2026-11-02: add by m2/dev
S308XFEW1Y S308XFEW1Y
| URI | m2://inv/S308XFEW1Y |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20899#C12Z (example). In BSMDFADA39/e1, example 1.1
History
- 2026-10-27: add by m2/v0.4.2
S30CF5MTPB S30CF5MTPB
| URI | m2://inv/S30CF5MTPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#53FX (statement). In 49V3ANDZTY/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
S30Z2HCEGF S30Z2HCEGF
| URI | m2://inv/S30Z2HCEGF |
|---|---|
| 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.13114#48U6 (statement). In 38RG49M1NB/e1, theorem 2.7
History
- 2026-10-28: add by m2/v0.4.2
Applications S310R52YWQ
| URI | m2://inv/S310R52YWQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent sheaf cohomology#JOA5, Applications (example)
History
- 2026-11-02: add by m2/dev
Mathematical rigour S3143FK0G7
| URI | m2://inv/S3143FK0G7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigour#I329, Mathematical rigour (unknown)
History
- 2026-11-02: add by m2/dev
simple-homotopy equivalence S3181QVQR8
| URI | m2://inv/S3181QVQR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#5AW8, simple-homotopy equivalence (definition)
History
- 2026-11-02: add by m2/dev
S31CW84C31 S31CW84C31
| URI | m2://inv/S31CW84C31 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03138#4MTS (definition). In P5SY7AVP5E/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.12
S31DF6WEAW S31DF6WEAW
| URI | m2://inv/S31DF6WEAW |
|---|---|
| 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 2608.19483#NJH7 (statement). In M2PEDAF7AX/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.3.5
S31GRF8HS4 S31GRF8HS4
| URI | m2://inv/S31GRF8HS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14450#599C (statement). In ZHTGQT07PE/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
global field S31X0GPARK
| URI | m2://inv/S31X0GPARK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Global field 634XKY8RZ0 |
Mentions
- wikidata: Wikidata Q1531713, global field (unknown). Also nLab global field
- wikipedia: Wikipedia Global field, Global field (definition). Also Wikidata Q1531713
History
- 2026-10-26: add by m2/dev
William George Spencer S31ZEMMZ1F
| URI | m2://inv/S31ZEMMZ1F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William George Spencer, William George Spencer (topic). Also Wikidata Q16859119
History
- 2026-11-02: add by m2/dev
S31ZJJG8PW S31ZJJG8PW
| URI | m2://inv/S31ZJJG8PW |
|---|---|
| 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.07828#0GTX (statement). In TWGMVT1N1G/e1, corollary 5.3
History
- 2026-10-29: add by m2/v0.4.10
Quarter period S324FD2DCE
| URI | m2://inv/S324FD2DCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quarter period, Quarter period (definition). Also Wikidata Q7269266
History
- 2026-11-02: add by m2/dev
Conditional cumulative entropy S327XY90WV
| URI | m2://inv/S327XY90WV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10511#GTZ4, Conditional cumulative entropy (statement). In BTX64QG716/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
S32H732RYB S32H732RYB
| URI | m2://inv/S32H732RYB |
|---|---|
| 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.39539#NS6V (statement). In GVR218P3ZR/e1, theorem 9.0.4
History
- 2026-10-30: add by m2/v0.4.12
S32VEQS5SD S32VEQS5SD
| URI | m2://inv/S32VEQS5SD |
|---|---|
| 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 2503.16884#PPMI (statement). In B984KNW591/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
(2, 5)-perfect numbers S330YYESDT
| URI | m2://inv/S330YYESDT |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#KP6Z, (2, 5)-perfect numbers (conjecture)
History
- 2026-11-02: add by m2/dev
Construction S3325MDV2B
| URI | m2://inv/S3325MDV2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalizations of Pauli matrices#CO3E, Construction (definition)
History
- 2026-11-02: add by m2/dev
Properties S338ZAFZFR
| URI | m2://inv/S338ZAFZFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus of structures#0CNL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Spectral orthogonality criterion S33A8BAJ4H
| URI | m2://inv/S33A8BAJ4H |
|---|---|
| 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.20593#BNLK, Spectral orthogonality criterion (statement). In 7GMD8J4200/e1, corollary 16
History
- 2026-10-27: add by m2/v0.4.2
computation rule, for $\w$-types S33BYQYQ0H
| URI | m2://inv/S33BYQYQ0H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.3/computation-rule-for-w-types, computation rule, for $\w$-types (concept). In N54F33XE07, index, section 8.3
History
- 2026-11-01: add by m2/v0.6.13
associated graded module S33CD2718X
| URI | m2://inv/S33CD2718X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91440397, associated graded module (unknown). Also MathWorld AssociatedGradedModule
History
- 2026-10-26: add by m2/dev
S33EZ911FD S33EZ911FD
| URI | m2://inv/S33EZ911FD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2603.23072#EM52 (statement). In FW08HEAPKW/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
S33KEHDTFJ S33KEHDTFJ
| URI | m2://inv/S33KEHDTFJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#GTTR (definition). In 89XYDVXG38/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.3.5
Geometry S33WR6K2SN
| URI | m2://inv/S33WR6K2SN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#1SEY, Geometry (topic)
History
- 2026-11-02: add by m2/dev
Definition S343K6NS0E
| URI | m2://inv/S343K6NS0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fresnel number#E97H, Definition (definition)
History
- 2026-11-02: add by m2/dev
S347RHR7F3 S347RHR7F3
| URI | m2://inv/S347RHR7F3 |
|---|---|
| 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.01946#I46V (statement). In NB1Z31FMXN/e1, lemma 2.15
History
- 2026-10-29: add by m2/v0.4.12
Pell pseudoprime S34CR2A6RR
| URI | m2://inv/S34CR2A6RR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucas pseudoprime#3LBI, Pell pseudoprime (unknown)
History
- 2026-11-02: add by m2/dev
S34DQXS2Q5 S34DQXS2Q5
| URI | m2://inv/S34DQXS2Q5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33584#52AC (statement). In 3HFBAWQCA1/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
R squared S34HQSVREY
| URI | m2://inv/S34HQSVREY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/6.5.3/r-squared, R squared (concept). In 649HGZKE96, index, section 6.5.3
History
- 2026-11-01: add by m2/v0.6.13
Crash Blossoms S34TZFAYQS
| URI | m2://inv/S34TZFAYQS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syntactic ambiguity#YEQ0, Crash Blossoms (unknown)
History
- 2026-11-02: add by m2/dev
Kolmogorov's criterion S34XH2DDNE
| URI | m2://inv/S34XH2DDNE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GDR1, Kolmogorov's criterion (statement)
History
- 2026-11-02: add by m2/dev
S351EMEB16 S351EMEB16
| URI | m2://inv/S351EMEB16 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.07470#N3NG (statement). In XPF72KTPMZ/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Auslander–Buchsbaum theorem S352NJKBM6
| URI | m2://inv/S352NJKBM6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auslander–Buchsbaum theorem, Auslander–Buchsbaum theorem (statement). Also Wikidata Q4822774
History
- 2026-11-02: add by m2/dev
Zero-inflated model S353M50XWS
| URI | m2://inv/S353M50XWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-inflated model, Zero-inflated model (definition). Also Wikidata Q966010
History
- 2026-11-02: add by m2/dev
Uta Merzbach S359XDWW3M
| URI | m2://inv/S359XDWW3M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uta Merzbach, Uta Merzbach (topic). Also Wikidata Q2804803
History
- 2026-11-02: add by m2/dev
K-Poincaré algebra S35DF4NRTS
| URI | m2://inv/S35DF4NRTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-Poincaré algebra, K-Poincaré algebra (definition). Also Wikidata Q6322740
History
- 2026-11-02: add by m2/dev
Least-angle regression S35G4XJQM6
| URI | m2://inv/S35G4XJQM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NY7C, Least-angle regression (definition)
History
- 2026-11-02: add by m2/dev
Kolmogorov criterion S35NNG1RDW
| URI | m2://inv/S35NNG1RDW |
|---|---|
| Kind | statement |
| 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#J6O8, Kolmogorov criterion (statement). In 9B0X8YPF3P/e1, theorem 7.3
History
- 2026-10-28: add by m2/v0.4.2
Formal definition S35STCWBX7
| URI | m2://inv/S35STCWBX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star height#CYBL, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
S35XE4YKHG S35XE4YKHG
| URI | m2://inv/S35XE4YKHG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_exp.ptx#proof-2 (proof). In QKM9DD2H56, proof, section B.9
History
- 2026-11-01: add by m2/v0.6.13
S35XTDDHWX S35XTDDHWX
| URI | m2://inv/S35XTDDHWX |
|---|---|
| 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 2011.06637#R6R9 (statement). In KFCJ5CFP3G/e1, theorem 1.8
History
- 2026-10-27: add by m2/v0.3.5
relative consistency proof S360P2MY5Y
| URI | m2://inv/S360P2MY5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#USYQ, relative consistency proof (definition)
History
- 2026-11-02: add by m2/dev
List of complexity classes S3639SYXS3
| URI | m2://inv/S3639SYXS3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#6ZIO, List of complexity classes (topic)
- wikipedia: Wikipedia Lists of mathematics topics#MTOT, List of complexity classes (topic)
History
- 2026-11-02: add by m2/dev
Schur S36A0VG43E
| URI | m2://inv/S36A0VG43E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#QWLJ, Schur (definition)
History
- 2026-11-02: add by m2/dev
S36DPMJ4RP S36DPMJ4RP
| URI | m2://inv/S36DPMJ4RP |
|---|---|
| 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.09390#QV48 (statement). In 7SSKW778T8/e1, lemma 8.6
History
- 2026-10-29: add by m2/v0.4.10
S36E0ZYFF7 S36E0ZYFF7
| URI | m2://inv/S36E0ZYFF7 |
|---|---|
| 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.20915#2KZU (statement). In 5M1SXP75D9/e1, theorem Theorem
History
- 2026-10-27: add by m2/v0.4.2
Examples S36EQ5H6WT
| URI | m2://inv/S36EQ5H6WT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyadics#76Q1, Examples (example)
History
- 2026-11-02: add by m2/dev
S36FA6PP90 S36FA6PP90
| URI | m2://inv/S36FA6PP90 |
|---|---|
| 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.18600#GGYL (statement). In 31D6TQVCNZ/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Similarity S36TFFMR0P
| URI | m2://inv/S36TFFMR0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Similarity (philosophy), Similarity (definition). Also Wikidata Q105227892
History
- 2026-11-02: add by m2/dev
S. M. Shah S373RZ4PM2
| URI | m2://inv/S373RZ4PM2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S. M. Shah, S. M. Shah (topic). Also Wikidata Q7387666
History
- 2026-11-02: add by m2/dev
Kalman–Yakubovich–Popov lemma S3742GHVTH
| URI | m2://inv/S3742GHVTH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalman–Yakubovich–Popov lemma, Kalman–Yakubovich–Popov lemma (statement). Also Wikidata Q6354030
History
- 2026-11-02: add by m2/dev
Half-degree principle S377631F5B
| URI | m2://inv/S377631F5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22465#T8XF, Half-degree principle (statement)
History
- 2026-11-02: add by m2/v0.6.17
S37M2JYZNB S37M2JYZNB
| URI | m2://inv/S37M2JYZNB |
|---|---|
| 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.18536#YZ3Y (statement). In JM5KKNKK1J/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
S37NAYVZSC S37NAYVZSC
| URI | m2://inv/S37NAYVZSC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#5G0Q (definition). In GHKR740SG3/e1, definition 15.1
History
- 2026-10-31: add by m2/v0.5.6
Data sonification S37Q9YW5WY
| URI | m2://inv/S37Q9YW5WY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data sonification, Data sonification (definition). Also Wikidata Q65071378
History
- 2026-11-02: add by m2/dev
S37WFTYNP9 S37WFTYNP9
| URI | m2://inv/S37WFTYNP9 |
|---|---|
| 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 2206.11809#GT6C (statement). In YQXYSNW78V/e1, lemma 23
History
- 2026-10-27: add by m2/v0.3.5
S37YSSVSMS S37YSSVSMS
| URI | m2://inv/S37YSSVSMS |
|---|---|
| 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.26357#H0CO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition S381AY6CFH
| URI | m2://inv/S381AY6CFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control function (econometrics)#WZST, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Definition S388Z0Z943
| URI | m2://inv/S388Z0Z943 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear system#4YN6, Definition (definition)
History
- 2026-11-02: add by m2/dev
S38DTN7RY0 S38DTN7RY0
| URI | m2://inv/S38DTN7RY0 |
|---|---|
| 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.23093#3CQY (statement)
History
- 2026-11-02: add by m2/v0.6.17
Covering group S38N4FE6XH
| URI | m2://inv/S38N4FE6XH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering group, Covering group (definition). Also Wikidata Q5179253
History
- 2026-11-02: add by m2/dev
S38SA1S9ZH S38SA1S9ZH
| URI | m2://inv/S38SA1S9ZH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#3VXJ (definition). In 67GE5M1GGD/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Morse Lyapunov functions do not always exist S38T7M946W
| URI | m2://inv/S38T7M946W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05626#BLXW, Morse Lyapunov functions do not always exist (statement). In PMZEF75W7S/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
S39446Q2R4 S39446Q2R4
| URI | m2://inv/S39446Q2R4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.00562#N2AN (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
S39D6NJY07 S39D6NJY07
| URI | m2://inv/S39D6NJY07 |
|---|---|
| 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 2609.35204#M2AY (definition). In 8ZZNDYK76B/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
Akbas--Sra matrix small ball S39W2SWPZH
| URI | m2://inv/S39W2SWPZH |
|---|---|
| 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#GJR4, Akbas--Sra matrix small ball (statement). In 9YAE8FNQST/e1, lemma 8.6
History
- 2026-10-30: add by m2/v0.4.12
Mullin bijection S39W8XCXD0
| URI | m2://inv/S39W8XCXD0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#YHXE, Mullin bijection (statement)
History
- 2026-11-02: add by m2/v0.6.17
Usual quality measures S3A02JWCFX
| URI | m2://inv/S3A02JWCFX |
|---|---|
| Kind | definition |
| 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.12088#QT6Q, Usual quality measures (definition). In 5A39XSJ04W/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.3
$\beta\eta$-reduction, $\bered$ S3A0H3AGDJ
| URI | m2://inv/S3A0H3AGDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/eta.tex#defn:bered, $\beta\eta$-reduction, $\bered$ (definition). In PKGMM3P5QY, defn, section 38.13
History
- 2026-11-01: add by m2/v0.6.13
S3A2XMSFPP S3A2XMSFPP
| URI | m2://inv/S3A2XMSFPP |
|---|---|
| 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 2112.05010#DWKC (statement). In 4SZNPS3Z00/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.6
Variations S3A65VWA40
| URI | m2://inv/S3A65VWA40 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area chart#R2FO, Variations (statement)
History
- 2026-11-02: add by m2/dev
DB Lytix S3A9ZE43R4
| URI | m2://inv/S3A9ZE43R4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#QEYL, DB Lytix (unknown)
History
- 2026-11-02: add by m2/dev
End-of-history illusion S3ADJP44G1
| URI | m2://inv/S3ADJP44G1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#AK0D, End-of-history illusion (unknown)
History
- 2026-11-02: add by m2/dev
Elliptic hypergeometric series S3AEZ92P14
| URI | m2://inv/S3AEZ92P14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic hypergeometric series, Elliptic hypergeometric series (definition). Also Wikidata Q5365800
History
- 2026-11-02: add by m2/dev
Adrian Ioana S3AF2TWGPK
| URI | m2://inv/S3AF2TWGPK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adrian Ioana, Adrian Ioana (topic). Also Wikidata Q373194
History
- 2026-11-02: add by m2/dev
S3AG0QH99H S3AG0QH99H
| URI | m2://inv/S3AG0QH99H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15131#PETV (statement). In R80GS8W0WA/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
S3AJWYZDMR S3AJWYZDMR
| URI | m2://inv/S3AJWYZDMR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39707#TTVN (statement). In NFH5VEY1D1/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Induced order topology S3ATYD2EBA
| URI | m2://inv/S3ATYD2EBA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order topology#6TCF, Induced order topology (unknown)
History
- 2026-11-02: add by m2/dev
Schatten-H\"older inequality S3AX8GD7S5
| URI | m2://inv/S3AX8GD7S5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24522#VZ6L, Schatten-H\"older inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Subject-expectancy effect S3B4Q0P852
| URI | m2://inv/S3B4Q0P852 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subject-expectancy effect, Subject-expectancy effect (definition). Also Wikidata Q7631365
History
- 2026-11-02: add by m2/dev
S3BA5WV17Y S3BA5WV17Y
| URI | m2://inv/S3BA5WV17Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20409#ISMX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications S3BC6C8YF4
| URI | m2://inv/S3BC6C8YF4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leximin order#5YRQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Bose, R. C. S3BCEJXCR2
| URI | m2://inv/S3BCEJXCR2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#KEOU, Bose, R. C. (topic)
History
- 2026-11-02: add by m2/dev
S3BE8PPMKR S3BE8PPMKR
| URI | m2://inv/S3BE8PPMKR |
|---|---|
| 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#KZ37 (statement). In XG3BJ2QXXP/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.10
Twisted Poincaré duality S3BFN73V66
| URI | m2://inv/S3BFN73V66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted Poincaré duality, Twisted Poincaré duality (definition). Also Wikidata Q7858531
History
- 2026-11-02: add by m2/dev
S3BQMCZGB3 S3BQMCZGB3
| URI | m2://inv/S3BQMCZGB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#HV7Y (statement). In 1A01NFHBGA/e1, lemma 2.14
History
- 2026-10-28: add by m2/v0.4.3
S3BR1E63D3 S3BR1E63D3
| URI | m2://inv/S3BR1E63D3 |
|---|---|
| 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 1103.1038#X7X7 (statement). In T9VMNNPS0H/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.3.6
S3BXA0HAB0 S3BXA0HAB0
| URI | m2://inv/S3BXA0HAB0 |
|---|---|
| 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.28046#CJO3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
S3BXA5V5Y5 S3BXA5V5Y5
| URI | m2://inv/S3BXA5V5Y5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 62.6
History
- 2026-11-01: add by m2/v0.6.13
Whitney S3BXYJ9W7C
| URI | m2://inv/S3BXYJ9W7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#D3MQ, Whitney (definition)
History
- 2026-11-02: add by m2/dev
S3C26KM2AJ S3C26KM2AJ
| URI | m2://inv/S3C26KM2AJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#JF1K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Degree five S3C3MZ7XW3
| URI | m2://inv/S3C3MZ7XW3 |
|---|---|
| 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.26152#JU2W, Degree five (statement)
History
- 2026-11-01: add by m2/v0.6.15
S3C8SY09TV S3C8SY09TV
| URI | m2://inv/S3C8SY09TV |
|---|---|
| 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 2509.21444#19RM (statement). In CTVPA2FQT1/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.4.0
statistical independence S3CE6KTYGH
| URI | m2://inv/S3CE6KTYGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#MD0U, statistical independence (definition)
History
- 2026-11-02: add by m2/dev
Examples S3CMV0EFS9
| URI | m2://inv/S3CMV0EFS9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally decodable code#95BB, Examples (example)
History
- 2026-11-02: add by m2/dev
Lester Mackey S3CPD719VS
| URI | m2://inv/S3CPD719VS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VCWB, Lester Mackey (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#3QEZ, Lester Mackey (topic)
History
- 2026-11-02: add by m2/dev
Leonida Tonelli S3CPRYBK20
| URI | m2://inv/S3CPRYBK20 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leonida Tonelli, Leonida Tonelli (topic). Also Wikidata Q1819452
History
- 2026-11-02: add by m2/dev
S3CZVA895F S3CZVA895F
| URI | m2://inv/S3CZVA895F |
|---|---|
| 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.06312#25J8 (statement). In Y3HBJMCC4D/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
S3D07CS201 S3D07CS201
| URI | m2://inv/S3D07CS201 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21359#R2RH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Supremum of the Lower Digits S3D34EF2YT
| URI | m2://inv/S3D34EF2YT |
|---|---|
| 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.25091#IH1I, Supremum of the Lower Digits (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gromov's compactness theorem S3D4WK5ENX
| URI | m2://inv/S3D4WK5ENX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#02TY, Gromov's compactness theorem (statement)
History
- 2026-11-02: add by m2/dev
S3D7XD9Z80 S3D7XD9Z80
| URI | m2://inv/S3D7XD9Z80 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 25.5
History
- 2026-11-01: add by m2/v0.6.13
S3DAJ5J5EP S3DAJ5J5EP
| URI | m2://inv/S3DAJ5J5EP |
|---|---|
| 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 2610.08052#V7UJ (statement). In 672XAVEQ34/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.10
Kurdyka--\L ojasiewicz (KL) Property S3DANS0RH7
| URI | m2://inv/S3DANS0RH7 |
|---|---|
| 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 2610.00738#53RY, Kurdyka--\L ojasiewicz (KL) Property (definition). In 4TF7XCXPZ2/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Algorithms S3DBM2W3X3
| URI | m2://inv/S3DBM2W3X3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexicographic optimization#8A9H, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Decomposition of the $k$-Spin Hamiltonian S3DRTF3XEN
| URI | m2://inv/S3DRTF3XEN |
|---|---|
| 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.16705#JXQO, Decomposition of the $k$-Spin Hamiltonian (statement). In B48YQVGAF5/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.2
S3DSR1HTSN S3DSR1HTSN
| URI | m2://inv/S3DSR1HTSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#UKDW (statement). In RTE2C0PH4S/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
S3DVY7A19A S3DVY7A19A
| URI | m2://inv/S3DVY7A19A |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
Z-order curve S3E53N6T9P
| URI | m2://inv/S3E53N6T9P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#2M82, Z-order curve (unknown)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#N0NZ, Z-order curve (unknown)
History
- 2026-11-02: add by m2/dev
Definition S3EADCD1CB
| URI | m2://inv/S3EADCD1CB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maass wave form#BKIG, Definition (definition)
History
- 2026-11-02: add by m2/dev
S3ECXKHY75 S3ECXKHY75
| URI | m2://inv/S3ECXKHY75 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#EC1B (definition)
History
- 2026-11-01: add by m2/v0.6.15
S3EE1YA6VF S3EE1YA6VF
| URI | m2://inv/S3EE1YA6VF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-4.xml#example-det-identity (example). In 649HGZKE96, example, section 3.4.2
History
- 2026-11-01: add by m2/v0.6.13
Theorem S3EKN88BST
| URI | m2://inv/S3EKN88BST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–von Neumann theorem#F16C, Theorem (statement)
History
- 2026-11-02: add by m2/dev
S3F27DS7BZ S3F27DS7BZ
| URI | m2://inv/S3F27DS7BZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/affine-projective.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 82.1
History
- 2026-11-01: add by m2/v0.6.13
S3F6PNPVQD S3F6PNPVQD
| URI | m2://inv/S3F6PNPVQD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#NX17 (statement). In E7W2HDNEKJ/e1, theorem 8.6
History
- 2026-10-30: add by m2/v0.4.12
Silver machine S3F7XCG3GS
| URI | m2://inv/S3F7XCG3GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silver machine, Silver machine (definition). Also Wikidata Q7516558
History
- 2026-11-02: add by m2/dev
orientation S3FFKM5TF0
| URI | m2://inv/S3FFKM5TF0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1052451, orientation (concept). Also MathWorld ManifoldOrientation
History
- 2026-10-26: add by m2/dev
S3FFY4SD8C S3FFY4SD8C
| URI | m2://inv/S3FFY4SD8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.00676#V3I5 (statement). In 5351H04TJY/e1, lemma 4.17
History
- 2026-10-27: add by m2/v0.4.0
S3FHQZKN0H S3FHQZKN0H
| URI | m2://inv/S3FHQZKN0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#def:cycle_and_boundary (definition). In RZP28ERRZV, definition, section 55.2
History
- 2026-11-01: add by m2/v0.6.13
Applications S3FMCZMXHR
| URI | m2://inv/S3FMCZMXHR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz zeta function#OCZX, Applications (example)
History
- 2026-11-02: add by m2/dev
Foliated triple S3FZ05TPHT
| URI | m2://inv/S3FZ05TPHT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#POZV, Foliated triple (definition). In ZA6XNBA90V/e1, definition 1.6
History
- 2026-10-27: add by m2/v0.3.5
S3GAA981AX S3GAA981AX
| URI | m2://inv/S3GAA981AX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15700#EENP (statement). In S95MSZ7MDR/e1, lemma 3.14
History
- 2026-10-28: add by m2/v0.4.2
Kachurovskii's theorem S3GCBN99R6
| URI | m2://inv/S3GCBN99R6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6344729, Kachurovskii's theorem (statement). Also Wikidata Q6344729
- thousand_plus: thousand_plus Q6344729, Kachurovskii's theorem (statement). Also Wikidata Q6344729, Wikipedia Kachurovskii's theorem
- wikipedia: Wikipedia Kachurovskii's theorem, Kachurovskii's theorem (statement). Also Wikidata Q6344729
History
- 2026-10-26: add by m2/dev
A bundle monomorphism from diagonal comparison S3GEVTCVFS
| URI | m2://inv/S3GEVTCVFS |
|---|---|
| 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.11143#2NEL, A bundle monomorphism from diagonal comparison (statement). In 9CS15SV662/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.3
Applications S3GGPQ8WNY
| URI | m2://inv/S3GGPQ8WNY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parrondo's paradox#AOI5, Applications (example)
History
- 2026-11-02: add by m2/dev
Canonical divisor under a base blow-up S3GN92AE2T
| URI | m2://inv/S3GN92AE2T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#ZAT6, Canonical divisor under a base blow-up (statement). In KJC9FRS3C2/e1, proposition 9.2
History
- 2026-10-28: add by m2/v0.4.2
S3GT23R2MC S3GT23R2MC
| URI | m2://inv/S3GT23R2MC |
|---|---|
| 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.06541#6FKC (definition). In R604B78EVK/e1, definition 3.12
History
- 2026-10-29: add by m2/v0.4.10
Zaremba's conjecture S3GZKBDBN8
| URI | m2://inv/S3GZKBDBN8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted partial quotients#MR1L, Zaremba's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Chromatic symmetric function S3H1F0V1EM
| URI | m2://inv/S3H1F0V1EM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chromatic symmetric function, Chromatic symmetric function (definition). Also Wikidata Q125996958
History
- 2026-11-02: add by m2/dev
S3H2Y915B2 S3H2Y915B2
| URI | m2://inv/S3H2Y915B2 |
|---|---|
| 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 2011.07352#WETA (definition). In 3VPC1GGZ3E/e1, definition 1.4
History
- 2026-10-27: add by m2/v0.3.5
S3HA6Q5YP5 S3HA6Q5YP5
| URI | m2://inv/S3HA6Q5YP5 |
|---|---|
| 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#DAZ4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ignoratio elenchi S3HAQ1W6ZF
| URI | m2://inv/S3HAQ1W6ZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#18VO, ignoratio elenchi (definition)
History
- 2026-11-02: add by m2/dev
RSA blinding attack S3HBNFR12C
| URI | m2://inv/S3HBNFR12C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blind signature#MQM6, RSA blinding attack (unknown)
History
- 2026-11-02: add by m2/dev
S3HE85P962 S3HE85P962
| URI | m2://inv/S3HE85P962 |
|---|---|
| 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.20647#X24S (statement)
History
- 2026-11-02: add by m2/v0.6.18
Generalizations S3HVRNM869
| URI | m2://inv/S3HVRNM869 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective polyhedron#DPLO, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
product of manifolds S3HY05W7X9
| URI | m2://inv/S3HY05W7X9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > product of manifolds, product of manifolds (unknown). Also Mathlib IsManifold.prod
History
- 2026-10-26: add by m2/dev
Durrmeyer spectral decomposition S3J1Z3SMC3
| URI | m2://inv/S3J1Z3SMC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21363#VADA, Durrmeyer spectral decomposition (statement). In YPH7NS5AAQ/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.4.2
S3J5JMCP3K S3J5JMCP3K
| URI | m2://inv/S3J5JMCP3K |
|---|---|
| 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 2609.13888#VOES (statement). In 2G5K2GZTX7/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.4.0
S3JAJ0289R S3JAJ0289R
| URI | m2://inv/S3JAJ0289R |
|---|---|
| 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#MCA8 (statement). In XYCBKM4WKY/e1, lemma 25
History
- 2026-10-27: add by m2/v0.3.5
Leopold Löwenheim S3JE9ZBEZ3
| URI | m2://inv/S3JE9ZBEZ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leopold Löwenheim, Leopold Löwenheim (topic). Also Wikidata Q77504
History
- 2026-11-02: add by m2/dev
S3JFFE79YP S3JFFE79YP
| URI | m2://inv/S3JFFE79YP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#TA39 (statement). In 5KR3MHYVV6/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Higraph S3JQ2JBMAT
| URI | m2://inv/S3JQ2JBMAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higraph, Higraph (definition). Also Wikidata Q16969020
History
- 2026-11-02: add by m2/dev
S3JRN7YZ2V S3JRN7YZ2V
| URI | m2://inv/S3JRN7YZ2V |
|---|---|
| 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.04809#IQAF (statement). In 2VHV0RNTNV/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.12
Stony Brook Seawolves men's basketball statistical leaders S3JTT8QTCD
| URI | m2://inv/S3JTT8QTCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stony Brook Seawolves men's basketball statistical leaders, Stony Brook Seawolves men's basketball statistical leaders (definition). Also Wikidata Q96406567
History
- 2026-11-02: add by m2/dev
S3K85SPN3G S3K85SPN3G
| URI | m2://inv/S3K85SPN3G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39517#BJUV (statement). In TWP8T68ABF/e1, theorem 0.2.1
History
- 2026-10-30: add by m2/v0.4.12
The converse of Shapley–Folkman lemma S3KGFZ77JW
| URI | m2://inv/S3KGFZ77JW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley–Folkman lemma#NTHL, The converse of Shapley–Folkman lemma (statement)
History
- 2026-11-02: add by m2/dev
S3KRVE3M0C S3KRVE3M0C
| URI | m2://inv/S3KRVE3M0C |
|---|---|
| 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.04172#V4A9 (statement). In 9Q1D1NMTTS/e1, lemma 18
History
- 2026-10-29: add by m2/v0.4.12
Jean-Louis Koszul S3KTHDW3JR
| URI | m2://inv/S3KTHDW3JR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q526290, Jean-Louis Koszul (unknown). Also nLab Jean-Louis Koszul
- wikipedia: Wikipedia Jean-Louis Koszul, Jean-Louis Koszul (topic). Also Wikidata Q526290
History
- 2026-10-26: add by m2/dev
Eric Vanden-Eijnden S3KVJ1VG0V
| URI | m2://inv/S3KVJ1VG0V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VRKI, Eric Vanden-Eijnden (unknown)
History
- 2026-11-02: add by m2/dev
Gautam Mitra S3KX2PRT5Q
| URI | m2://inv/S3KX2PRT5Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gautam Mitra, Gautam Mitra (topic). Also Wikidata Q27916064
History
- 2026-11-02: add by m2/dev
Examples S3M2EVNT6Q
| URI | m2://inv/S3M2EVNT6Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support (measure theory)#3EYW, Examples (example)
History
- 2026-11-02: add by m2/dev
S3M2ZJS297 S3M2ZJS297
| URI | m2://inv/S3M2ZJS297 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/lob-thm.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 28.2
History
- 2026-11-01: add by m2/v0.6.13
Cesaro equation S3M8CS7X8D
| URI | m2://inv/S3M8CS7X8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3893234, Cesaro equation (unknown). Also MathWorld CesaroEquation
- wikipedia: Wikipedia Cesàro equation, Cesàro equation (definition). Also Wikidata Q3893234
History
- 2026-10-26: add by m2/dev
742 (number) S3MCZSH4T1
| URI | m2://inv/S3MCZSH4T1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#NP94, 742 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Finite modifications S3MFK9ER1C
| URI | m2://inv/S3MFK9ER1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#P8K7, Finite modifications (statement). In HGTFJ325A4/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
The lemma over the integers S3MGE4YW96
| URI | m2://inv/S3MGE4YW96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's lemma (polynomials)#T99X, The lemma over the integers (statement)
History
- 2026-11-02: add by m2/dev
Virginia A. Clark S3MJPH9J0D
| URI | m2://inv/S3MJPH9J0D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#RYEG, Virginia A. Clark (unknown)
History
- 2026-11-02: add by m2/dev
S3MKSJQV9D S3MKSJQV9D
| URI | m2://inv/S3MKSJQV9D |
|---|---|
| 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 2312.14445#F0IP (statement). In V56MKF0KW2/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
S3MVB2GWWR S3MVB2GWWR
| URI | m2://inv/S3MVB2GWWR |
|---|---|
| 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.04901#GP3V (statement). In XBWHYW36TP/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
S3MYNA60G1 S3MYNA60G1
| URI | m2://inv/S3MYNA60G1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35275#79M6 (statement). In B0NV0JBAKB/e1, theorem A.4
History
- 2026-10-30: add by m2/v0.4.12
pseudo-abelian envelope S3NE70YB4K
| URI | m2://inv/S3NE70YB4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#CJCF, pseudo-abelian envelope (definition)
History
- 2026-11-02: add by m2/dev
General Kubo formula S3NH1RGJJW
| URI | m2://inv/S3NH1RGJJW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kubo formula#YMNZ, General Kubo formula (statement)
History
- 2026-11-02: add by m2/dev
Shikaku S3NKBRZB2G
| URI | m2://inv/S3NKBRZB2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shikaku, Shikaku (definition). Also Wikidata Q478093
History
- 2026-11-02: add by m2/dev
Stephen John Penneck S3NPYD75J7
| URI | m2://inv/S3NPYD75J7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen John Penneck, Stephen John Penneck (topic). Also Wikidata Q117818808
History
- 2026-11-02: add by m2/dev
S3NSRTQP5C S3NSRTQP5C
| URI | m2://inv/S3NSRTQP5C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.14389#XTT6 (definition). In NAMCCRM50R/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.3.5
S3P0RBPNHW S3P0RBPNHW
| URI | m2://inv/S3P0RBPNHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#03EO (statement). In N3Z6JFEPCF/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.2
Paola Loreti S3P20CSM9P
| URI | m2://inv/S3P20CSM9P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZGM1, Paola Loreti (unknown)
History
- 2026-11-02: add by m2/dev
Missing data S3P28Y1ZQX
| URI | m2://inv/S3P28Y1ZQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0L06, Missing data (definition)
History
- 2026-11-02: add by m2/dev
AC0 S3PE3N9QYE
| URI | m2://inv/S3PE3N9QYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AC0, AC0 (definition). Also Wikidata Q287954
History
- 2026-11-02: add by m2/dev
S3PFXZS5D2 S3PFXZS5D2
| URI | m2://inv/S3PFXZS5D2 |
|---|---|
| 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 2108.03672#8KM8 (statement). In EZZSZ1F071/e1, lemma 1.13
History
- 2026-10-27: add by m2/v0.4.0
Zipf–Mandelbrot law S3PFZKJH4Y
| URI | m2://inv/S3PFZKJH4Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#1GBN, Zipf–Mandelbrot law (statement)
History
- 2026-11-02: add by m2/dev
Hawkes process S3PHDXAVKZ
| URI | m2://inv/S3PHDXAVKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55595015, Hawkes process (unknown). Also MathWorld HawkesProcess
- wikipedia: Wikipedia Hawkes process, Hawkes process (definition). Also Wikidata Q55595015
History
- 2026-10-26: add by m2/dev
Uses S3PHXVNXRX
| URI | m2://inv/S3PHXVNXRX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet-multinomial distribution#B2JI, Uses (example)
History
- 2026-11-02: add by m2/dev
S3PJ8RDD7E S3PJ8RDD7E
| URI | m2://inv/S3PJ8RDD7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39347#G0NH (statement). In KBBA2FKDBH/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Definition S3PJNB7R39
| URI | m2://inv/S3PJNB7R39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimand#SLOT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Channel identities and sharp surplus bounds S3PR18P39S
| URI | m2://inv/S3PR18P39S |
|---|---|
| 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.25039#6YHT, Channel identities and sharp surplus bounds (statement)
History
- 2026-11-01: add by m2/v0.6.15
S3PV2YE43T S3PV2YE43T
| URI | m2://inv/S3PV2YE43T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32138#2VHL (statement). In ZG0GNHTCWB/e1, lemma 6.7
History
- 2026-10-31: add by m2/v0.5.6
Examples S3PZNH6RMN
| URI | m2://inv/S3PZNH6RMN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ♯P-complete#MA4A, Examples (example)
History
- 2026-11-02: add by m2/dev
S3Q163VWKH S3Q163VWKH
| URI | m2://inv/S3Q163VWKH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#thm:finite union and intersection of closed sets (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Gaetano Marzagaglia S3Q571FG97
| URI | m2://inv/S3Q571FG97 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaetano Marzagaglia, Gaetano Marzagaglia (topic). Also Wikidata Q16936983
History
- 2026-11-02: add by m2/dev
S3QB7VZNMA S3QB7VZNMA
| URI | m2://inv/S3QB7VZNMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_decimal.ptx#theorem-2 (statement). In QKM9DD2H56, theorem, section B.12.1
History
- 2026-11-01: add by m2/v0.6.13
Conditional \(\mathfrak{S}_4\) derivative S3QE932HNR
| URI | m2://inv/S3QE932HNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#7C9W, Conditional \(\mathfrak{S}_4\) derivative (statement). In HTWSDDAWGS/e1, proposition A.6
History
- 2026-10-29: add by m2/v0.4.10
Notations S3QGY7D3M1
| URI | m2://inv/S3QGY7D3M1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pauli group#WN5O, Notations (definition)
History
- 2026-11-02: add by m2/dev
Iterable cardinal S3QKKERJ3A
| URI | m2://inv/S3QKKERJ3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of large cardinal properties#YMB2, Iterable cardinal (definition)
History
- 2026-11-02: add by m2/dev
Appeal to novelty S3QRKYS4PT
| URI | m2://inv/S3QRKYS4PT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#81F8, Appeal to novelty (definition)
History
- 2026-11-02: add by m2/dev
S3QYFGK7Z2 S3QYFGK7Z2
| URI | m2://inv/S3QYFGK7Z2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-32 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
N-flake S3QYVPMV36
| URI | m2://inv/S3QYVPMV36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#V1VF, N-flake (definition)
History
- 2026-11-02: add by m2/dev
Maximum entropy classifier S3RMDZX2GE
| URI | m2://inv/S3RMDZX2GE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OFE3, Maximum entropy classifier (definition)
History
- 2026-11-02: add by m2/dev
S3RMJ95350 S3RMJ95350
| URI | m2://inv/S3RMJ95350 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#example-2 (example). In RZP28ERRZV, example, section 60.1.2
History
- 2026-11-01: add by m2/v0.6.13
Number theory S3RMWGWTRR
| URI | m2://inv/S3RMWGWTRR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#KA7J, Number theory (topic)
History
- 2026-11-02: add by m2/dev
Corollary S3RRC1X243
| URI | m2://inv/S3RRC1X243 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordinate vector#53NS, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Morita conjectures S3RW6VX4JJ
| URI | m2://inv/S3RW6VX4JJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morita conjectures, Morita conjectures (statement). Also Wikidata Q6912365
History
- 2026-11-02: add by m2/dev
S3RY6T9CGP S3RY6T9CGP
| URI | m2://inv/S3RY6T9CGP |
|---|---|
| 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.36045#1MRD (statement). In F0E8YBV0Z0/e1, lemma 6.4
History
- 2026-10-30: add by m2/v0.4.12
S3RZ01MV3F S3RZ01MV3F
| URI | m2://inv/S3RZ01MV3F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/truth-in-model.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 55.3
History
- 2026-11-01: add by m2/v0.6.13
S3S0X4QB5M S3S0X4QB5M
| URI | m2://inv/S3S0X4QB5M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/lebesgue-int.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 65.3
History
- 2026-11-01: add by m2/v0.6.13
S3S2MTFR0W S3S2MTFR0W
| URI | m2://inv/S3S2MTFR0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#S3R7 (statement). In E7W2HDNEKJ/e1, theorem 6.38
History
- 2026-10-30: add by m2/v0.4.12
S3S4BJATW4 S3S4BJATW4
| URI | m2://inv/S3S4BJATW4 |
|---|---|
| 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.26496#DGM2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Grids with diagonals S3S8CF5J60
| URI | m2://inv/S3S8CF5J60 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14681#BB43, Grids with diagonals (problem). In 459W0NBS5Q/e1, problem 3
History
- 2026-10-28: add by m2/v0.4.2
S3S935PCRS S3S935PCRS
| URI | m2://inv/S3S935PCRS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#6IK9 (definition). In 9GMTVSTAVN/e1, definition 4.17
History
- 2026-10-27: add by m2/v0.3.5
David Haussler S3S95VVM6J
| URI | m2://inv/S3S95VVM6J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q8E6, David Haussler (unknown)
History
- 2026-11-02: add by m2/dev
cross graph S3S9BV3SB8
| URI | m2://inv/S3S9BV3SB8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115460, cross graph (unknown). Also House of Graphs 208, MathWorld CrossGraph
History
- 2026-10-26: add by m2/dev
S3SG0GCBTZ S3SG0GCBTZ
| URI | m2://inv/S3SG0GCBTZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#LBIQ (example). In HRCEFY172P/e1, example 4.13
History
- 2026-10-30: add by m2/v0.4.12
S3T17V79YQ S3T17V79YQ
| URI | m2://inv/S3T17V79YQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33946#JDLA (statement). In T61D8EZH24/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Applications S3TDC2159N
| URI | m2://inv/S3TDC2159N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code#AR5D, Applications (example)
History
- 2026-11-02: add by m2/dev
Marco Avellaneda S3TDQ6ZGPQ
| URI | m2://inv/S3TDQ6ZGPQ |
|---|---|
| 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#D4H1, Marco Avellaneda (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T5JM, Marco Avellaneda (topic)
History
- 2026-11-02: add by m2/dev
Bapat–Beg theorem S3TEB9SQ3R
| URI | m2://inv/S3TEB9SQ3R |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4857506, Bapat–Beg theorem (statement). Also Wikidata Q4857506
- thousand_plus: thousand_plus Q4857506, Bapat–Beg theorem (statement). Also Wikidata Q4857506, Wikipedia Bapat–Beg theorem
- wikipedia: Wikipedia Bapat–Beg theorem, Bapat–Beg theorem (statement). Also Wikidata Q4857506
History
- 2026-10-26: add by m2/dev
Three-subset orbits of $\Sp(2n,2)$ S3TEKEPQZF
| URI | m2://inv/S3TEKEPQZF |
|---|---|
| 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.15340#UJWF, Three-subset orbits of $\Sp(2n,2)$ (statement). In 9NVKKW8HDH/e1, theorem 2.30
History
- 2026-10-28: add by m2/v0.4.2
Applications S3TY9X7EH9
| URI | m2://inv/S3TY9X7EH9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necessary condition analysis#BNLE, Applications (example)
History
- 2026-11-02: add by m2/dev
S3V192ENVP S3V192ENVP
| URI | m2://inv/S3V192ENVP |
|---|---|
| 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 0904.3493#MGRT (statement). In 1ARY7220P4/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5
Charles Loewner S3V6K64AVQ
| URI | m2://inv/S3V6K64AVQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#GGBR, Charles Loewner (unknown)
History
- 2026-11-02: add by m2/dev
S3VE7S34Q5 S3VE7S34Q5
| URI | m2://inv/S3VE7S34Q5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2103.08272#OJE8 (statement). In H72E12TYHA/e1, theorem 4.11
History
- 2026-10-27: add by m2/v0.4.0
S3VEPAEXHJ S3VEPAEXHJ
| URI | m2://inv/S3VEPAEXHJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.06555#WEL4 (statement). In 5GDDS20Q3D/e1, proposition 1.1
History
- 2026-10-27: add by m2/v0.4.0
Stefan Banach S3VFZVBNNM
| URI | m2://inv/S3VFZVBNNM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#4GZD, Stefan Banach (topic)
History
- 2026-11-02: add by m2/dev
Funnel plot S3VRVQ99N7
| URI | m2://inv/S3VRVQ99N7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A5C3, Funnel plot (definition)
- wikipedia: Wikipedia List of graphical methods#7TYV, Funnel plot (definition)
History
- 2026-11-02: add by m2/dev
Terminology S3VYJK4X96
| URI | m2://inv/S3VYJK4X96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nef polygon#U80M, Terminology (definition)
History
- 2026-11-02: add by m2/dev
S3W0W2Q36R S3W0W2Q36R
| URI | m2://inv/S3W0W2Q36R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-prop.tex#example-5 (example). In RZP28ERRZV, example, section 99.2
History
- 2026-11-01: add by m2/v0.6.13
S3WDVZJ520 S3WDVZJ520
| URI | m2://inv/S3WDVZJ520 |
|---|---|
| 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 2109.09268#XZB2 (statement). In SYZFEVFHC3/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
P-adic analysis S3WFJRXRJD
| URI | m2://inv/S3WFJRXRJD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic analysis, P-adic analysis (topic). Also Wikidata Q2845236
History
- 2026-11-02: add by m2/dev
Petr Hájek S3WJ7YV3JM
| URI | m2://inv/S3WJ7YV3JM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#MD6M, Petr Hájek (unknown)
History
- 2026-11-02: add by m2/dev
S3WXTQJNBR S3WXTQJNBR
| URI | m2://inv/S3WXTQJNBR |
|---|---|
| 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 2302.06189#PTFJ (statement). In N5ZSHXYYV6/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
S3WZHXH1VQ S3WZHXH1VQ
| URI | m2://inv/S3WZHXH1VQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#JS9Y (definition). In XX1J2REXY2/e1, definition 4.7
History
- 2026-10-28: add by m2/v0.4.2
S3WZJKHGPT S3WZJKHGPT
| URI | m2://inv/S3WZJKHGPT |
|---|---|
| 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.04411#CREZ (statement). In 6AY8SX3XBW/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Source coding theorem S3X8NDCDWH
| URI | m2://inv/S3X8NDCDWH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon's source coding theorem#5RNQ, Source coding theorem (statement)
History
- 2026-11-02: add by m2/dev
S3XDVJXW9G S3XDVJXW9G
| URI | m2://inv/S3XDVJXW9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2004.02766#E9WI (statement). In HY652RA1NJ/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Chaim Pekeris S3XE6C7PE9
| URI | m2://inv/S3XE6C7PE9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#8VBG, Chaim Pekeris (topic)
History
- 2026-11-02: add by m2/dev
Example S3XFBZ10VJ
| URI | m2://inv/S3XFBZ10VJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carry-less product#6M0C, Example (example)
History
- 2026-11-02: add by m2/dev
Samuel Lattès S3Y2B4D8FH
| URI | m2://inv/S3Y2B4D8FH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel Lattès, Samuel Lattès (topic). Also Wikidata Q15843908
History
- 2026-11-02: add by m2/dev
S3Y4D6P7DV S3Y4D6P7DV
| URI | m2://inv/S3Y4D6P7DV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#46LB (statement). In QM1T8JDK4A/e1, theorem D
History
- 2026-10-30: add by m2/v0.4.12
The family $P_1$ S3YKWPCGWA
| URI | m2://inv/S3YKWPCGWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#8QRQ, The family $P_1$ (statement). In 65TJENWK7X/e1, proposition 43
History
- 2026-10-29: add by m2/v0.4.10
S3YPJPZJRT S3YPJPZJRT
| URI | m2://inv/S3YPJPZJRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#prop:refinement (statement). In E59CDZA4DP, prop, section 8.1.1
History
- 2026-11-01: add by m2/v0.6.13
S3Z1ZWYDY8 S3Z1ZWYDY8
| URI | m2://inv/S3Z1ZWYDY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#H3FE (statement). In HH35K7S17H/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
S3Z3Y64SRK S3Z3Y64SRK
| URI | m2://inv/S3Z3Y64SRK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/shor.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 76.2
History
- 2026-11-01: add by m2/v0.6.13
Hahn–Banach theorem for seminorms S3Z95DKD2K
| URI | m2://inv/S3Z95DKD2K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seminorm#ZBZR, Hahn–Banach theorem for seminorms (statement)
History
- 2026-11-02: add by m2/dev
Catenary S3ZD77SNKT
| URI | m2://inv/S3ZD77SNKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#34FL, Catenary (definition)
- wikipedia: Wikipedia List of curves#LYXS, Catenary (definition)
- wikipedia: Wikipedia List of exponential topics#R0TA, Catenary (definition)
History
- 2026-11-02: add by m2/dev
Material implication S3ZNQQN1KX
| URI | m2://inv/S3ZNQQN1KX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Material implication (rule of inference)#P5SX, Material implication (statement)
History
- 2026-11-02: add by m2/dev
Benjamin Kuipers S3ZRPT9F19
| URI | m2://inv/S3ZRPT9F19 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RPP2, Benjamin Kuipers (unknown)
History
- 2026-11-02: add by m2/dev
power of a test S3ZV8YW2TJ
| URI | m2://inv/S3ZV8YW2TJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Power of a test 4RJSN0QARD |
Mentions
- wikidata: Wikidata Q1199823, power of a test (unknown). Also MathWorld StatisticalPower
- wikipedia: Wikipedia Power (statistics), Power (definition). Also Wikidata Q1199823
History
- 2026-10-26: add by m2/dev
Axioms and generalized cohomology theories S3ZY8FKP73
| URI | m2://inv/S3ZY8FKP73 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohomology#H5C5, Axioms and generalized cohomology theories (statement)
History
- 2026-11-02: add by m2/dev