Inventory rows SM
The cards of the rows of the inventory whose ids start with SM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Summation formulas SM051HTT82
| URI | m2://inv/SM051HTT82 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilateral hypergeometric series#JRKR, Summation formulas (statement)
History
- 2026-11-02: add by m2/dev
skew coordinate system SM093HY1A7
| URI | m2://inv/SM093HY1A7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7534797, skew coordinate system (unknown). Also MathWorld SkewCoordinateSystem
- wikipedia: Wikipedia Skew coordinates, Skew coordinates (definition). Also Wikidata Q7534797
History
- 2026-10-26: add by m2/dev
Definition SM0NT6KHXP
| URI | m2://inv/SM0NT6KHXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum entanglement#R4NM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Harold Davenport SM0QEES4E5
| URI | m2://inv/SM0QEES4E5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold Davenport, Harold Davenport (topic). Also Wikidata Q1385023
History
- 2026-11-02: add by m2/dev
Jun O'Hara SM11VTKECR
| URI | m2://inv/SM11VTKECR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jun O'Hara, Jun O'Hara (topic). Also Wikidata Q20763534
History
- 2026-11-02: add by m2/dev
SM1A5YP7SY SM1A5YP7SY
| URI | m2://inv/SM1A5YP7SY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 30.2
History
- 2026-11-01: add by m2/v0.6.13
Gregory Eskin SM1APPQCBS
| URI | m2://inv/SM1APPQCBS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gregory Eskin, Gregory Eskin (topic). Also Wikidata Q18786219
History
- 2026-11-02: add by m2/dev
SM1NQR9R9Z SM1NQR9R9Z
| URI | m2://inv/SM1NQR9R9Z |
|---|---|
| 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 2312.05005#HG0U (statement). In SMJMAQ2S3J/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.0
Noncentral t-distribution SM1WYYMK8M
| URI | m2://inv/SM1WYYMK8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncentral t-distribution, Noncentral t-distribution (definition). Also Wikidata Q6960434
History
- 2026-11-02: add by m2/dev
Direct limit of groups SM1YWVMW6M
| URI | m2://inv/SM1YWVMW6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct limit of groups, Direct limit of groups (definition). Also Wikidata Q5280352
History
- 2026-11-02: add by m2/dev
SM2492PJ8E SM2492PJ8E
| URI | m2://inv/SM2492PJ8E |
|---|---|
| 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#9QJC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Baire measure SM249W3CP4
| URI | m2://inv/SM249W3CP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baire measure, Baire measure (definition). Also Wikidata Q2577940
History
- 2026-11-02: add by m2/dev
SM27FKSQGJ SM27FKSQGJ
| URI | m2://inv/SM27FKSQGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 0709.4546#2A53 (statement). In 7H5Q5M7W96/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.3.5
SM2DXX4EMH SM2DXX4EMH
| URI | m2://inv/SM2DXX4EMH |
|---|---|
| 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.09989#WPCA (statement). In 4KZA07H3GE/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
SM2FQT013P SM2FQT013P
| URI | m2://inv/SM2FQT013P |
|---|---|
| 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.24902#QXMP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Projective space and projective subspace SM35STH66C
| URI | m2://inv/SM35STH66C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32834#8BVS, Projective space and projective subspace (definition). In N4M6B8EMCW/e1, definition 4.10
History
- 2026-10-31: add by m2/v0.5.6
SM3DXCH47A SM3DXCH47A
| URI | m2://inv/SM3DXCH47A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14068#9W8C (statement). In JF19FEH3SW/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
SM3JN0PTEK SM3JN0PTEK
| URI | m2://inv/SM3JN0PTEK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_bin-coeff.ptx#example-5 (example). In QKM9DD2H56, example, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Full snub 16-cell SM3PZ5NZVR
| URI | m2://inv/SM3PZ5NZVR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated tesseracts#FGNI, Full snub 16-cell (unknown)
History
- 2026-11-02: add by m2/dev
Missing completely at random SM3SAQ6SDG
| URI | m2://inv/SM3SAQ6SDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Missing data#2LNN, Missing completely at random (unknown)
History
- 2026-11-02: add by m2/dev
Chaim Herman Müntz SM3W5WEZGN
| URI | m2://inv/SM3W5WEZGN |
|---|---|
| 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#FLXQ, Chaim Herman Müntz (topic)
History
- 2026-11-02: add by m2/dev
SM3Y7NPTK4 SM3Y7NPTK4
| URI | m2://inv/SM3Y7NPTK4 |
|---|---|
| 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.30664#768M (statement). In ZZGDNKDVJW/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
Beta negative binomial distribution SM43GVQSPX
| URI | m2://inv/SM43GVQSPX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#QBI3, Beta negative binomial distribution (definition)
History
- 2026-11-02: add by m2/dev
Spectral weak-to-strong Maxwell stability SM43J0899Y
| URI | m2://inv/SM43J0899Y |
|---|---|
| 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.24962#M7O2, Spectral weak-to-strong Maxwell stability (statement)
History
- 2026-11-01: add by m2/v0.6.15
The axioms SM44B532TN
| URI | m2://inv/SM44B532TN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's axioms#T4S0, The axioms (statement)
History
- 2026-11-02: add by m2/dev
SM46B5EMW7 SM46B5EMW7
| URI | m2://inv/SM46B5EMW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00914#EYLI (statement). In TQ9CKHBTWN/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Friedrich Heinrich Albert Wangerin SM4963C5MK
| URI | m2://inv/SM4963C5MK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#VFKT, Friedrich Heinrich Albert Wangerin (unknown)
History
- 2026-11-02: add by m2/dev
Properties SM4A284S0T
| URI | m2://inv/SM4A284S0T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic hash function#UN1U, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties SM4C9H2BFN
| URI | m2://inv/SM4C9H2BFN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted diagonal (simplicial sets)#OBFY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Cayley–Menger determinant SM4H5FZQVT
| URI | m2://inv/SM4H5FZQVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cayley–Menger determinant KGC5CYDF53 |
Mentions
- wikidata: Wikidata Q60790093, Cayley–Menger determinant (unknown). Also MathWorld Cayley-MengerDeterminant
- wikipedia: Wikipedia Cayley–Menger determinant, Cayley–Menger determinant (definition). Also Wikidata Q60790093
History
- 2026-10-26: add by m2/dev
SM4J2H64ZV SM4J2H64ZV
| URI | m2://inv/SM4J2H64ZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.18239#J8MX (statement). In C60WZ6WQSY/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Vladimir Kotelnikov SM4JR0R4YW
| URI | m2://inv/SM4JR0R4YW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#D6RV, Vladimir Kotelnikov (unknown)
History
- 2026-11-02: add by m2/dev
SM4MBCHH31 SM4MBCHH31
| URI | m2://inv/SM4MBCHH31 |
|---|---|
| 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.23605#KCRJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
SM4N5N7ZDP SM4N5N7ZDP
| URI | m2://inv/SM4N5N7ZDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13142#K56O (statement). In KYW4YMVQAB/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
Skew-symmetric graph SM4YN6J66B
| URI | m2://inv/SM4YN6J66B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew-symmetric graph, Skew-symmetric graph (definition). Also Wikidata Q7534781
History
- 2026-11-02: add by m2/dev
SM5114N9VX SM5114N9VX
| URI | m2://inv/SM5114N9VX |
|---|---|
| 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 2604.05177#5PWU (statement). In G04BKQV6YM/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Defect formula for the constructed neighborhoods SM52KVK2E6
| URI | m2://inv/SM52KVK2E6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#K5BQ, Defect formula for the constructed neighborhoods (statement). In TBFPBPQV3G/e1, theorem 4.11
History
- 2026-10-27: add by m2/v0.4.2
Characterizations SM564QPTTE
| URI | m2://inv/SM564QPTTE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ex-tangential quadrilateral#ME8N, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
SM59ZXT861 SM59ZXT861
| URI | m2://inv/SM59ZXT861 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#QGA6 (statement). In E7BPGPP9Z5/e1, theorem 7.3
History
- 2026-10-29: add by m2/v0.4.10
Notation SM5AD54NRR
| URI | m2://inv/SM5AD54NRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre polynomials#MFF5, Notation (definition)
History
- 2026-11-02: add by m2/dev
Donal O'Shea SM5E58AK40
| URI | m2://inv/SM5E58AK40 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donal O'Shea, Donal O'Shea (topic). Also Wikidata Q3713614
History
- 2026-11-02: add by m2/dev
Dihua Jiang SM5EF8C6X2
| URI | m2://inv/SM5EF8C6X2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dihua Jiang, Dihua Jiang (topic). Also Wikidata Q86663933
History
- 2026-11-02: add by m2/dev
Variations SM5KGHZ5J1
| URI | m2://inv/SM5KGHZ5J1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived functor#A9ZE, Variations (statement)
History
- 2026-11-02: add by m2/dev
Center, Cartan matrix, and representation type SM5KKSR811
| URI | m2://inv/SM5KKSR811 |
|---|---|
| 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.39262#8WYU, Center, Cartan matrix, and representation type (statement). In XA2NE2Z06S/e1, corollary 6.3
History
- 2026-10-30: add by m2/v0.4.12
Institut de Mathématiques de Toulouse SM5N94NDAR
| URI | m2://inv/SM5N94NDAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institut de Mathématiques de Toulouse, Institut de Mathématiques de Toulouse (definition). Also Wikidata Q277888
History
- 2026-11-02: add by m2/dev
Definition SM5T5HVWBH
| URI | m2://inv/SM5T5HVWBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exchangeable random variables#ZKEO, Definition (definition)
History
- 2026-11-02: add by m2/dev
SM5T9MC82B SM5T9MC82B
| URI | m2://inv/SM5T9MC82B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30315#ZLQ8 (definition). In FXTCVHYW5S/e1, definition 3.3
History
- 2026-10-31: add by m2/v0.5.6
Power diagram SM5XRR0QZK
| URI | m2://inv/SM5XRR0QZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power diagram, Power diagram (definition). Also Wikidata Q13410436
History
- 2026-11-02: add by m2/dev
unknots SM5Z78MBY9
| URI | m2://inv/SM5Z78MBY9 |
|---|---|
| Kind | example |
| 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.18803#PILN, unknots (example). In VG8AF124T3/e1, example 5.4
History
- 2026-10-28: add by m2/v0.4.2
Reification SM60HXSVNM
| URI | m2://inv/SM60HXSVNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reification (statistics), Reification (definition). Also Wikidata Q7310070
History
- 2026-11-02: add by m2/dev
cyclic number SM619ZBTEF
| URI | m2://inv/SM619ZBTEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5198222, cyclic number (object). Also OEIS A003277
- wikipedia: Wikipedia Cyclic number (group theory), Cyclic number (definition). Also Wikidata Q5198222
History
- 2026-10-26: add by m2/dev
Missing at random SM66WR42PZ
| URI | m2://inv/SM66WR42PZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Missing data#C9V6, Missing at random (unknown)
History
- 2026-11-02: add by m2/dev
SM68MH6BFP SM68MH6BFP
| URI | m2://inv/SM68MH6BFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.01694#E1I3 (statement). In EBMHYN0XK9/e1, proposition 2.7
History
- 2026-10-29: add by m2/v0.4.12
Buckley–Leverett equation SM6BKWWKXR
| URI | m2://inv/SM6BKWWKXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buckley–Leverett equation, Buckley–Leverett equation (definition). Also Wikidata Q4983377
History
- 2026-11-02: add by m2/dev
SM6EDBZAXP SM6EDBZAXP
| URI | m2://inv/SM6EDBZAXP |
|---|---|
| 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 2512.11346#3S7W (statement). In ZW58VE9XE3/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
SM6N0EXRB1 SM6N0EXRB1
| URI | m2://inv/SM6N0EXRB1 |
|---|---|
| Kind | definition |
| 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#UJ54 (definition)
History
- 2026-11-01: add by m2/v0.6.15
SM6P95JVBA SM6P95JVBA
| URI | m2://inv/SM6P95JVBA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-85 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
SM6RF5SJM4 SM6RF5SJM4
| URI | m2://inv/SM6RF5SJM4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08334#GRPX (definition). In FQ3DS8B3H1/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.10
Rescaled range SM6THMZ1V5
| URI | m2://inv/SM6THMZ1V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rescaled range, Rescaled range (definition). Also Wikidata Q7314942
History
- 2026-11-02: add by m2/dev
SM6VD01EQS SM6VD01EQS
| URI | m2://inv/SM6VD01EQS |
|---|---|
| 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.07530#DB7N (statement). In C7QZ0VPBC8/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
SM7082D0TA SM7082D0TA
| URI | m2://inv/SM7082D0TA |
|---|---|
| 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.15504#IOJM (statement). In AZ8SEW6HAV/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
SM715ZF59C SM715ZF59C
| URI | m2://inv/SM715ZF59C |
|---|---|
| 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.21507#UECT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Ramsey theory SM7865447R
| URI | m2://inv/SM7865447R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#2OU4, Ramsey theory (definition)
History
- 2026-11-02: add by m2/dev
Example SM7B3VFVEA
| URI | m2://inv/SM7B3VFVEA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milne-Thomson circle theorem#YQ94, Example (example)
History
- 2026-11-02: add by m2/dev
Application to the area expansion SM7HDET82H
| URI | m2://inv/SM7HDET82H |
|---|---|
| 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.02531#M99E, Application to the area expansion (statement). In 44EQ0MZE8G/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Beckner's entropy inequality SM7N5X3KA2
| URI | m2://inv/SM7N5X3KA2 |
|---|---|
| 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.35669#QKPU, Beckner's entropy inequality (statement). In 8380G43M8E/e1, lemma A.5
History
- 2026-10-30: add by m2/v0.4.12
Theorem SM7N9HHTJH
| URI | m2://inv/SM7N9HHTJH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra extension#56N4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Solomon's knot SM7WDHK2X0
| URI | m2://inv/SM7WDHK2X0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links#0M96, Solomon's knot (definition)
History
- 2026-11-02: add by m2/dev
Formula SM7Y31Z53W
| URI | m2://inv/SM7Y31Z53W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trinomial tree#BFTK, Formula (statement)
History
- 2026-11-02: add by m2/dev
SM8B2Z3QGX SM8B2Z3QGX
| URI | m2://inv/SM8B2Z3QGX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-4 (exercise). In E59CDZA4DP, exercise, section 7.1.1
History
- 2026-11-01: add by m2/v0.6.13
Antipodal point SM8D9NFEH6
| URI | m2://inv/SM8D9NFEH6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antipodal point, Antipodal point (definition). Also Wikidata Q505356
History
- 2026-11-02: add by m2/dev
MAX-3LIN-EQN SM8P1DJSH3
| URI | m2://inv/SM8P1DJSH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MAX-3LIN-EQN, MAX-3LIN-EQN (definition). Also Wikidata Q6714599
History
- 2026-11-02: add by m2/dev
asymptote SM8T31TP8D
| URI | m2://inv/SM8T31TP8D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.2.3/asymptote, asymptote (concept). In 907G4C4EJ1, index, section 3.2.3
History
- 2026-11-01: add by m2/v0.6.13
SM8ZTS3W4J SM8ZTS3W4J
| URI | m2://inv/SM8ZTS3W4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.09678#SQ5Q (statement). In 9VG7PNZHZT/e1, proposition 6.5
History
- 2026-10-29: add by m2/v0.4.10
SM943M1J5B SM943M1J5B
| URI | m2://inv/SM943M1J5B |
|---|---|
| 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.18562#1LNS (statement). In 793KXAR957/e1, proposition 3.16
History
- 2026-10-28: add by m2/v0.4.2
List of Russian mathematicians SM94J5ZQX8
| URI | m2://inv/SM94J5ZQX8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians, List of Russian mathematicians (topic). Also Wikidata Q621883
History
- 2026-11-02: add by m2/dev
SM9638APFB SM9638APFB
| URI | m2://inv/SM9638APFB |
|---|---|
| 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#31XH (statement). In FK89DQ9J4S/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
SM98APWFTR SM98APWFTR
| URI | m2://inv/SM98APWFTR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-19 (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
SM9C4TB4GY SM9C4TB4GY
| URI | m2://inv/SM9C4TB4GY |
|---|---|
| Kind | statement |
| 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 2610.13291#9R2E (statement). In D16PSAVVWV/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
SM9CDEYTRB SM9CDEYTRB
| URI | m2://inv/SM9CDEYTRB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#DW3O (definition)
History
- 2026-11-01: add by m2/v0.6.15
Lawvere–Tierney topology SM9CRWSB3A
| URI | m2://inv/SM9CRWSB3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lawvere–Tierney topology E6H1CTT439 |
Mentions
- wikidata: Wikidata Q30704544, Lawvere–Tierney topology (unknown). Also nLab Lawvere-Tierney topology
- wikipedia: Wikipedia Lawvere–Tierney topology, Lawvere–Tierney topology (definition). Also Wikidata Q30704544
History
- 2026-10-26: add by m2/dev
SM9GDBS0C7 SM9GDBS0C7
| URI | m2://inv/SM9GDBS0C7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/subformulas.tex#prop:count-subfrms (statement). In PKGMM3P5QY, prop, section 20.2
History
- 2026-11-01: add by m2/v0.6.13
Construction SM9J0X2X79
| URI | m2://inv/SM9J0X2X79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring lemma#CDQD, Construction (definition)
History
- 2026-11-02: add by m2/dev
Context (term rewriting) SM9JPPQGMA
| URI | m2://inv/SM9JPPQGMA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Term (logic)#M8A4, Context (term rewriting) (unknown)
History
- 2026-11-02: add by m2/dev
SM9MM5Z0BG SM9MM5Z0BG
| URI | m2://inv/SM9MM5Z0BG |
|---|---|
| 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.03255#8Y4K (statement). In DCC0Y18670/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Unconditional convergence SM9PCZ0THX
| URI | m2://inv/SM9PCZ0THX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unconditional convergence, Unconditional convergence (definition). Also Wikidata Q1630320
History
- 2026-11-02: add by m2/dev
Afriat's Theorem SMA3XMFB42
| URI | m2://inv/SMA3XMFB42 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revealed preference#1BVT, Afriat's Theorem (statement)
History
- 2026-11-02: add by m2/dev
Area sandwich SMA5YXTPNG
| URI | m2://inv/SMA5YXTPNG |
|---|---|
| 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.02531#LAS9, Area sandwich (statement). In 44EQ0MZE8G/e1, lemma 9.5
History
- 2026-10-29: add by m2/v0.4.12
Directed Robinson Crusoe theorem SMA7DDEGZC
| URI | m2://inv/SMA7DDEGZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#HQYA, Directed Robinson Crusoe theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sidney Coleman SMA7MNR7BJ
| URI | m2://inv/SMA7MNR7BJ |
|---|---|
| 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 Q1357688, Sidney Coleman (unknown). Also nLab Sidney Coleman
History
- 2026-10-26: add by m2/dev
257-gon SMAHNXHWST
| URI | m2://inv/SMAHNXHWST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#LT8L, 257-gon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#0IVO, 257-gon (definition)
History
- 2026-11-02: add by m2/dev
SMARM6JTV8 SMARM6JTV8
| URI | m2://inv/SMARM6JTV8 |
|---|---|
| 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.39103#N49I (statement). In VGB0N93ES8/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
Signomial SMASKG4MMG
| URI | m2://inv/SMASKG4MMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signomial, Signomial (definition). Also Wikidata Q7512994
History
- 2026-11-02: add by m2/dev
Gauss's principle of least constraint SMB4KFGY50
| URI | m2://inv/SMB4KFGY50 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#B808, Gauss's principle of least constraint (statement)
History
- 2026-11-02: add by m2/dev
Trans-Niño SMB6QMVF68
| URI | m2://inv/SMB6QMVF68 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia El Niño–Southern Oscillation#CO39, Trans-Niño (unknown)
History
- 2026-11-02: add by m2/dev
Statement of the theorem SMB87W2607
| URI | m2://inv/SMB87W2607 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaplansky's theorem on quadratic forms#CHCL, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
MAFELAP SMBA602HR7
| URI | m2://inv/SMBA602HR7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#XUXI, MAFELAP (unknown)
History
- 2026-11-02: add by m2/dev
Change of fiber SMBCDQ0FR6
| URI | m2://inv/SMBCDQ0FR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Change of fiber, Change of fiber (definition). Also Wikidata Q25100561
History
- 2026-11-02: add by m2/dev
Asymptotic dual feasibility and complementarity SMBDKEHX9F
| URI | m2://inv/SMBDKEHX9F |
|---|---|
| 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.18428#RNYV, Asymptotic dual feasibility and complementarity (statement). In 6BGSQT7SV8/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
SMBDPDH2EV SMBDPDH2EV
| URI | m2://inv/SMBDPDH2EV |
|---|---|
| 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.39706#FJV2 (statement). In 79Y8JJMKP4/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Linear equations in primes in short intervals of exponent $3/5$ SMBF80RDQQ
| URI | m2://inv/SMBF80RDQQ |
|---|---|
| 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.09567#YXTI, Linear equations in primes in short intervals of exponent $3/5$ (statement). In 7RV6BDZAFK/e1, theorem 1.8
History
- 2026-10-29: add by m2/v0.4.10
SMBHAF27DA SMBHAF27DA
| URI | m2://inv/SMBHAF27DA |
|---|---|
| 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 2610.04673#CHMG (statement). In KKC0CT44FJ/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
Local relation families SMBJ3NN9RH
| URI | m2://inv/SMBJ3NN9RH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.07293#37OP, Local relation families (statement). In V1GVYM0WQG/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.10
Snaith's theorem SMBQ9RASMC
| URI | m2://inv/SMBQ9RASMC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17103402, Snaith's theorem (statement). Also nLab Snaith theorem
- wikipedia: Wikipedia Snaith's theorem, Snaith's theorem (statement). Also Wikidata Q17103402
History
- 2026-10-26: add by m2/dev
SMBRGH5K0W SMBRGH5K0W
| URI | m2://inv/SMBRGH5K0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#6N9W (statement). In 68AE571S4P/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.10
Expectation bound with effective sample size SMBTCXG71A
| URI | m2://inv/SMBTCXG71A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07162#V456, Expectation bound with effective sample size (statement). In MQEB9ZHQAT/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
Lattice gauge theory SMC0DJVH8X
| URI | m2://inv/SMC0DJVH8X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#DSSQ, Lattice gauge theory (topic)
History
- 2026-11-02: add by m2/dev
SMC0FNVVZX SMC0FNVVZX
| URI | m2://inv/SMC0FNVVZX |
|---|---|
| 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 2609.28265#FLFH (example)
History
- 2026-11-01: add by m2/v0.6.15
inverse function SMC0YM3VDN
| URI | m2://inv/SMC0YM3VDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 47J25 |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Inverse function 0J2WAR83WP |
Mentions
- wikidata: Wikidata Q191884, inverse function (topic). Also EoM Inverse_function, MathWorld InverseFunction
- wikipedia: Wikipedia Inverse function, Inverse function (definition). Also Wikidata Q191884
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
SMC2NER7HB SMC2NER7HB
| URI | m2://inv/SMC2NER7HB |
|---|---|
| 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.29148#MPEH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quasi-optimality SMC8AG2K2T
| URI | m2://inv/SMC8AG2K2T |
|---|---|
| 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.32282#6B6Y, Quasi-optimality (statement). In MF7XEPN4GV/e1, proposition 1
History
- 2026-10-31: add by m2/v0.5.6
SMCB9XQTMN SMCB9XQTMN
| URI | m2://inv/SMCB9XQTMN |
|---|---|
| Kind | definition |
| 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#UKQV (definition). In DGE917KQSQ/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Z/z SMCDCP4NH6
| URI | m2://inv/SMCDCP4NH6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9751, Z/z (unknown). Also ProofWiki Symbols:Z
History
- 2026-10-26: add by m2/dev
Johann Heinrich Lambert SMCE6JG3P4
| URI | m2://inv/SMCE6JG3P4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#23CQ, Johann Heinrich Lambert (topic)
History
- 2026-11-02: add by m2/dev
SMCPHK3B6R SMCPHK3B6R
| URI | m2://inv/SMCPHK3B6R |
|---|---|
| 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.02158#K5DQ (statement). In PCV12VAD47/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.12
Cubic Hermite spline SMCQXWVPQQ
| URI | m2://inv/SMCQXWVPQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic Hermite spline, Cubic Hermite spline (definition). Also Wikidata Q1537263
History
- 2026-11-02: add by m2/dev
SMCT3EM0VK SMCT3EM0VK
| URI | m2://inv/SMCT3EM0VK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#TO43 (statement). In G00EYA9DXG/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
1 + 2 + 4 + 8 + ⋯ SMCXATGW1Q
| URI | m2://inv/SMCXATGW1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 + 2 + 4 + 8 + ⋯, 1 + 2 + 4 + 8 + ⋯ (definition). Also Wikidata Q151517
History
- 2026-11-02: add by m2/dev
Albert Cohen SMD1G9EB37
| URI | m2://inv/SMD1G9EB37 |
|---|---|
| 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#5F6Z, Albert Cohen (topic)
History
- 2026-11-02: add by m2/dev
Examples SMD8H9M26M
| URI | m2://inv/SMD8H9M26M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bratteli diagram#7DHT, Examples (example)
History
- 2026-11-02: add by m2/dev
Wegscheider's conditions for the generalized mass action law SMDAN94GJ4
| URI | m2://inv/SMDAN94GJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detailed balance#7J9Z, Wegscheider's conditions for the generalized mass action law (statement)
History
- 2026-11-02: add by m2/dev
Vertical tube category SMDPNJQ6YT
| URI | m2://inv/SMDPNJQ6YT |
|---|---|
| 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.08787#SYIL, Vertical tube category (definition). In CCQ5XXWYDZ/e1, definition III.1
History
- 2026-10-29: add by m2/v0.4.10
Cross-notation equivalence certificate SMDPTDX3DF
| URI | m2://inv/SMDPTDX3DF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#6R7A, Cross-notation equivalence certificate (statement)
History
- 2026-11-02: add by m2/v0.6.18
SME7SNX8SR SME7SNX8SR
| URI | m2://inv/SME7SNX8SR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#GNL5 (statement). In WJD9YPGGYH/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
SMEAE4S6V3 SMEAE4S6V3
| URI | m2://inv/SMEAE4S6V3 |
|---|---|
| Kind | definition |
| 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.20165#ABFD (definition). In QTD3BP5GA0/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.4.2
SMEASRPT6N SMEASRPT6N
| URI | m2://inv/SMEASRPT6N |
|---|---|
| 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.15352#S7W6 (statement). In R39P7AFXM8/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Chern–Weil homomorphism SMEBAYMHRN
| URI | m2://inv/SMEBAYMHRN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Chern–Weil homomorphism 82ZPRD39J7 |
Mentions
- wikidata: Wikidata Q3087844, Chern–Weil homomorphism (concept). Also nLab Chern-Weil homomorphism
- wikipedia: Wikipedia Chern–Weil homomorphism, Chern–Weil homomorphism (definition). Also Wikidata Q3087844
History
- 2026-10-26: add by m2/dev
SMEDTS27R6 SMEDTS27R6
| URI | m2://inv/SMEDTS27R6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#ZYRC (definition). In M4ZVJWM8YA/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.2
It\^o identities along the field diffusion SMETDFQ2BK
| URI | m2://inv/SMETDFQ2BK |
|---|---|
| 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.18350#7G8J, It\^o identities along the field diffusion (statement). In A20E8FZS21/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
rule of product SMEW0A1CWG
| URI | m2://inv/SMEW0A1CWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Rule of product 0VPK4X73Q0 |
Mentions
- wikidata: Wikidata Q557624, rule of product (unknown). Also MathWorld MultiplicationPrinciple
- wikipedia: Wikipedia Rule of product, Rule of product (definition). Also Wikidata Q557624
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
SMEXWNJGD3 SMEXWNJGD3
| URI | m2://inv/SMEXWNJGD3 |
|---|---|
| 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.15982#KPOT (statement). In KB50SHR229/e1, proposition A.1
History
- 2026-10-28: add by m2/v0.4.2
SMF6KXHGSB SMF6KXHGSB
| URI | m2://inv/SMF6KXHGSB |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
THEOREM SMFA4E48TP
| URI | m2://inv/SMFA4E48TP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Busemann function#8LI0, THEOREM (statement)
History
- 2026-11-02: add by m2/dev
Lasser--Obermaier 2008 SMFATCRBFP
| URI | m2://inv/SMFATCRBFP |
|---|---|
| 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 2306.16411#ISXI, Lasser--Obermaier 2008 (statement). In QQ222ZDZC0/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
SMFBQ2NJ10 SMFBQ2NJ10
| URI | m2://inv/SMFBQ2NJ10 |
|---|---|
| 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 2508.17181#D3CE (statement). In 2QR18WK8KH/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.6
Hendrik Douwe Kloosterman SMFGZZE9WF
| URI | m2://inv/SMFGZZE9WF |
|---|---|
| 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#LXO2, Hendrik Douwe Kloosterman (topic)
History
- 2026-11-02: add by m2/dev
Metric tangent cone SMFJEJH294
| URI | m2://inv/SMFJEJH294 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric tangent cone, Metric tangent cone (definition). Also Wikidata Q139892536
History
- 2026-11-02: add by m2/dev
SMFVAHEV8M SMFVAHEV8M
| URI | m2://inv/SMFVAHEV8M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.07352#JKXA (statement). In 3VPC1GGZ3E/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.3.5
AB percolation SMG0GSM5VS
| URI | m2://inv/SMG0GSM5VS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122889575, AB percolation (concept). Also MathWorld ABPercolation
History
- 2026-10-26: add by m2/dev
SMGAWZ7EQB SMGAWZ7EQB
| URI | m2://inv/SMGAWZ7EQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#2T84 (statement). In QHFP0837Q8/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.12
Applications SMGCXJ4FH5
| URI | m2://inv/SMGCXJ4FH5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jump process#NALE, Applications (example)
History
- 2026-11-02: add by m2/dev
Barycentric Interpolation SMGSAXD88W
| URI | m2://inv/SMGSAXD88W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange polynomial#O9X2, Barycentric Interpolation (unknown)
History
- 2026-11-02: add by m2/dev
SMGT7M7Q87 SMGT7M7Q87
| URI | m2://inv/SMGT7M7Q87 |
|---|---|
| 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.16680#ZJS5 (statement). In H29YHXQZV6/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
cyclic group SMGZ2R9ZTQ
| URI | m2://inv/SMGZ2R9ZTQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/cyclic-group, cyclic group (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Cayley's nodal cubic surface SMH8029NJ0
| URI | m2://inv/SMH8029NJ0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5055318, Cayley's nodal cubic surface (concept). Also MathWorld CayleyCubic
- wikipedia: Wikipedia Cayley's nodal cubic surface, Cayley's nodal cubic surface (definition). Also Wikidata Q5055318
History
- 2026-10-26: add by m2/dev
SMHGB1YXES SMHGB1YXES
| URI | m2://inv/SMHGB1YXES |
|---|---|
| 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.00625#KLI2 (statement). In BGA625B7W1/e1, theorem 3.8
History
- 2026-10-30: add by m2/v0.4.12
SMHN96EB02 SMHN96EB02
| URI | m2://inv/SMHN96EB02 |
|---|---|
| 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.18078#4MKD (statement). In YVK8EFSYNJ/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
Galois Theory for Beginners: A Historical Perspective SMHNAQ7EB4
| URI | m2://inv/SMHNAQ7EB4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 00-01, 01A05, 12-01, 12F10 |
| Sources | 1 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55921903, Galois Theory for Beginners: A Historical Perspective (topic)
History
- 2026-10-26: add by m2/dev
SMHVZAF844 SMHVZAF844
| URI | m2://inv/SMHVZAF844 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#0BDF (statement). In FCMMB2EVAP/e1, proposition 2.26
History
- 2026-10-27: add by m2/v0.4.2
SMJ1RYBAZ5 SMJ1RYBAZ5
| URI | m2://inv/SMJ1RYBAZ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20190#CSQG (definition)
History
- 2026-11-02: add by m2/v0.6.18
Whitehead manifold SMJ3XN6WEX
| URI | m2://inv/SMJ3XN6WEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#849N, Whitehead manifold (definition)
History
- 2026-11-02: add by m2/dev
hereditarily finite set SMJ88BDDH7
| URI | m2://inv/SMJ88BDDH7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5737811, hereditarily finite set (concept). Also nLab hereditarily finite set
- wikipedia: Wikipedia Hereditarily finite set, Hereditarily finite set (definition). Also Wikidata Q5737811
History
- 2026-10-26: add by m2/dev
SMJA28ZVX9 SMJA28ZVX9
| URI | m2://inv/SMJA28ZVX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36113#96YE (statement). In FSGSVD0XYH/e1, proposition 11
History
- 2026-10-30: add by m2/v0.4.12
Far-field bound SMJAHCJZXW
| URI | m2://inv/SMJAHCJZXW |
|---|---|
| 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.00339#ZBGA, Far-field bound (statement). In ZRG6NY1ECH/e1, lemma 19
History
- 2026-10-30: add by m2/v0.4.12
SMJD7X4CYB SMJD7X4CYB
| URI | m2://inv/SMJD7X4CYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#NVA7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications SMJGJFEDMY
| URI | m2://inv/SMJGJFEDMY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological K-theory#QO6V, Applications (example)
History
- 2026-11-02: add by m2/dev
SMJKX5Y0KX SMJKX5Y0KX
| URI | m2://inv/SMJKX5Y0KX |
|---|---|
| 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.10248#2JUE (statement). In TMV74X2725/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.10
Outline of calculus SMJQY50A9Z
| URI | m2://inv/SMJQY50A9Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of calculus, Outline of calculus (topic). Also Wikidata Q7112574
History
- 2026-11-02: add by m2/dev
10-simplex SMJWB7XSG6
| URI | m2://inv/SMJWB7XSG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#64K6, 10-simplex (definition)
History
- 2026-11-02: add by m2/dev
M-curve SMJXQB79G5
| URI | m2://inv/SMJXQB79G5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#ZHIV, M-curve (statement)
History
- 2026-11-02: add by m2/dev
SMK0JPPTXN SMK0JPPTXN
| URI | m2://inv/SMK0JPPTXN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#Y3AB (statement). In TZXEMCBK5V/e1, proposition 7.8
History
- 2026-10-30: add by m2/v0.4.12
SMK1JF4XS5 SMK1JF4XS5
| URI | m2://inv/SMK1JF4XS5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem of the three geodesics#1GTX (problem)
History
- 2026-11-02: add by m2/dev
Ulla Dinger SMK48BXFFB
| URI | m2://inv/SMK48BXFFB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulla Dinger, Ulla Dinger (topic). Also Wikidata Q56331609
History
- 2026-11-02: add by m2/dev
Finite-dimensional distribution SMK5V414QX
| URI | m2://inv/SMK5V414QX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#GZ10, Finite-dimensional distribution (definition)
- wikipedia: Wikipedia List of statistics articles#QS5R, Finite-dimensional distribution (definition)
History
- 2026-11-02: add by m2/dev
Kuratowski's intersection theorem SMK62STRHZ
| URI | m2://inv/SMK62STRHZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Kazimierz Kuratowski#44EH, Kuratowski's intersection theorem (statement)
History
- 2026-11-02: add by m2/dev
SMKH2ATKDH SMKH2ATKDH
| URI | m2://inv/SMKH2ATKDH |
|---|---|
| Kind | statement |
| 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#2MFL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hyeonbae Kang SMKP01N88R
| URI | m2://inv/SMKP01N88R |
|---|---|
| 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#BP3Q, Hyeonbae Kang (unknown)
History
- 2026-11-02: add by m2/dev
SMKWMT2D10 SMKWMT2D10
| URI | m2://inv/SMKWMT2D10 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-49 (exercise). In E59CDZA4DP, exercise, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
List of International Mathematical Olympiad participants SMM4V990C2
| URI | m2://inv/SMM4V990C2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Mathematical Olympiad participants, List of International Mathematical Olympiad participants (topic). Also Wikidata Q6574325
History
- 2026-11-02: add by m2/dev
Variable kernel density estimation SMM4W5QW8K
| URI | m2://inv/SMM4W5QW8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variable kernel density estimation, Variable kernel density estimation (definition). Also Wikidata Q7915722
History
- 2026-11-02: add by m2/dev
SMM6B0QJKC SMM6B0QJKC
| URI | m2://inv/SMM6B0QJKC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-177 (exercise). In VNMV985MXX, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
fundamental, group SMM6YHWR6Z
| URI | m2://inv/SMM6YHWR6Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7/fundamental-group, fundamental, group (concept). In N54F33XE07, index, section 7.7
History
- 2026-11-01: add by m2/v0.6.13
SMM8468WVQ SMM8468WVQ
| URI | m2://inv/SMM8468WVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#ET3E (statement). In Y1K8WE4MDP/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Modal formulas SMMDR7AKPQ
| URI | m2://inv/SMMDR7AKPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Löb's theorem#0QKY, Modal formulas (statement)
History
- 2026-11-02: add by m2/dev
Refinement can restore descent SMMF465HND
| URI | m2://inv/SMMF465HND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.20207#YNV1, Refinement can restore descent (statement)
History
- 2026-11-02: add by m2/v0.6.18
Morse function SMMF5Q947W
| URI | m2://inv/SMMF5Q947W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4493451, Morse function (concept). Also nLab Morse function
History
- 2026-10-26: add by m2/dev
Bicyclic semigroup SMMQVE7NYM
| URI | m2://inv/SMMQVE7NYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicyclic semigroup, Bicyclic semigroup (definition). Also Wikidata Q3022111
History
- 2026-11-02: add by m2/dev
Euler system SMMVMN02MC
| URI | m2://inv/SMMVMN02MC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#RIFW, Euler system (definition)
- wikipedia: Wikipedia List of topics named after Leonhard Euler#H5M4, Euler system (definition)
History
- 2026-11-02: add by m2/dev
SMMWCKJ78D SMMWCKJ78D
| URI | m2://inv/SMMWCKJ78D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#Z5B1 (statement). In HX63A1PH1W/e1, lemma 8.38
History
- 2026-10-28: add by m2/v0.4.3
SMMZH1B71E SMMZH1B71E
| URI | m2://inv/SMMZH1B71E |
|---|---|
| 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 2609.31604#PL0W (definition). In GSN5YTQS2K/e1, definition 2.20
History
- 2026-10-31: add by m2/v0.5.6
SMN9Q5G7ED SMN9Q5G7ED
| URI | m2://inv/SMN9Q5G7ED |
|---|---|
| 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.06707#S4VS (statement). In 9TR5E527P5/e1, theorem 5.7
History
- 2026-10-29: add by m2/v0.4.10
Sevenoaks SMNC70VNG7
| URI | m2://inv/SMNC70VNG7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#445K, Sevenoaks (unknown)
History
- 2026-11-02: add by m2/dev
Macroscopic regularity and continuity SMNNTCWVH1
| URI | m2://inv/SMNNTCWVH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20090#Y3Z4, Macroscopic regularity and continuity (statement). In 2RV3YSN1NX/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.2
SMNNXJ3TAR SMNNXJ3TAR
| URI | m2://inv/SMNNXJ3TAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16339#UF17 (statement). In ER5EH4W919/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
Ext sheaf SMNPCBYY4J
| URI | m2://inv/SMNPCBYY4J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ext functor#9XKT, Ext sheaf (unknown)
History
- 2026-11-02: add by m2/dev
SMNQ7QX7FJ SMNQ7QX7FJ
| URI | m2://inv/SMNQ7QX7FJ |
|---|---|
| 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.08658#FMPQ (statement). In 7PK5WS7246/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
SMNSG0MGKM SMNSG0MGKM
| URI | m2://inv/SMNSG0MGKM |
|---|---|
| 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.33451#75VA (statement). In HGP7BN6QFD/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Yamabe invariant SMNSW3CGFK
| URI | m2://inv/SMNSW3CGFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yamabe invariant, Yamabe invariant (definition). Also Wikidata Q8047577
History
- 2026-11-02: add by m2/dev
Flatland SMNY9SPVFZ
| URI | m2://inv/SMNY9SPVFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flatland (2007 Ehlinger film), Flatland (definition). Also Wikidata Q5457924
History
- 2026-11-02: add by m2/dev
SMP5EZZ08X SMP5EZZ08X
| URI | m2://inv/SMP5EZZ08X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28803#76VN (example)
History
- 2026-11-01: add by m2/v0.6.15
ternary relation SMP70H8M3A
| URI | m2://inv/SMP70H8M3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QTD7, ternary relation (definition)
History
- 2026-11-02: add by m2/dev
SMP8A3H00A SMP8A3H00A
| URI | m2://inv/SMP8A3H00A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#CMB4 (definition). In 5350Q52F6P/e1, definition 8.3
History
- 2026-10-28: add by m2/v0.4.2
SMPDMM9SA3 SMPDMM9SA3
| URI | m2://inv/SMPDMM9SA3 |
|---|---|
| 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.01433#IVTL (statement). In 160PQ7F1AS/e1, corollary 3.13
History
- 2026-10-29: add by m2/v0.4.12
Jack Dongarra SMPNHW5TGK
| URI | m2://inv/SMPNHW5TGK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0IXA, Jack Dongarra (unknown)
History
- 2026-11-02: add by m2/dev
lexicographic product of graphs SMPTG82K74
| URI | m2://inv/SMPTG82K74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6537715, lexicographic product of graphs (unknown). Also MathWorld GraphLexicographicProduct
- wikipedia: Wikipedia Lexicographic product of graphs, Lexicographic product of graphs (definition). Also Wikidata Q6537715
History
- 2026-10-26: add by m2/dev
Julius Shiskin SMQ18JKPQV
| URI | m2://inv/SMQ18JKPQV |
|---|---|
| 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#70NI, Julius Shiskin (unknown)
History
- 2026-11-02: add by m2/dev
Gibbs' inequality SMQ6263ADG
| URI | m2://inv/SMQ6263ADG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inequalities in information theory#QH07, Gibbs' inequality (statement)
History
- 2026-11-02: add by m2/dev
SMQAHH9AGF SMQAHH9AGF
| URI | m2://inv/SMQAHH9AGF |
|---|---|
| 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.34573#R90X (statement). In KK7EJSSPJY/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
William of Ockham SMR1Q1ZHK0
| URI | m2://inv/SMR1Q1ZHK0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#QK0O, William of Ockham (topic)
History
- 2026-11-02: add by m2/dev
Bayes criterion SMR4AD0VK1
| URI | m2://inv/SMR4AD0VK1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detection theory#XC9I, Bayes criterion (statement)
History
- 2026-11-02: add by m2/dev
SMR5N1JJ2W SMR5N1JJ2W
| URI | m2://inv/SMR5N1JJ2W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32478#K250 (definition). In 5QBSYDC2XH/e1, definition 5
History
- 2026-10-31: add by m2/v0.5.6
flatness SMR6B47775
| URI | m2://inv/SMR6B47775 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q212750, flatness (unknown). Also MathWorld Flattening
- wikipedia: Wikipedia Flattening, Flattening (definition). Also Wikidata Q212750
History
- 2026-10-26: add by m2/dev
centre SMRBAG46AQ
| URI | m2://inv/SMRBAG46AQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#7QHD, centre (definition)
History
- 2026-11-02: add by m2/dev
SMRKHPCCGQ SMRKHPCCGQ
| URI | m2://inv/SMRKHPCCGQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20805#VZUY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definitions SMRMVM47PD
| URI | m2://inv/SMRMVM47PD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological homomorphism#7UFM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Hajime Tanabe SMRWRBH0ZE
| URI | m2://inv/SMRWRBH0ZE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hajime Tanabe, Hajime Tanabe (topic). Also Wikidata Q1394797
History
- 2026-11-02: add by m2/dev
Finite posterior interfaces SMS2B30AVA
| URI | m2://inv/SMS2B30AVA |
|---|---|
| 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.16248#XMVA, Finite posterior interfaces (statement). In TP61DYMBMK/e1, proposition 13
History
- 2026-10-28: add by m2/v0.4.2
Vámos matroid SMS81DE8FD
| URI | m2://inv/SMS81DE8FD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vámos matroid, Vámos matroid (definition). Also Wikidata Q7944183
History
- 2026-11-02: add by m2/dev
Philip Rosenau SMSBAN9M0C
| URI | m2://inv/SMSBAN9M0C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philip Rosenau, Philip Rosenau (topic). Also Wikidata Q7184312
History
- 2026-11-02: add by m2/dev
Spanish Society of Statistics and Operations Research SMSJFQGF71
| URI | m2://inv/SMSJFQGF71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#3F7O, Spanish Society of Statistics and Operations Research (definition)
History
- 2026-11-02: add by m2/dev
SMSSSN6MVE SMSSSN6MVE
| URI | m2://inv/SMSSSN6MVE |
|---|---|
| Kind | definition |
| 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 2309.08900#IZ3B (definition). In 8X74NB6XBC/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.0
Denisyuk polynomials SMSV2TNN0D
| URI | m2://inv/SMSV2TNN0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denisyuk polynomials, Denisyuk polynomials (definition). Also Wikidata Q5257854
History
- 2026-11-02: add by m2/dev
Definitions SMT4535KT1
| URI | m2://inv/SMT4535KT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular function#KY7J, Definitions (definition)
History
- 2026-11-02: add by m2/dev
SMT8H5YTC5 SMT8H5YTC5
| URI | m2://inv/SMT8H5YTC5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.02061#TN14 (statement). In F5STMSPR6X/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.12
exact SMTG4TQFBY
| URI | m2://inv/SMTG4TQFBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#URQC, exact (definition)
History
- 2026-11-02: add by m2/dev
Complete elliptic integral of the third kind SMTGSE5033
| URI | m2://inv/SMTGSE5033 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic integral#6LXM, Complete elliptic integral of the third kind (unknown)
History
- 2026-11-02: add by m2/dev
SMTW6P1Y7R SMTW6P1Y7R
| URI | m2://inv/SMTW6P1Y7R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#O21Y (statement). In 4H727T2YAS/e1, lemma 9.2
History
- 2026-10-29: add by m2/v0.4.12
SMTZVT53CF SMTZVT53CF
| URI | m2://inv/SMTZVT53CF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20421#MWYF (statement). In Q4R7J8JE3F/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.2
SMV28C02NQ SMV28C02NQ
| URI | m2://inv/SMV28C02NQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21017#V6AU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statement of the conjecture SMV985XRFK
| URI | m2://inv/SMV985XRFK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas–Yau conjecture#K3VA, Statement of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
Logarithmic scale SMVFFAGP1J
| URI | m2://inv/SMVFFAGP1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic scale, Logarithmic scale (definition). Also Wikidata Q937378
History
- 2026-11-02: add by m2/dev
SMVHDRW3TE SMVHDRW3TE
| URI | m2://inv/SMVHDRW3TE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.06645#TNGT (statement). In 79H1DEK4M9/e1, theorem 7.3
History
- 2026-10-29: add by m2/v0.4.10
Franz Alt SMVKRM1SAV
| URI | m2://inv/SMVKRM1SAV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#5YOO, Franz Alt (topic)
History
- 2026-11-02: add by m2/dev
SMVQ4DV0GY SMVQ4DV0GY
| URI | m2://inv/SMVQ4DV0GY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#UXNS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Path factorizations of the Darboux product SMVSY3JXF9
| URI | m2://inv/SMVSY3JXF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#H52J, Path factorizations of the Darboux product (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cauchy--Binet formula and Cramer's rule SMVTRPN6EM
| URI | m2://inv/SMVTRPN6EM |
|---|---|
| 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.06653#C4JX, Cauchy--Binet formula and Cramer's rule (statement). In 9D2N76AJAT/e1, theorem D.4
History
- 2026-10-29: add by m2/v0.4.10
Finite unique-horn bounds SMVV42BR63
| URI | m2://inv/SMVV42BR63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#SODT, Finite unique-horn bounds (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bracket algebra SMW4783AQ7
| URI | m2://inv/SMW4783AQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bracket algebra, Bracket algebra (definition). Also Wikidata Q4953687
History
- 2026-11-02: add by m2/dev
Definition SMW9WW6TKN
| URI | m2://inv/SMW9WW6TKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar field#AFHS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples of pre-sheaves SMWCGWSVK2
| URI | m2://inv/SMWCGWSVK2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#example-1, Examples of pre-sheaves (example). In RZP28ERRZV, example, section 25.2.1
History
- 2026-11-01: add by m2/v0.6.13
SMWKX4DGJZ SMWKX4DGJZ
| URI | m2://inv/SMWKX4DGJZ |
|---|---|
| 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 2601.00910#N4SV (statement). In 8B1548XAJ4/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.6
SMWNW6R8S0 SMWNW6R8S0
| URI | m2://inv/SMWNW6R8S0 |
|---|---|
| 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 2609.31604#APAN (definition). In GSN5YTQS2K/e1, definition 2.8
History
- 2026-10-31: add by m2/v0.5.6
Runicantic snub 24-cell SMWPSW3267
| URI | m2://inv/SMWPSW3267 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated 24-cells#3C21, Runicantic snub 24-cell (unknown)
History
- 2026-11-02: add by m2/dev
SMX3ZTKG6Z SMX3ZTKG6Z
| URI | m2://inv/SMX3ZTKG6Z |
|---|---|
| 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.09565#2UO1 (statement). In 7A5YZACF1E/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
State-independent error bound SMX5180M0V
| URI | m2://inv/SMX5180M0V |
|---|---|
| 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.39992#NET2, State-independent error bound (statement). In WF64CGYVK1/e1, lemma S11
History
- 2026-10-30: add by m2/v0.4.12
SMX8ZWWCGN SMX8ZWWCGN
| URI | m2://inv/SMX8ZWWCGN |
|---|---|
| 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.29501#3J6H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mary Schaps SMXANEEM43
| URI | m2://inv/SMXANEEM43 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Schaps, Mary Schaps (topic). Also Wikidata Q7028517
History
- 2026-11-02: add by m2/dev
Tridecagon SMXCY41XHF
| URI | m2://inv/SMXCY41XHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#NXKN, Tridecagon (definition)
History
- 2026-11-02: add by m2/dev
Ronald Does SMXEVQ89M0
| URI | m2://inv/SMXEVQ89M0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronald Does, Ronald Does (topic). Also Wikidata Q17598488
History
- 2026-11-02: add by m2/dev
SMXGZ5B2JD SMXGZ5B2JD
| URI | m2://inv/SMXGZ5B2JD |
|---|---|
| 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 2608.00864#VOPE (statement). In PRF0P3D637/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.3.5
The two surviving case-(B) collisions are self-dual, hence excluded SMY4GHNM7S
| URI | m2://inv/SMY4GHNM7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#OR3R, The two surviving case-(B) collisions are self-dual, hence excluded (statement). In QPJ6FWG5HD/e1, proposition 2.39
History
- 2026-10-29: add by m2/v0.4.12
syzygetic SMY8N856JC
| URI | m2://inv/SMY8N856JC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#EBDD, syzygetic (definition)
History
- 2026-11-02: add by m2/dev
programming SMYC1CE8PH
| URI | m2://inv/SMYC1CE8PH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/programming, programming (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Frenet–Serret formulas SMYDPDZPRF
| URI | m2://inv/SMYDPDZPRF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable curve#Y9TI, Frenet–Serret formulas (statement)
History
- 2026-11-02: add by m2/dev
SMYEW9S1GQ SMYEW9S1GQ
| URI | m2://inv/SMYEW9S1GQ |
|---|---|
| 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.25823#P2BT (statement)
History
- 2026-11-01: add by m2/v0.6.15
SMYJMDXHDE SMYJMDXHDE
| URI | m2://inv/SMYJMDXHDE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00909#MR61 (example). In Z4TD36VFPW/e1, example 2.2
History
- 2026-10-29: add by m2/v0.4.12
Interior point method SMYRDSAHQX
| URI | m2://inv/SMYRDSAHQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#A9DI, Interior point method (definition)
History
- 2026-11-02: add by m2/dev
Cellular noise SMYRG2P5VR
| URI | m2://inv/SMYRG2P5VR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CYV3, Cellular noise (definition)
History
- 2026-11-02: add by m2/dev
Properties SMYSAX8QQW
| URI | m2://inv/SMYSAX8QQW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Long line (topology)#CJMN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties SMYTH96E2R
| URI | m2://inv/SMYTH96E2R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independence (probability theory)#8304, Properties (statement)
History
- 2026-11-02: add by m2/dev
Monotone step cuts SMYTNZPYBQ
| URI | m2://inv/SMYTNZPYBQ |
|---|---|
| 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.12713#E4R1, Monotone step cuts (statement). In F14A5HX20Q/e1, theorem B.7.1
History
- 2026-10-28: add by m2/v0.4.2
SMZ0DN96CV SMZ0DN96CV
| URI | m2://inv/SMZ0DN96CV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.10840#EULR (statement). In EMS1MAJZ4X/e1, proposition 7
History
- 2026-10-27: add by m2/v0.3.6
Theorem SMZA10P81Q
| URI | m2://inv/SMZA10P81Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch's theorem (complex analysis)#Z5Z3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Improved log-Lichnerowicz inequality, Klartag SMZKE049R9
| URI | m2://inv/SMZKE049R9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#SMCS, Improved log-Lichnerowicz inequality, Klartag (statement). In MZ60NP20BH/e1, theorem 5.6
History
- 2026-10-27: add by m2/v0.4.0
Properties of the cover functor SMZPT0R3YY
| URI | m2://inv/SMZPT0R3YY |
|---|---|
| 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.32733#TD3X, Properties of the cover functor (statement). In PCAS8S14J6/e1, proposition B.4
History
- 2026-10-31: add by m2/v0.5.6
SMZW4ARKRQ SMZW4ARKRQ
| URI | m2://inv/SMZW4ARKRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.10636#K21G (statement). In 9SV2RAEPXM/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.6
Brezis-Gallouet type estimate SMZZWCX1XZ
| URI | m2://inv/SMZZWCX1XZ |
|---|---|
| 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.03288#6MCS, Brezis-Gallouet type estimate (statement). In ZHP1MFSACN/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12