Inventory rows SK
The cards of the rows of the inventory whose ids start with SK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Explicit dimensions for unit couplings SK01ZW4VB5
| URI | m2://inv/SK01ZW4VB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#OCCH, Explicit dimensions for unit couplings (statement)
History
- 2026-11-02: add by m2/v0.6.17
SK0GH3SGKT SK0GH3SGKT
| URI | m2://inv/SK0GH3SGKT |
|---|---|
| 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 2202.07274#P91P (statement). In V5WGBGKYXN/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.6
SK0K7G0RJC SK0K7G0RJC
| URI | m2://inv/SK0K7G0RJC |
|---|---|
| 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 1907.01440#Q18Q (statement). In QDRYC6WJJ7/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
Absoluteness boundary SK177FVXSD
| URI | m2://inv/SK177FVXSD |
|---|---|
| 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.32078#D883, Absoluteness boundary (statement). In 5PN85N6EJF/e1, proposition 9.7
History
- 2026-10-31: add by m2/v0.5.6
basis filter SK1A2YXF10
| URI | m2://inv/SK1A2YXF10 |
|---|---|
| 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 2609.39511#ZQZU, basis filter (definition). In 6W9H24A378/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
SK1JV003RV SK1JV003RV
| URI | m2://inv/SK1JV003RV |
|---|---|
| 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#R5DC (statement). In N5ZSHXYYV6/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
SK1N3GN1E5 SK1N3GN1E5
| URI | m2://inv/SK1N3GN1E5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-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 2208.05276#1BYY (definition). In 4C5XHYTRT2/e1, definition 1.6
History
- 2026-10-27: add by m2/v0.3.5
Pilar Ribeiro SK1RSDTYVP
| URI | m2://inv/SK1RSDTYVP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pilar Ribeiro, Pilar Ribeiro (topic). Also Wikidata Q10349723
History
- 2026-11-02: add by m2/dev
octad SK1X7GKDVJ
| URI | m2://inv/SK1X7GKDVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#J78T, octad (definition)
History
- 2026-11-02: add by m2/dev
Mordell–Weil group SK1ZXEYW1N
| URI | m2://inv/SK1ZXEYW1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#UOQP, Mordell–Weil group (definition)
History
- 2026-11-02: add by m2/dev
fiber SK20G1GXWX
| URI | m2://inv/SK20G1GXWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#BV5T, fiber (definition)
History
- 2026-11-02: add by m2/dev
SK23S22PH1 SK23S22PH1
| URI | m2://inv/SK23S22PH1 |
|---|---|
| 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.08873#8YM3 (statement). In 7WMNVJBAVR/e1, proposition 5.8
History
- 2026-10-29: add by m2/v0.4.10
60-60-60 Triangle SK2C640M9M
| URI | m2://inv/SK2C640M9M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105332798, 60-60-60 Triangle (concept). Also MathWorld 60-60-60Triangle
History
- 2026-10-26: add by m2/dev
Properties SK2CF8Z74P
| URI | m2://inv/SK2CF8Z74P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrásfai graph#0TJN, Properties (statement)
History
- 2026-11-02: add by m2/dev
digit SK2DN5HF8Q
| URI | m2://inv/SK2DN5HF8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q82990, digit (unknown). Also MathWorld Digit
- wikipedia: Wikipedia Numerical digit, Numerical digit (definition). Also Wikidata Q82990
History
- 2026-10-26: add by m2/dev
Leon Chwistek SK2G3TNN8P
| URI | m2://inv/SK2G3TNN8P |
|---|---|
| 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#0NHB, Leon Chwistek (topic)
History
- 2026-11-02: add by m2/dev
Statement SK2GG3THJQ
| URI | m2://inv/SK2GG3THJQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom schema of predicative separation#3WBE, Statement (statement)
History
- 2026-11-02: add by m2/dev
SK2K9QEPH5 SK2K9QEPH5
| URI | m2://inv/SK2K9QEPH5 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
SK2MTJX14Q SK2MTJX14Q
| URI | m2://inv/SK2MTJX14Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#B8ZV (statement). In GAG532VMPF/e1, theorem 7.1.4
History
- 2026-10-27: add by m2/v0.3.5
SK2R8S5SP5 SK2R8S5SP5
| URI | m2://inv/SK2R8S5SP5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#CASC (statement)
History
- 2026-11-01: add by m2/v0.6.15
SK2WC45BWG SK2WC45BWG
| URI | m2://inv/SK2WC45BWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#FUL1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Corollary (equivalent norms for Sobolev spaces) SK2YKG33C0
| URI | m2://inv/SK2YKG33C0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrling's lemma#G8LU, Corollary (equivalent norms for Sobolev spaces) (statement)
History
- 2026-11-02: add by m2/dev
SK34K0GRGF SK34K0GRGF
| URI | m2://inv/SK34K0GRGF |
|---|---|
| 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.17476#571F (statement). In 6HXD74FA4S/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
SK35RXBZ44 SK35RXBZ44
| URI | m2://inv/SK35RXBZ44 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#I9XJ (definition). In X765ZXXVC3/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
SK36GV0TKH SK36GV0TKH
| URI | m2://inv/SK36GV0TKH |
|---|---|
| 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 2610.21080#28PP (statement). In DGE917KQSQ/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.4.2
Odds theorem SK39R83721
| URI | m2://inv/SK39R83721 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds algorithm#FBV5, Odds theorem (statement)
History
- 2026-11-02: add by m2/dev
Gil Kalai SK3DCE4H40
| URI | m2://inv/SK3DCE4H40 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#T7Y2, Gil Kalai (topic)
History
- 2026-11-02: add by m2/dev
EXIT chart SK3E2B0EXE
| URI | m2://inv/SK3E2B0EXE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#6QNV, EXIT chart (unknown)
History
- 2026-11-02: add by m2/dev
SK3K2H95Q6 SK3K2H95Q6
| URI | m2://inv/SK3K2H95Q6 |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
SK3M4N0GAZ SK3M4N0GAZ
| URI | m2://inv/SK3M4N0GAZ |
|---|---|
| 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.07790#3MB2 (statement). In A5YJDDM0NX/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.10
tesseract SK3Q33QRTR
| URI | m2://inv/SK3Q33QRTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12142, tesseract (unknown). Also MathWorld Tesseract
- wikipedia: Wikipedia Tesseract, Tesseract (definition). Also Wikidata Q12142
History
- 2026-10-26: add by m2/dev
Seventeen Seventy, Queensland SK3Q5XZ1WX
| URI | m2://inv/SK3Q5XZ1WX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FIU8, Seventeen Seventy, Queensland (unknown)
History
- 2026-11-02: add by m2/dev
SK3QMAMMBQ SK3QMAMMBQ
| URI | m2://inv/SK3QMAMMBQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20860#P7EK (definition)
History
- 2026-11-02: add by m2/v0.6.18
Key authentication SK3SC3E3BB
| URI | m2://inv/SK3SC3E3BB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key authentication, Key authentication (definition). Also Wikidata Q17081967
History
- 2026-11-02: add by m2/dev
\classical (Ad\'amek SK3T2DJCZS
| URI | m2://inv/SK3T2DJCZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2105.03252#DH5G, \classical (Ad\'amek (statement). In 2E47BDDDR4/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Implementations SK3T318SM1
| URI | m2://inv/SK3T318SM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Varimax rotation#A5ER, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Relation to Lanchester's laws SK3WD9AZG1
| URI | m2://inv/SK3WD9AZG1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salvo combat model#52FD, Relation to Lanchester's laws (statement)
History
- 2026-11-02: add by m2/dev
Improper motion SK47FKZPVE
| URI | m2://inv/SK47FKZPVE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper motion#9KS5, Improper motion (unknown)
History
- 2026-11-02: add by m2/dev
Pollard's kangaroo algorithm SK4C7YMQD0
| URI | m2://inv/SK4C7YMQD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pollard's kangaroo algorithm, Pollard's kangaroo algorithm (definition). Also Wikidata Q1911970
History
- 2026-11-02: add by m2/dev
SK4FMBK6MS SK4FMBK6MS
| URI | m2://inv/SK4FMBK6MS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00375#GLT8 (statement). In YV6ZXRDHX4/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Properties SK4G5A52VB
| URI | m2://inv/SK4G5A52VB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandrov topology#7H05, Properties (statement)
History
- 2026-11-02: add by m2/dev
SK4HHKWGY5 SK4HHKWGY5
| URI | m2://inv/SK4HHKWGY5 |
|---|---|
| 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.15013#QJSY (statement). In JB837X6D1Q/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Applications SK53ZVKC5P
| URI | m2://inv/SK53ZVKC5P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramp function#BG5C, Applications (example)
History
- 2026-11-02: add by m2/dev
Algorithmic Lovász local lemma SK59519PWV
| URI | m2://inv/SK59519PWV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic Lovász local lemma, Algorithmic Lovász local lemma (statement). Also Wikidata Q4724359
History
- 2026-11-02: add by m2/dev
Menger curvature SK5ATR9AQE
| URI | m2://inv/SK5ATR9AQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Menger curvature, Menger curvature (definition). Also Wikidata Q6816983
History
- 2026-11-02: add by m2/dev
Properties SK5KSBC38M
| URI | m2://inv/SK5KSBC38M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modified Kumaraswamy distribution#WFR5, Properties (statement)
History
- 2026-11-02: add by m2/dev
SK5KXR2WQV SK5KXR2WQV
| URI | m2://inv/SK5KXR2WQV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.07398#LYKG (definition). In JS5FKV1S9T/e1, definition C.1
History
- 2026-10-27: add by m2/v0.3.5
Cryptographic bill of materials SK5N2T7B9J
| URI | m2://inv/SK5N2T7B9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic bill of materials, Cryptographic bill of materials (definition). Also Wikidata Q137258435
History
- 2026-11-02: add by m2/dev
SK5NRG67DD SK5NRG67DD
| URI | m2://inv/SK5NRG67DD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10338#27RT (statement). In WZ3GXRAB00/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
SK5T73CQ4E SK5T73CQ4E
| URI | m2://inv/SK5T73CQ4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09990#ZM0S (statement). In CMG6TE1RDP/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.10
SK61ZKPXGG SK61ZKPXGG
| URI | m2://inv/SK61ZKPXGG |
|---|---|
| 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.36447#AXLL (statement). In D90TFQTQ6P/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
First variation in the reference SK66NXF9FV
| URI | m2://inv/SK66NXF9FV |
|---|---|
| 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#NO55, First variation in the reference (statement). In 9YAE8FNQST/e1, corollary 17.21
History
- 2026-10-30: add by m2/v0.4.12
SK6AA24WJ5 SK6AA24WJ5
| URI | m2://inv/SK6AA24WJ5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-7 (exercise). In VNMV985MXX, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Conditional probability distribution SK6AGR42JW
| URI | m2://inv/SK6AGR42JW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RC50, Conditional probability distribution (definition)
History
- 2026-11-02: add by m2/dev
Marion Scheepers SK6D3ADFTK
| URI | m2://inv/SK6D3ADFTK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RANC, Marion Scheepers (topic)
History
- 2026-11-02: add by m2/dev
Donald W. Fiske SK6ECEGVRD
| URI | m2://inv/SK6ECEGVRD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald W. Fiske, Donald W. Fiske (topic). Also Wikidata Q5295254
History
- 2026-11-02: add by m2/dev
SK6HSN18VM SK6HSN18VM
| URI | m2://inv/SK6HSN18VM |
|---|---|
| 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.35467#311Q (statement). In FK89DQ9J4S/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
SK6PD1KJ6R SK6PD1KJ6R
| URI | m2://inv/SK6PD1KJ6R |
|---|---|
| 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 2207.11097#97LP (statement). In 13H5BTAXHF/e1, proposition 11
History
- 2026-10-27: add by m2/v0.3.5
Robust regression SK6X59A73X
| URI | m2://inv/SK6X59A73X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9UIP, Robust regression (definition)
History
- 2026-11-02: add by m2/dev
The trace equation on a geodesic plane SK74WZKCGW
| URI | m2://inv/SK74WZKCGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#XLKF, The trace equation on a geodesic plane (statement). In HF7YNMW39N/e1, lemma 9.2
History
- 2026-10-27: add by m2/v0.4.0
Examples SK7AD9HWAC
| URI | m2://inv/SK7AD9HWAC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bundle (mathematics)#ZWFN, Examples (example)
History
- 2026-11-02: add by m2/dev
Endre Szemerédi SK7GCJ31J6
| URI | m2://inv/SK7GCJ31J6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Endre Szemerédi, Endre Szemerédi (topic). Also Wikidata Q439709
History
- 2026-11-02: add by m2/dev
Eugene Anderson SK7NCHCACM
| URI | m2://inv/SK7NCHCACM |
|---|---|
| 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#WLMF, Eugene Anderson (unknown)
History
- 2026-11-02: add by m2/dev
Georges-Louis Leclerc, Comte de Buffon SK7NDKFNDX
| URI | m2://inv/SK7NDKFNDX |
|---|---|
| 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 Q229264, Georges-Louis Leclerc, Comte de Buffon (unknown). Also ProofWiki Mathematician:Georges_Louis_Leclerc,_Comte_de_Buffon
History
- 2026-10-26: add by m2/dev
Strong six exponentials theorem SK7PMJ9KYS
| URI | m2://inv/SK7PMJ9KYS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Six exponentials theorem#CA7C, Strong six exponentials theorem (statement)
History
- 2026-11-02: add by m2/dev
Field of characteristic zero SK7R9KNVQT
| URI | m2://inv/SK7R9KNVQT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic (algebra)#DO2D, Field of characteristic zero (unknown)
History
- 2026-11-02: add by m2/dev
Exact primary allocation SK7RE13XKD
| URI | m2://inv/SK7RE13XKD |
|---|---|
| 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.22280#ZFWP, Exact primary allocation (statement)
History
- 2026-11-02: add by m2/v0.6.17
Darboux integral SK7TC2G1R5
| URI | m2://inv/SK7TC2G1R5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Darboux integral F961Q88FHK |
Mentions
- wikidata: Wikidata Q2294564, Darboux integral (concept). Also EoM Darboux_integral, MathWorld DarbouxIntegral
- wikipedia: Wikipedia Darboux integral, Darboux integral (definition). Also Wikidata Q2294564
History
- 2026-10-26: add by m2/dev
SK8319V6SC SK8319V6SC
| URI | m2://inv/SK8319V6SC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_infinite-outcomes.ptx#example-2 (example). In QKM9DD2H56, example, section 10.6
History
- 2026-11-01: add by m2/v0.6.13
PC1 cipher SK840R42E8
| URI | m2://inv/SK840R42E8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PC1 cipher, PC1 cipher (definition). Also Wikidata Q22907673
History
- 2026-11-02: add by m2/dev
SK85DJCMN2 SK85DJCMN2
| URI | m2://inv/SK85DJCMN2 |
|---|---|
| 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 0910.5574#MR2O (statement). In 2TJRBRKYAY/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
SK8AWYGVN2 SK8AWYGVN2
| URI | m2://inv/SK8AWYGVN2 |
|---|---|
| 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 1007.4365#YGZT (statement). In 935WKCMD8C/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Class of groups SK8S23GRR0
| URI | m2://inv/SK8S23GRR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class of groups, Class of groups (definition). Also Wikidata Q25304305
History
- 2026-11-02: add by m2/dev
Definition SK8ZNNF3XF
| URI | m2://inv/SK8ZNNF3XF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazhdan–Lusztig polynomial#I8KK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalization SK914A1C31
| URI | m2://inv/SK914A1C31 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thabit number#GE1M, Generalization (statement)
History
- 2026-11-02: add by m2/dev
SK9483KRGH SK9483KRGH
| URI | m2://inv/SK9483KRGH |
|---|---|
| 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.37897#JIFZ (statement). In RBQ5FNCVNZ/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Four.lean\#L331}{\Verb|quality\_ramaekersTuples\_four\_ge| SK9A87K55H
| URI | m2://inv/SK9A87K55H |
|---|---|
| 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.16323#SYQY, \href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Four.lean\#L331}{\Verb|quality\_ramaekersTuples\_four\_ge| (statement). In E215DFNY09/e1, theorem Theorem
History
- 2026-10-28: add by m2/v0.4.2
SK9DTWWJ2V SK9DTWWJ2V
| URI | m2://inv/SK9DTWWJ2V |
|---|---|
| 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.30203#6EJ2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
finitary arithmetic SK9Q4DVPXM
| URI | m2://inv/SK9Q4DVPXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#O8G5, finitary arithmetic (definition)
History
- 2026-11-02: add by m2/dev
Structural stability of stroboscopic locking SKA2A8DN2N
| URI | m2://inv/SKA2A8DN2N |
|---|---|
| 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.15686#42VP, Structural stability of stroboscopic locking (statement). In 4HCK722M2G/e1, theorem 6.9
History
- 2026-10-28: add by m2/v0.4.2
SKA2KBW0PC SKA2KBW0PC
| URI | m2://inv/SKA2KBW0PC |
|---|---|
| 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.22560#94RS (statement)
History
- 2026-11-02: add by m2/v0.6.17
SKA6Z65164 SKA6Z65164
| URI | m2://inv/SKA6Z65164 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.07285#335W (statement). In S284XRA4WK/e1, proposition D.5
History
- 2026-10-29: add by m2/v0.4.10
SKA7A90CT1 SKA7A90CT1
| URI | m2://inv/SKA7A90CT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25435#YP7T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wine SKAD6H7GY1
| URI | m2://inv/SKAD6H7GY1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of interactive geometry software#CABN, Wine (unknown)
History
- 2026-11-02: add by m2/dev
Ch SKAFY46EZX
| URI | m2://inv/SKAFY46EZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#F2ZB, Ch (unknown)
History
- 2026-11-02: add by m2/dev
SKAK22Q7T2 SKAK22Q7T2
| URI | m2://inv/SKAK22Q7T2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#364K (statement). In 6KR7Z5ETRY/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.3.5
optimal design SKANBXD5C7
| URI | m2://inv/SKANBXD5C7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#L3EU, optimal design (definition)
History
- 2026-11-02: add by m2/dev
SKANVVGSAH SKANVVGSAH
| URI | m2://inv/SKANVVGSAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01828#D7YR (statement). In RQMJY73C8Q/e1, lemma IV.2
History
- 2026-10-29: add by m2/v0.4.12
SKB9YFND87 SKB9YFND87
| URI | m2://inv/SKB9YFND87 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/pell.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 17.1
History
- 2026-11-01: add by m2/v0.6.13
Mihnea Popa SKBAG51GHZ
| URI | m2://inv/SKBAG51GHZ |
|---|---|
| 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#LPBI, Mihnea Popa (topic)
History
- 2026-11-02: add by m2/dev
The boundary cases SKBC4EGKQZ
| URI | m2://inv/SKBC4EGKQZ |
|---|---|
| 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#AFLB, The boundary cases (statement). In CB35ZBBBPT/e1, theorem C
History
- 2026-10-31: add by m2/v0.5.6
SKBD5M5HAA SKBD5M5HAA
| URI | m2://inv/SKBD5M5HAA |
|---|---|
| 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.15744#SOHO (statement). In NV3PBZGBB7/e1, proposition 5.11
History
- 2026-10-28: add by m2/v0.4.2
elliptic integral SKBM5WE5K2
| URI | m2://inv/SKBM5WE5K2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Elliptic integral NXMCYGCB59 |
Mentions
- wikidata: Wikidata Q1126603, elliptic integral (unknown). Also EoM Elliptic_integral, MathWorld EllipticIntegral
- wikipedia: Wikipedia Elliptic integral, Elliptic integral (definition). Also Wikidata Q1126603
History
- 2026-10-26: add by m2/dev
Regularization of the unit normal SKBN1AHQED
| URI | m2://inv/SKBN1AHQED |
|---|---|
| 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.22513#Z4L0, Regularization of the unit normal (statement)
History
- 2026-11-02: add by m2/v0.6.17
Generalizations SKBZ3JTVB7
| URI | m2://inv/SKBZ3JTVB7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Egorov's theorem#2B98, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
SKBZ7A9HQV SKBZ7A9HQV
| URI | m2://inv/SKBZ7A9HQV |
|---|---|
| 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.23279#8CC2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Characteristic Polynomial and Spectrum of $DAD(K_{n_1,\ldots,n_m})$ SKC02A0K7K
| URI | m2://inv/SKC02A0K7K |
|---|---|
| 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#JOW2, Characteristic Polynomial and Spectrum of $DAD(K_{n_1,\ldots,n_m})$ (statement). In 38RG49M1NB/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
Geometric function theory SKC0CTKQ2E
| URI | m2://inv/SKC0CTKQ2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#87O9, Geometric function theory (definition)
History
- 2026-11-02: add by m2/dev
dual (co)algebra SKC55CPJWF
| URI | m2://inv/SKC55CPJWF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#NWKD, dual (co)algebra (definition). In 9ZSNSJRJ5N/e1, definition 17
History
- 2026-10-27: add by m2/v0.4.2
Wolfgang Pauli SKCHZ1T579
| URI | m2://inv/SKCHZ1T579 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HYN7, Wolfgang Pauli (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H2JS, Wolfgang Pauli (unknown)
History
- 2026-11-02: add by m2/dev
Applications SKCMQQYED3
| URI | m2://inv/SKCMQQYED3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exotic sphere#GEGR, Applications (example)
History
- 2026-11-02: add by m2/dev
Relational algebra SKCNDY7Z9P
| URI | m2://inv/SKCNDY7Z9P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relational algebra, Relational algebra (topic). Also Wikidata Q840540
History
- 2026-11-02: add by m2/dev
ZJ theorem SKCNYS0M4V
| URI | m2://inv/SKCNYS0M4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#UC3O, ZJ theorem (statement)
History
- 2026-11-02: add by m2/dev
Extension complexity SKCWF0PPQP
| URI | m2://inv/SKCWF0PPQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extension complexity, Extension complexity (definition). Also Wikidata Q5421948
History
- 2026-11-02: add by m2/dev
Schwarz reflection principle SKCXBX148W
| URI | m2://inv/SKCXBX148W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Schwarz reflection principle P0R6YEGNB5 |
Mentions
- wikidata: Wikidata Q4378892, Schwarz reflection principle (statement). Also MathWorld SchwarzReflectionPrinciple
- wikipedia: Wikipedia Schwarz reflection principle, Schwarz reflection principle (statement). Also Wikidata Q4378892
History
- 2026-10-26: add by m2/dev
Vera Inber SKCY2YAZRY
| URI | m2://inv/SKCY2YAZRY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#MAR8, Vera Inber (unknown)
History
- 2026-11-02: add by m2/dev
SKD2XNP3JS SKD2XNP3JS
| URI | m2://inv/SKD2XNP3JS |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12716#NXLM (unknown). In M6BCSQSM3R/e1, unknown
History
- 2026-10-28: add by m2/v0.4.2
SKD3YTTBDC SKD3YTTBDC
| URI | m2://inv/SKD3YTTBDC |
|---|---|
| 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.08261#IRWU (statement). In QD68GYRWNS/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
SKDAVQ4H55 SKDAVQ4H55
| URI | m2://inv/SKDAVQ4H55 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#WN26 (example)
History
- 2026-11-01: add by m2/v0.6.15
SKDHT4YRBB SKDHT4YRBB
| URI | m2://inv/SKDHT4YRBB |
|---|---|
| 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.33027#HYCF (statement). In E2AF84709B/e1, proposition 38
History
- 2026-10-31: add by m2/v0.5.6
SKDHV1M7QR SKDHV1M7QR
| URI | m2://inv/SKDHV1M7QR |
|---|---|
| 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#8Q6E (definition). In ZYNZ95FSFD/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.10
SKDJWZ931Z SKDJWZ931Z
| URI | m2://inv/SKDJWZ931Z |
|---|---|
| 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.12353#QY42 (definition). In 7TSXNR7TC5/e1, definition II.1
History
- 2026-10-28: add by m2/v0.4.2
SKDWYNCCDM SKDWYNCCDM
| URI | m2://inv/SKDWYNCCDM |
|---|---|
| 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.36922#OLUG (statement). In BMHWE5QTTR/e1, lemma 1.7
History
- 2026-10-30: add by m2/v0.4.12
Ellis Horowitz SKDZX7KZ3K
| URI | m2://inv/SKDZX7KZ3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#MP2R, Ellis Horowitz (unknown)
History
- 2026-11-02: add by m2/dev
Rural hospitals theorem SKE1DCF2T2
| URI | m2://inv/SKE1DCF2T2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rural hospitals theorem, Rural hospitals theorem (statement). Also Wikidata Q65119854
History
- 2026-11-02: add by m2/dev
SKE89D3Y83 SKE89D3Y83
| URI | m2://inv/SKE89D3Y83 |
|---|---|
| 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.38436#K4H5 (statement). In 702AF3E4AF/e1, theorem 3.14
History
- 2026-10-30: add by m2/v0.4.12
Laws of classical black hole mechanics SKE93VTJXJ
| URI | m2://inv/SKE93VTJXJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole thermodynamics#6CL3, Laws of classical black hole mechanics (statement)
History
- 2026-11-02: add by m2/dev
SKENYXQAZQ SKENYXQAZQ
| URI | m2://inv/SKENYXQAZQ |
|---|---|
| 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.17240#I766 (statement). In 59BZ4V9RQW/e1, fact 1.5
History
- 2026-10-28: add by m2/v0.4.2
Johannes Hendrikus Peek SKERE436GS
| URI | m2://inv/SKERE436GS |
|---|---|
| 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#PB9X, Johannes Hendrikus Peek (unknown)
History
- 2026-11-02: add by m2/dev
Properties SKEW0XFDT5
| URI | m2://inv/SKEW0XFDT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hereditary ring#6KDG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Extension of the target to the transient states SKEW61W6DW
| URI | m2://inv/SKEW61W6DW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#8ZQD, Extension of the target to the transient states (statement). In B29M4E6KGC/e1, lemma J.2
History
- 2026-10-28: add by m2/v0.4.2
PDE SKF3Y48J5C
| URI | m2://inv/SKF3Y48J5C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.8.2/pde, PDE (concept). In E9HS8K3A52, index, section 6.8.2
History
- 2026-11-01: add by m2/v0.6.13
SKF49A68MZ SKF49A68MZ
| URI | m2://inv/SKF49A68MZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25080#48YA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem (Stokes–Cartan) SKF4B7FGXJ
| URI | m2://inv/SKF4B7FGXJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Stokes theorem#SEV1, Theorem (Stokes–Cartan) (statement)
History
- 2026-11-02: add by m2/dev
Quickhull SKF5SCGRX4
| URI | m2://inv/SKF5SCGRX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quickhull, Quickhull (definition). Also Wikidata Q2123073
History
- 2026-11-02: add by m2/dev
Aubrey J. Kempner SKFDN67WN9
| URI | m2://inv/SKFDN67WN9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aubrey J. Kempner, Aubrey J. Kempner (topic). Also Wikidata Q758514
History
- 2026-11-02: add by m2/dev
Graph factorization SKFE310SWN
| URI | m2://inv/SKFE310SWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph factorization, Graph factorization (definition). Also Wikidata Q5597083
History
- 2026-11-02: add by m2/dev
Disordered regime SKFKT8AB29
| URI | m2://inv/SKFKT8AB29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20576#M6JR, Disordered regime (statement)
History
- 2026-11-02: add by m2/v0.6.18
SKFMFJSRP0 SKFMFJSRP0
| URI | m2://inv/SKFMFJSRP0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.16541#0ZTN (statement). In D0XH7W96T3/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
SKFREXH6W9 SKFREXH6W9
| URI | m2://inv/SKFREXH6W9 |
|---|---|
| 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.19088#CE12 (statement). In 90QTB4CC31/e1, theorem 3.33
History
- 2026-10-28: add by m2/v0.4.2
Example SKFTVZJ85N
| URI | m2://inv/SKFTVZJ85N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus of variations#4EHJ, Example (example)
History
- 2026-11-02: add by m2/dev
definition SKFZP1Y909
| URI | m2://inv/SKFZP1Y909 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.11/definition, definition (concept). In N54F33XE07, index, section 4.2.11
History
- 2026-11-01: add by m2/v0.6.13
Uniform boundedness estimate for interaction parameters in the finite problem SKG0M8XM5F
| URI | m2://inv/SKG0M8XM5F |
|---|---|
| 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.24185#7Q14, Uniform boundedness estimate for interaction parameters in the finite problem (statement)
History
- 2026-11-01: add by m2/v0.6.15
SKG0Q89F6N SKG0Q89F6N
| URI | m2://inv/SKG0Q89F6N |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#proof-2 (proof). In RZP28ERRZV, proof, section 91.6
History
- 2026-11-01: add by m2/v0.6.13
Generalized Dirichlet distribution SKG3XJXXVT
| URI | m2://inv/SKG3XJXXVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Dirichlet distribution, Generalized Dirichlet distribution (definition). Also Wikidata Q5532435
History
- 2026-11-02: add by m2/dev
Variety structure at $L = 11$ SKG79XDFT5
| URI | m2://inv/SKG79XDFT5 |
|---|---|
| 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.25543#SMTB, Variety structure at $L = 11$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Section conjecture SKG7PJ26TM
| URI | m2://inv/SKG7PJ26TM |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#F6BP, Section conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Pieter Hendrik Schoute SKGAVV2M05
| URI | m2://inv/SKGAVV2M05 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#7XF2, Pieter Hendrik Schoute (topic)
History
- 2026-11-02: add by m2/dev
Perturbation theory SKGGNCWKBG
| URI | m2://inv/SKGGNCWKBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#9PDH, Perturbation theory (definition)
History
- 2026-11-02: add by m2/dev
SKGQJ6E2C1 SKGQJ6E2C1
| URI | m2://inv/SKGQJ6E2C1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-39 (exercise). In E59CDZA4DP, exercise, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
Shor's algorithm SKGS1VMM8P
| URI | m2://inv/SKGS1VMM8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#DFLU, Shor's algorithm (definition)
History
- 2026-11-02: add by m2/dev
Ekman transport SKGTDA24N8
| URI | m2://inv/SKGTDA24N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ekman transport, Ekman transport (definition). Also Wikidata Q1323309
History
- 2026-11-02: add by m2/dev
Hash function SKGZGZGG33
| URI | m2://inv/SKGZGZGG33 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#XQDR, Hash function (unknown)
History
- 2026-11-02: add by m2/dev
SKH9VKVMZT SKH9VKVMZT
| URI | m2://inv/SKH9VKVMZT |
|---|---|
| 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 2609.36509#JDTD (statement). In DPJ15KW23C/e1, corollary 4.5
History
- 2026-10-30: add by m2/v0.4.12
SKHJMQDPS2 SKHJMQDPS2
| URI | m2://inv/SKHJMQDPS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.34193#YYXC (statement). In 9XMZTTSF5E/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
SKHKBB7V3M SKHKBB7V3M
| URI | m2://inv/SKHKBB7V3M |
|---|---|
| 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 1001.3429#JHMD (statement). In 6S4BVGS1VP/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Stochastics: An International Journal of Probability and Stochastic Processes SKHN8GKKZ9
| URI | m2://inv/SKHN8GKKZ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#7PMK, Stochastics: An International Journal of Probability and Stochastic Processes (unknown)
History
- 2026-11-02: add by m2/dev
Normal surface SKHS2JCBDB
| URI | m2://inv/SKHS2JCBDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal surface, Normal surface (definition). Also Wikidata Q3977889
History
- 2026-11-02: add by m2/dev
individual SKHTMRNHSD
| URI | m2://inv/SKHTMRNHSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#WIH1, individual (definition)
History
- 2026-11-02: add by m2/dev
Canonical quotient SKHWM5QYTB
| URI | m2://inv/SKHWM5QYTB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#AKKN, Canonical quotient (definition). In H7DMRWBBJN/e1, definition 8.4
History
- 2026-10-28: add by m2/v0.4.2
SKJ3M81X7M SKJ3M81X7M
| URI | m2://inv/SKJ3M81X7M |
|---|---|
| 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.38844#LNH5 (statement). In PX8D91DQCX/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
SKJFV6M47E SKJFV6M47E
| URI | m2://inv/SKJFV6M47E |
|---|---|
| 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.23684#GL8H (statement)
History
- 2026-11-02: add by m2/v0.6.17
SKK47S0X27 SKK47S0X27
| URI | m2://inv/SKK47S0X27 |
|---|---|
| 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.10576#1ZUF (statement). In N3ZA5MDZBW/e1, corollary 6
History
- 2026-10-29: add by m2/v0.4.10
galaxy SKK7DSAF5C
| URI | m2://inv/SKK7DSAF5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q318, galaxy (definition). Also ProofWiki Definition:Galaxy
History
- 2026-10-26: add by m2/dev
SKK9D78Z3M SKK9D78Z3M
| URI | m2://inv/SKK9D78Z3M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38556#5MVA (definition). In GC2H0HS7ZM/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
SKKCFMYQ6N SKKCFMYQ6N
| URI | m2://inv/SKKCFMYQ6N |
|---|---|
| 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#AIP0 (statement). In 8BNPFYQDQX/e1, lemma 13.2
History
- 2026-10-29: add by m2/v0.4.10
JMP SKKNPTF980
| URI | m2://inv/SKKNPTF980 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia JMP (statistical software), JMP (definition). Also Wikidata Q1161680
History
- 2026-11-02: add by m2/dev
SKKSN7TX2J SKKSN7TX2J
| URI | m2://inv/SKKSN7TX2J |
|---|---|
| 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.19360#6GCR (statement). In MFCW5CY96C/e1, lemma 17
History
- 2026-10-28: add by m2/v0.4.2
Computations SKM137G77D
| URI | m2://inv/SKM137G77D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of linear algebra#OQ9A, Computations (definition)
History
- 2026-11-02: add by m2/dev
Weil conjectures SKM1KG59NV
| URI | m2://inv/SKM1KG59NV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Weil conjectures 81TXP32VDM |
Mentions
- wikidata: Wikidata Q1479613, Weil conjectures (statement). Also MathWorld WeilConjectures, nLab Weil conjectures
- wikipedia: Wikipedia Weil conjectures, Weil conjectures (statement). Also Wikidata Q1479613
History
- 2026-10-26: add by m2/dev
SKM8XM38H9 SKM8XM38H9
| URI | m2://inv/SKM8XM38H9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-99 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Charles Jean de la Vallée Poussin SKMFRBQK12
| URI | m2://inv/SKMFRBQK12 |
|---|---|
| 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#RRTS, Charles Jean de la Vallée Poussin (topic)
History
- 2026-11-02: add by m2/dev
The real cone SKMG94QHM2
| URI | m2://inv/SKMG94QHM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#E5NL, The real cone (statement). In YCRZC9SDCE/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
SKMNA3B7WF SKMNA3B7WF
| URI | m2://inv/SKMNA3B7WF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#7W5Z (definition). In F3BKXXPR3K/e1, definition 3.63
History
- 2026-10-27: add by m2/v0.4.2
KeeLoq SKMNXYK16F
| URI | m2://inv/SKMNXYK16F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KeeLoq, KeeLoq (definition). Also Wikidata Q1737729
History
- 2026-11-02: add by m2/dev
Caccioppoli set SKMY41VJ3V
| URI | m2://inv/SKMY41VJ3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caccioppoli set, Caccioppoli set (definition). Also Wikidata Q17004137
History
- 2026-11-02: add by m2/dev
Definitions SKN1MYQQ1Z
| URI | m2://inv/SKN1MYQQ1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions#V3Y8, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Pascal Hitzler SKN4FDPASP
| URI | m2://inv/SKN4FDPASP |
|---|---|
| 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 Q30103406, Pascal Hitzler (unknown). Also nLab Pascal Hitzler
History
- 2026-10-26: add by m2/dev
Construction SKN9CSBZF2
| URI | m2://inv/SKN9CSBZF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harris graph#VOIK, Construction (definition)
History
- 2026-11-02: add by m2/dev
The corank of $\hat J_0$ SKN9F2RPQG
| URI | m2://inv/SKN9F2RPQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#MF03, The corank of $\hat J_0$ (statement). In 11JNM66Z09/e1, theorem 17.1
History
- 2026-10-28: add by m2/v0.4.2
Additive quiet-child stability SKN9JC7007
| URI | m2://inv/SKN9JC7007 |
|---|---|
| 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.09510#YTZS, Additive quiet-child stability (statement). In JR1HE83H93/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Examples SKNAMPHGP6
| URI | m2://inv/SKNAMPHGP6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-graph#B1C2, Examples (example)
History
- 2026-11-02: add by m2/dev
Charles Robert Hadlock SKNN1VBZ5Y
| URI | m2://inv/SKNN1VBZ5Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Robert Hadlock, Charles Robert Hadlock (topic). Also Wikidata Q102146372
History
- 2026-11-02: add by m2/dev
Vogel plane SKNY596NX2
| URI | m2://inv/SKNY596NX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vogel plane, Vogel plane (definition). Also Wikidata Q7939378
History
- 2026-11-02: add by m2/dev
Weil–Châtelet group SKP0DZEXPE
| URI | m2://inv/SKP0DZEXPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil–Châtelet group, Weil–Châtelet group (definition). Also Wikidata Q7980204
History
- 2026-11-02: add by m2/dev
SKPBN6V4ET SKPBN6V4ET
| URI | m2://inv/SKPBN6V4ET |
|---|---|
| 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.05602#GKGZ (statement). In W88890HB4Z/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Ying Guo SKPBQ460Y6
| URI | m2://inv/SKPBQ460Y6 |
|---|---|
| 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#Q3AZ, Ying Guo (unknown)
History
- 2026-11-02: add by m2/dev
Quartile SKPM7B3TY3
| URI | m2://inv/SKPM7B3TY3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6Z3U, Quartile (definition)
History
- 2026-11-02: add by m2/dev
Commuting homotopy limits and colimits SKPNBGEG06
| URI | m2://inv/SKPNBGEG06 |
|---|---|
| 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.21534#RX6E, Commuting homotopy limits and colimits (statement)
History
- 2026-11-02: add by m2/v0.6.18
Unit Necklace Theorem SKPP5KH9FG
| URI | m2://inv/SKPP5KH9FG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.30637#HF76, Unit Necklace Theorem (statement). In 6G1KBA0SXV/e1, theorem 2.13
History
- 2026-10-31: add by m2/v0.5.6
Encode-decode for Loop Spaces SKPSQNSXAC
| URI | m2://inv/SKPSQNSXAC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#lem:encode-decode-loop, Encode-decode for Loop Spaces (statement). In N54F33XE07, lem, section 7.9
History
- 2026-11-01: add by m2/v0.6.13
Toponogov's theorem SKPT7YMPTK
| URI | m2://inv/SKPT7YMPTK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#A5EV, Toponogov's theorem (statement)
History
- 2026-11-02: add by m2/dev
SKQ1KBQDYZ SKQ1KBQDYZ
| URI | m2://inv/SKQ1KBQDYZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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 1001.0174#Z49Z (statement). In 4P97F3GPJC/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Coefficient Norm SKQG64MA88
| URI | m2://inv/SKQG64MA88 |
|---|---|
| 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.13222#7D12, Coefficient Norm (statement). In Z6WA2R0J50/e1, lemma D.4
History
- 2026-10-28: add by m2/v0.4.2
List of permutation topics SKQJJ8R8JE
| URI | m2://inv/SKQJJ8R8JE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#A3UJ, List of permutation topics (topic)
History
- 2026-11-02: add by m2/dev
Formal definition SKQK18QJGC
| URI | m2://inv/SKQK18QJGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk score#0DAO, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
N. N. Bogolyubov SKQNMEECR6
| URI | m2://inv/SKQNMEECR6 |
|---|---|
| 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#5H44, N. N. Bogolyubov (unknown)
History
- 2026-11-02: add by m2/dev
Bayesian model reduction SKQPGF7HEA
| URI | m2://inv/SKQPGF7HEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian model reduction, Bayesian model reduction (definition). Also Wikidata Q55605061
History
- 2026-11-02: add by m2/dev
SKQQCSY34V SKQQCSY34V
| URI | m2://inv/SKQQCSY34V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25167#CUNM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples SKQQHTZEQV
| URI | m2://inv/SKQQHTZEQV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biproduct#RB12, Examples (example)
History
- 2026-11-02: add by m2/dev
SKQS0BGG94 SKQS0BGG94
| URI | m2://inv/SKQS0BGG94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16081#VEWX (statement). In RS6WWZKMT6/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
SKR0QXYCQ5 SKR0QXYCQ5
| URI | m2://inv/SKR0QXYCQ5 |
|---|---|
| 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.26521#LR1W (statement)
History
- 2026-11-01: add by m2/v0.6.15
fiber-homotopy equivalence SKR8R9BKV7
| URI | m2://inv/SKR8R9BKV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#EZRJ, fiber-homotopy equivalence (definition)
History
- 2026-11-02: add by m2/dev
Definition SKRD04Z1EW
| URI | m2://inv/SKRD04Z1EW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apollonian circles#4EVE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bicubic interpolation SKRM0SWBPB
| URI | m2://inv/SKRM0SWBPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicubic interpolation, Bicubic interpolation (definition). Also Wikidata Q611705
History
- 2026-11-02: add by m2/dev
Axioms SKRM3GXNGE
| URI | m2://inv/SKRM3GXNGE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical proof#JEV0, Axioms (statement)
History
- 2026-11-02: add by m2/dev
SKRM6ZKHZK SKRM6ZKHZK
| URI | m2://inv/SKRM6ZKHZK |
|---|---|
| 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.12295#9L4P (statement). In 6DZPR52HRP/e1, lemma 4.34
History
- 2026-10-28: add by m2/v0.4.2
Formal definition SKRVX2ADHD
| URI | m2://inv/SKRVX2ADHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biholomorphism#CQ4G, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
SKRZS24MMG SKRZS24MMG
| URI | m2://inv/SKRZS24MMG |
|---|---|
| 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.24206#Z8UP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Radian SKS0S6ECKZ
| URI | m2://inv/SKS0S6ECKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#FGWY, Radian (definition)
History
- 2026-11-02: add by m2/dev
Ken Ono SKSMEPMD27
| URI | m2://inv/SKSMEPMD27 |
|---|---|
| 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 Q1738659, Ken Ono (unknown). Also nLab Ken Ono
History
- 2026-10-26: add by m2/dev
Luigi Poletti SKSN7KK4EA
| URI | m2://inv/SKSN7KK4EA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#3NIV, Luigi Poletti (topic)
- wikipedia: Wikipedia List of Italian mathematicians#ICZC, Luigi Poletti (topic)
History
- 2026-11-02: add by m2/dev
Implementations SKSNMQJNWZ
| URI | m2://inv/SKSNMQJNWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring learning with errors key exchange#IF52, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Calkin correspondence SKSS5T280Y
| URI | m2://inv/SKSS5T280Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calkin correspondence, Calkin correspondence (definition). Also Wikidata Q17005991
History
- 2026-11-02: add by m2/dev
Nita Ing SKSY5TN1C1
| URI | m2://inv/SKSY5TN1C1 |
|---|---|
| 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#3Q1G, Nita Ing (unknown)
History
- 2026-11-02: add by m2/dev
SKSY7SJN5Y SKSY7SJN5Y
| URI | m2://inv/SKSY7SJN5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.20718#AXAW (statement)
History
- 2026-11-02: add by m2/v0.6.18
SKSYPG5PVN SKSYPG5PVN
| URI | m2://inv/SKSYPG5PVN |
|---|---|
| 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.12014#PIPV (statement). In DR7BK4CQ0V/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.3
Closed-orbit pairing criterion SKT3GVZYZA
| URI | m2://inv/SKT3GVZYZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05364#XSI2, Closed-orbit pairing criterion (statement). In TPYRE2ARMD/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
5-cube honeycomb SKT4JQDC4Q
| URI | m2://inv/SKT4JQDC4Q |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#2WF2, 5-cube honeycomb (object)
History
- 2026-11-02: add by m2/dev
Scattering matrix from the finite core SKT5RVRBQ9
| URI | m2://inv/SKT5RVRBQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.25925#GJAE, Scattering matrix from the finite core (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Dehn–Nielsen–Baer theorem SKT8BFHCZA
| URI | m2://inv/SKT8BFHCZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mapping class group of a surface#ZLYJ, The Dehn–Nielsen–Baer theorem (statement)
History
- 2026-11-02: add by m2/dev
Orbital plane of reference SKTFN23TAN
| URI | m2://inv/SKTFN23TAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital plane of reference, Orbital plane of reference (definition). Also Wikidata Q1364182
History
- 2026-11-02: add by m2/dev
SKTNRS1ZSJ SKTNRS1ZSJ
| URI | m2://inv/SKTNRS1ZSJ |
|---|---|
| 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#U50E (definition). In BF0RYHPMS1/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
SKTXJF74JX SKTXJF74JX
| URI | m2://inv/SKTXJF74JX |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
Francesco Siacci SKV4FH1EHX
| URI | m2://inv/SKV4FH1EHX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#P6Z6, Francesco Siacci (topic)
History
- 2026-11-02: add by m2/dev
SKV4WRBFED SKV4WRBFED
| URI | m2://inv/SKV4WRBFED |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-1.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
SKV5ARBSVC SKV5ARBSVC
| URI | m2://inv/SKV5ARBSVC |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24154#T837 (problem)
History
- 2026-11-02: add by m2/v0.6.17
SKVDSM7XSH SKVDSM7XSH
| URI | m2://inv/SKVDSM7XSH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-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.11545#KLR2 (example). In VN084GGZGK/e1, example 5.12
History
- 2026-10-28: add by m2/v0.4.3
Hoffman graph SKVFNB6KPJ
| URI | m2://inv/SKVFNB6KPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115507, Hoffman graph (unknown). Also House of Graphs 1167, MathWorld HoffmanGraph
- wikipedia: Wikipedia Hoffman graph, Hoffman graph (definition). Also Wikidata Q3115507
History
- 2026-10-26: add by m2/dev
Examples SKVY8C4Q8T
| URI | m2://inv/SKVY8C4Q8T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutator subspace#B9JF, Examples (example)
History
- 2026-11-02: add by m2/dev
SKVZ69GM6E SKVZ69GM6E
| URI | m2://inv/SKVZ69GM6E |
|---|---|
| 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.21535#Z0JC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Primitive simulation and conditional variance SKW0YJKCW6
| URI | m2://inv/SKW0YJKCW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01843#LS29, Primitive simulation and conditional variance (statement). In EDG9ZFDSWK/e1, lemma B.17
History
- 2026-10-29: add by m2/v0.4.12
corecursion SKW5PGAZSS
| URI | m2://inv/SKW5PGAZSS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2524691, corecursion (unknown). Also nLab corecursion
History
- 2026-10-26: add by m2/dev
Subbaramiah Minakshisundaram SKWNW86WCB
| URI | m2://inv/SKWNW86WCB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#GN4M, Subbaramiah Minakshisundaram (topic)
History
- 2026-11-02: add by m2/dev
Cox, Gertrude Mary SKWRVKR01C
| URI | m2://inv/SKWRVKR01C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BSRR, Cox, Gertrude Mary (topic)
History
- 2026-11-02: add by m2/dev
Properties SKX1RZFY74
| URI | m2://inv/SKX1RZFY74 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudolikelihood#YYSB, Properties (statement)
History
- 2026-11-02: add by m2/dev
SKX3DH7V8R SKX3DH7V8R
| URI | m2://inv/SKX3DH7V8R |
|---|---|
| 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.10086#3OL3 (statement). In NP9X9CAK19/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
Q-order of convergence for scalar iterative schemes SKX3N2FSC0
| URI | m2://inv/SKX3N2FSC0 |
|---|---|
| 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.07064#P1MM, Q-order of convergence for scalar iterative schemes (definition). In GPK6W5XQM3/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Exact and approximate deletion SKX52T07BZ
| URI | m2://inv/SKX52T07BZ |
|---|---|
| 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.28160#4FTG, Exact and approximate deletion (statement)
History
- 2026-11-01: add by m2/v0.6.15
SKX6G24HW4 SKX6G24HW4
| URI | m2://inv/SKX6G24HW4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#XX8N (definition). In V5PVKDKGGG/e1, definition 5.11
History
- 2026-10-28: add by m2/v0.4.2
Local outlier factor SKXCVTY0QP
| URI | m2://inv/SKXCVTY0QP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local outlier factor, Local outlier factor (definition). Also Wikidata Q387942
History
- 2026-11-02: add by m2/dev
Ajtai, Komlós, Szemerédi ; Bollob\'{a}s, Kohayakawa, \L uczak SKXEX3TVNR
| URI | m2://inv/SKXEX3TVNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#KAM6, Ajtai, Komlós, Szemerédi ; Bollob\'{a}s, Kohayakawa, \L uczak (statement)
History
- 2026-11-01: add by m2/v0.6.15
SKXP5XRN8C SKXP5XRN8C
| URI | m2://inv/SKXP5XRN8C |
|---|---|
| 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.30895#W7ZI (statement). In B8D26BYA7T/e1, theorem 14
History
- 2026-10-31: add by m2/v0.5.6
SKXYMZ6T83 SKXYMZ6T83
| URI | m2://inv/SKXYMZ6T83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#DP7H (statement). In N5ZM8MXJXH/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.10
Louis Shapiro SKY0HWQR95
| URI | m2://inv/SKY0HWQR95 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Shapiro (mathematician), Louis Shapiro (topic). Also Wikidata Q98397254
History
- 2026-11-02: add by m2/dev
Examples SKY26KMZ4C
| URI | m2://inv/SKY26KMZ4C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greedy reductionism#FH83, Examples (example)
History
- 2026-11-02: add by m2/dev
SKYEM6D2Y7 SKYEM6D2Y7
| URI | m2://inv/SKYEM6D2Y7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#example-4 (example). In RZP28ERRZV, example, section 58.4
History
- 2026-11-01: add by m2/v0.6.13
Philippe Michel SKYFQQEX63
| URI | m2://inv/SKYFQQEX63 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philippe Michel (number theorist), Philippe Michel (topic). Also Wikidata Q19664535
History
- 2026-11-02: add by m2/dev
Legendre wavelet SKYYD3JHSS
| URI | m2://inv/SKYYD3JHSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#18CE, Legendre wavelet (definition)
History
- 2026-11-02: add by m2/dev
eigenstate SKZAMWVBZB
| URI | m2://inv/SKZAMWVBZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#ADAW, eigenstate (definition)
History
- 2026-11-02: add by m2/dev
SKZV70W1T3 SKZV70W1T3
| URI | m2://inv/SKZV70W1T3 |
|---|---|
| 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.19249#XHN7 (statement). In 2X586J6KQ1/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2