Inventory rows S0
The cards of the rows of the inventory whose ids start with S0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Forbidden subgraph problem S006MFBYZW
| URI | m2://inv/S006MFBYZW |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forbidden subgraph problem, Forbidden subgraph problem (problem). Also Wikidata Q5467390
History
- 2026-11-02: add by m2/dev
Fermat's theorem on sums of two squares S008XMDQKY
| URI | m2://inv/S008XMDQKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#Y8GF, Fermat's theorem on sums of two squares (statement)
History
- 2026-11-02: add by m2/dev
skeletal category S00B93577E
| URI | m2://inv/S00B93577E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.1/skeletal-category, skeletal category (concept). In N54F33XE07, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Definition S00CGV0G93
| URI | m2://inv/S00CGV0G93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necklace ring#OP2O, Definition (definition)
History
- 2026-11-02: add by m2/dev
S00GP19N16 S00GP19N16
| URI | m2://inv/S00GP19N16 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20488#BFKT (statement)
History
- 2026-11-02: add by m2/v0.6.18
S00RK4MCYR S00RK4MCYR
| URI | m2://inv/S00RK4MCYR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_polya_exercises.ptx#exercise-8 (exercise). In QKM9DD2H56, exercise, section 15
History
- 2026-11-01: add by m2/v0.6.13
Jacobi--Trudi expansion S00S9B85VB
| URI | m2://inv/S00S9B85VB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21645#HJWZ, Jacobi--Trudi expansion (statement)
History
- 2026-11-02: add by m2/v0.6.18
Computational mathematics S00W7Y7C35
| URI | m2://inv/S00W7Y7C35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#WFS4, Computational mathematics (definition)
History
- 2026-11-02: add by m2/dev
Carathéodory conjecture S00ZQXT3QV
| URI | m2://inv/S00ZQXT3QV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#73SH, Carathéodory conjecture (statement)
History
- 2026-11-02: add by m2/dev
Utts, Jessica S014AQ6TWX
| URI | m2://inv/S014AQ6TWX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#WZ74, Utts, Jessica (topic)
History
- 2026-11-02: add by m2/dev
Alternative form of the inequality S01EA3SK1Y
| URI | m2://inv/S01EA3SK1Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy power inequality#999H, Alternative form of the inequality (statement)
History
- 2026-11-02: add by m2/dev
Continued fraction factorization S01EAGQ2WF
| URI | m2://inv/S01EAGQ2WF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continued fraction factorization, Continued fraction factorization (definition). Also Wikidata Q1739928
History
- 2026-11-02: add by m2/dev
Local stabilizer basis change over $\mathbb{Z}_N$ S01EKZH8CM
| URI | m2://inv/S01EKZH8CM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02097#8B7H, Local stabilizer basis change over $\mathbb{Z}_N$ (statement). In DQSRCCAG6G/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
S01F2AY1DP S01F2AY1DP
| URI | m2://inv/S01F2AY1DP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05868#K3BP (statement). In WXD0FASTA7/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
S01SRWNZX0 S01SRWNZX0
| URI | m2://inv/S01SRWNZX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#JDDM (statement). In 9JHMTYGWFQ/e1, proposition 9.1
History
- 2026-10-27: add by m2/v0.3.6
S023V6Z06Y S023V6Z06Y
| URI | m2://inv/S023V6Z06Y |
|---|---|
| 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.05312#ZAQ4 (statement). In 1CMMK399WQ/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.10
Bayesian tool for methylation analysis S0248DJ4TA
| URI | m2://inv/S0248DJ4TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian tool for methylation analysis, Bayesian tool for methylation analysis (definition). Also Wikidata Q4874479
History
- 2026-11-02: add by m2/dev
Degenerate Boolean algebra S02FWYJFCQ
| URI | m2://inv/S02FWYJFCQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebra (structure)#AECM, Degenerate Boolean algebra (unknown)
History
- 2026-11-02: add by m2/dev
S02GR3Q9RW S02GR3Q9RW
| URI | m2://inv/S02GR3Q9RW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#SG7Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
The $D_4$ tangent section S02PDHCXMA
| URI | m2://inv/S02PDHCXMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.37615#9M4I, The $D_4$ tangent section (statement). In T2B54J7121/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Imaginary element S02PN2R1N9
| URI | m2://inv/S02PN2R1N9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imaginary element, Imaginary element (definition). Also Wikidata Q6002514
History
- 2026-11-02: add by m2/dev
S038V1VHKR S038V1VHKR
| URI | m2://inv/S038V1VHKR |
|---|---|
| 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.12912#MI2G (definition). In PDKBKKJ4BV/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
S03BZQDZM4 S03BZQDZM4
| URI | m2://inv/S03BZQDZM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06488#9J7E (statement). In XG3BJ2QXXP/e1, theorem 3.7
History
- 2026-10-29: add by m2/v0.4.10
Newton's method S03D6RG0DV
| URI | m2://inv/S03D6RG0DV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Newton's method 07EXVNF9VP |
Mentions
- wikidata: Wikidata Q374195, Newton's method (unknown). Also MathWorld NewtonsMethod, nLab Newton's method
- wikipedia: Wikipedia Newton's method, Newton's method (definition). Also Wikidata Q374195
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Slack is Nonnegative S03DZR4E7Z
| URI | m2://inv/S03DZR4E7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03769#DT9M, Slack is Nonnegative (statement). In 35DNCV14M4/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
Compton scattering S03K22Q6C1
| URI | m2://inv/S03K22Q6C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compton scattering, Compton scattering (definition). Also Wikidata Q25424022
History
- 2026-11-02: add by m2/dev
Cezary Kaliszyk S03KXC7NQV
| URI | m2://inv/S03KXC7NQV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cezary Kaliszyk, Cezary Kaliszyk (topic). Also Wikidata Q57556762
History
- 2026-11-02: add by m2/dev
S03PMYQDBR S03PMYQDBR
| URI | m2://inv/S03PMYQDBR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 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 2606.21391#JXM3 (definition). In J9C7YMKJ33/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Exactness and positivity S03SYH4XHR
| URI | m2://inv/S03SYH4XHR |
|---|---|
| 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.15421#HFVD, Exactness and positivity (statement). In 3RBKH0DA74/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Zero-entropy facet S03V08N3XV
| URI | m2://inv/S03V08N3XV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#TTL7, Zero-entropy facet (statement)
History
- 2026-11-01: add by m2/v0.6.15
locus S041Q5KR1F
| URI | m2://inv/S041Q5KR1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q211548, locus (unknown). Also MathWorld Locus
- wikipedia: Wikipedia Locus (mathematics), Locus (definition). Also Wikidata Q211548
History
- 2026-10-26: add by m2/dev
S044AG3E33 S044AG3E33
| URI | m2://inv/S044AG3E33 |
|---|---|
| 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.19694#YU1B (statement). In EP0M4RSZ9P/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
S045D8CGWX S045D8CGWX
| URI | m2://inv/S045D8CGWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06529#P75G (statement). In JFQY4CYHKP/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
Direct product S046C09EZ8
| URI | m2://inv/S046C09EZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#7SUF, Direct product (definition)
History
- 2026-11-02: add by m2/dev
S0472ECM6M S0472ECM6M
| URI | m2://inv/S0472ECM6M |
|---|---|
| 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.21043#5Y6G (statement)
History
- 2026-11-02: add by m2/v0.6.18
Representation theory of diffeomorphism groups S049QRHSZT
| URI | m2://inv/S049QRHSZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#3LDI, Representation theory of diffeomorphism groups (definition)
History
- 2026-11-02: add by m2/dev
S04CM8K9DY S04CM8K9DY
| URI | m2://inv/S04CM8K9DY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop-3 (statement). In E59CDZA4DP, prop, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
complexification of a real hypersurface S04EJFT87R
| URI | m2://inv/S04EJFT87R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/3.2/complexification-of-a-real-hypersurface, complexification of a real hypersurface (concept). In VNMV985MXX, index, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
S04NVKB0Q1 S04NVKB0Q1
| URI | m2://inv/S04NVKB0Q1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40028#3W3X (statement). In N8TDKGGC7S/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
S04P96KGX5 S04P96KGX5
| URI | m2://inv/S04P96KGX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13707#TGZ1 (statement). In 3564GWRNSF/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
measuring S04PMEFVRE
| URI | m2://inv/S04PMEFVRE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#XGQ1, measuring (definition). In 9ZSNSJRJ5N/e1, definition 14
History
- 2026-10-27: add by m2/v0.4.2
Catherine Meusburger S04T57R73W
| URI | m2://inv/S04T57R73W |
|---|---|
| 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 Q1051008, Catherine Meusburger (unknown). Also nLab Catherine Meusburger
History
- 2026-10-26: add by m2/dev
S04V664XS0 S04V664XS0
| URI | m2://inv/S04V664XS0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:unitary (definition). In N54F33XE07, defn, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Challenging S04VHDV4AB
| URI | m2://inv/S04VHDV4AB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-25, Challenging (exercise). In E59CDZA4DP, exercise, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
S0500Y8H04 S0500Y8H04
| URI | m2://inv/S0500Y8H04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.15424#NZK7 (statement). In NXYZ1EAWKN/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Cartesian oval S0546EK5EX
| URI | m2://inv/S0546EK5EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#5NEA, Cartesian oval (definition)
History
- 2026-11-02: add by m2/dev
The records determine the actual step S054JKGZ9N
| URI | m2://inv/S054JKGZ9N |
|---|---|
| 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.31336#XPAT, The records determine the actual step (statement). In 70RV7J456D/e1, lemma 17
History
- 2026-10-31: add by m2/v0.5.6
Homogeneous coordinate ring S060N5P9HR
| URI | m2://inv/S060N5P9HR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous coordinate ring, Homogeneous coordinate ring (definition). Also Wikidata Q5891327
History
- 2026-11-02: add by m2/dev
S0645231YD S0645231YD
| URI | m2://inv/S0645231YD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01467#FEQI (statement). In 10GZB25WAC/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
S0669V5J66 S0669V5J66
| URI | m2://inv/S0669V5J66 |
|---|---|
| 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.11047#P6DX (statement). In MNQAZ70XTH/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.3
Lucas's formula S06AMCF9PE
| URI | m2://inv/S06AMCF9PE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotomic polynomial#LNOV, Lucas's formula (statement)
History
- 2026-11-02: add by m2/dev
S06K5VT80C S06K5VT80C
| URI | m2://inv/S06K5VT80C |
|---|---|
| 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.38069#RKII (statement). In K0E0H4RV6Y/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
David E. Barrett S06M4R7QEC
| URI | m2://inv/S06M4R7QEC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David E. Barrett, David E. Barrett (topic). Also Wikidata Q21004981
History
- 2026-11-02: add by m2/dev
Golden–Thompson inequality S06N2Z11F8
| URI | m2://inv/S06N2Z11F8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace inequality#CNZD, Golden–Thompson inequality (statement)
History
- 2026-11-02: add by m2/dev
S06RXDDNSZ S06RXDDNSZ
| URI | m2://inv/S06RXDDNSZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#MJ7C (definition). In 7V2PVZS04C/e1, definition 4.7
History
- 2026-10-31: add by m2/v0.5.6
S06V5HY40A S06V5HY40A
| URI | m2://inv/S06V5HY40A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#NZMY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bessel function S06VPKS5TS
| URI | m2://inv/S06VPKS5TS |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 33C10 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q219637, Bessel function (topic). Also MathWorld BesselFunction, nLab Bessel function
- wikipedia: Wikipedia Bessel function, Bessel function (definition). Also Wikidata Q219637
History
- 2026-10-26: add by m2/dev
Martin Davis S070C2PBWM
| URI | m2://inv/S070C2PBWM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7X4X, Martin Davis (topic)
History
- 2026-11-02: add by m2/dev
Torsten Ekedahl S0792NVZ07
| URI | m2://inv/S0792NVZ07 |
|---|---|
| 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 Q5629601, Torsten Ekedahl (unknown). Also nLab Torsten Ekedahl
History
- 2026-10-26: add by m2/dev
Kosters--Zhu S07A9SNTWC
| URI | m2://inv/S07A9SNTWC |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#XCOA, Kosters--Zhu (problem). In 8BNPFYQDQX/e1, problem 1.5
History
- 2026-10-29: add by m2/v0.4.10
S07FNRYMV5 S07FNRYMV5
| URI | m2://inv/S07FNRYMV5 |
|---|---|
| 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#WXXK (statement). In KB50SHR229/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
O'Nan–Scott theorem S07QQGYVDQ
| URI | m2://inv/S07QQGYVDQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#WLJ1, O'Nan–Scott theorem (statement)
History
- 2026-11-02: add by m2/dev
Index calculus algorithm S07R3HAVC9
| URI | m2://inv/S07R3HAVC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index calculus algorithm, Index calculus algorithm (definition). Also Wikidata Q657705
History
- 2026-11-02: add by m2/dev
Wilks' lambda distribution S07VQ0KS5B
| URI | m2://inv/S07VQ0KS5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JR86, Wilks' lambda distribution (definition)
History
- 2026-11-02: add by m2/dev
S07XM6BRNT S07XM6BRNT
| URI | m2://inv/S07XM6BRNT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/reduction.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 83.13
History
- 2026-11-01: add by m2/v0.6.13
Sheffer stroke S086GY5G8E
| URI | m2://inv/S086GY5G8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LLLQ, Sheffer stroke (definition)
History
- 2026-11-02: add by m2/dev
Exact chained-word threshold and monotone-path structure S088Y0Q6CB
| URI | m2://inv/S088Y0Q6CB |
|---|---|
| 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#CS5N, Exact chained-word threshold and monotone-path structure (statement). In XA2NE2Z06S/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Knuth–Bendix completion algorithm S08GEE803D
| URI | m2://inv/S08GEE803D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2835803, Knuth–Bendix completion algorithm (unknown). Also MathWorld Knuth-BendixCompletionAlgorithm
- wikipedia: Wikipedia Knuth–Bendix completion algorithm, Knuth–Bendix completion algorithm (definition). Also Wikidata Q2835803
History
- 2026-10-26: add by m2/dev
definite description S08JM76X82
| URI | m2://inv/S08JM76X82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#V32V, definite description (definition)
History
- 2026-11-02: add by m2/dev
S08P1YSN8F S08P1YSN8F
| URI | m2://inv/S08P1YSN8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01653#XQX1 (statement). In WZMHJCQPB2/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
Representation S08XETKNSV
| URI | m2://inv/S08XETKNSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular icosahedron#SRM5, Representation (definition)
History
- 2026-11-02: add by m2/dev
Lang-Schlichenmaier , Lemma 2.1 S08ZA80VCF
| URI | m2://inv/S08ZA80VCF |
|---|---|
| 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#K7VR, Lang-Schlichenmaier , Lemma 2.1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Philosophia Mathematica S09AZRKSC2
| URI | m2://inv/S09AZRKSC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#V067, Philosophia Mathematica (definition)
History
- 2026-11-02: add by m2/dev
Kolmogorov's inequality S09C34ZMDR
| URI | m2://inv/S09C34ZMDR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KG4Z, Kolmogorov's inequality (statement)
- wikipedia: Wikipedia List of probability topics#3YXP, Kolmogorov's inequality (statement)
- wikipedia: Wikipedia List of inequalities#77YM, Kolmogorov's inequality (statement)
History
- 2026-11-02: add by m2/dev
Ibn al-Sarraj S09FN73HZ4
| URI | m2://inv/S09FN73HZ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Astrolabe#XZWA, Ibn al-Sarraj (unknown)
History
- 2026-11-02: add by m2/dev
Behrend sequence S09GSXE7MF
| URI | m2://inv/S09GSXE7MF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behrend sequence, Behrend sequence (object). Also Wikidata Q65120949
History
- 2026-11-02: add by m2/dev
S09GTZZKPR S09GTZZKPR
| URI | m2://inv/S09GTZZKPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24185#93MK (statement)
History
- 2026-11-01: add by m2/v0.6.15
S09JHW8PRK S09JHW8PRK
| URI | m2://inv/S09JHW8PRK |
|---|---|
| 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.38659#Q0BK (statement). In DCJ23ZYXGK/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
S09PBW5HYV S09PBW5HYV
| URI | m2://inv/S09PBW5HYV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35682#E5PX (definition). In 7XM8WXVBWK/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
S09VFV4SQQ S09VFV4SQQ
| URI | m2://inv/S09VFV4SQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24860#ROCF (statement)
History
- 2026-11-01: add by m2/v0.6.15
S09XTW7Y7K S09XTW7Y7K
| URI | m2://inv/S09XTW7Y7K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-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.10925#51NF (definition). In 9604WYX0BW/e1, definition 6.5
History
- 2026-10-28: add by m2/v0.4.3
Root mean square fluctuation S09ZE264VQ
| URI | m2://inv/S09ZE264VQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D2AN, Root mean square fluctuation (definition)
History
- 2026-11-02: add by m2/dev
Lower bound on query-rank exponent S0A2KT71H4
| URI | m2://inv/S0A2KT71H4 |
|---|---|
| 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.29688#BZOR, Lower bound on query-rank exponent (statement)
History
- 2026-11-01: add by m2/v0.6.15
Complexification of an invariant rotation torus S0AA5WQEZD
| URI | m2://inv/S0AA5WQEZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38013#JV4L, Complexification of an invariant rotation torus (statement). In DQ6P0P6N78/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
S0AAT1TS27 S0AAT1TS27
| URI | m2://inv/S0AAT1TS27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2503.12486#DJRL (statement). In 3343AEAXB3/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
converges, function in a metric space S0ABD7CMBB
| URI | m2://inv/S0ABD7CMBB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.5.5/converges-function-in-a-metric-space, converges, function in a metric space (concept). In E59CDZA4DP, index, section 4.5.5
History
- 2026-11-01: add by m2/v0.6.13
Crocodile dilemma S0AGN40AJB
| URI | m2://inv/S0AGN40AJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#ABE1, Crocodile dilemma (unknown)
History
- 2026-11-02: add by m2/dev
S0AM45PGFX S0AM45PGFX
| URI | m2://inv/S0AM45PGFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#VTJ2 (statement). In VG8AF124T3/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Stable twisting S0AYPKT3AF
| URI | m2://inv/S0AYPKT3AF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#G76J, Stable twisting (statement). In 7NS75J7HAM/e1, lemma 4.6
History
- 2026-10-31: add by m2/v0.5.6
S0B03G402N S0B03G402N
| URI | m2://inv/S0B03G402N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#U0RP (definition)
History
- 2026-11-01: add by m2/v0.6.15
S0B58TEVKA S0B58TEVKA
| URI | m2://inv/S0B58TEVKA |
|---|---|
| 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.23779#NCTH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Bottle Imp paradox S0BCTH76FK
| URI | m2://inv/S0BCTH76FK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#XV6A, Bottle Imp paradox (unknown)
History
- 2026-11-02: add by m2/dev
S0BEB782T5 S0BEB782T5
| URI | m2://inv/S0BEB782T5 |
|---|---|
| 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.08288#QYVR (statement). In CHVWYJM7RM/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.10
Stephen A. Fulling S0BFTEYJGN
| URI | m2://inv/S0BFTEYJGN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6ZI2, Stephen A. Fulling (topic)
History
- 2026-11-02: add by m2/dev
Bernoulli family S0BHC58G6X
| URI | m2://inv/S0BHC58G6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli family, Bernoulli family (definition). Also Wikidata Q826719
History
- 2026-11-02: add by m2/dev
Definitions S0BHQS4W7C
| URI | m2://inv/S0BHQS4W7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter element#RG3I, Definitions (definition)
History
- 2026-11-02: add by m2/dev
S0BN5GB61A S0BN5GB61A
| URI | m2://inv/S0BN5GB61A |
|---|---|
| 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.33578#8H2U (statement). In 3XTDDKY6YE/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Sexy prime conjecture S0BNKKMT5V
| URI | m2://inv/S0BNKKMT5V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sexy primes#GV64, Sexy prime conjecture (statement)
History
- 2026-11-02: add by m2/dev
Local Langlands conjectures S0BQA6B9MY
| URI | m2://inv/S0BQA6B9MY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langlands program#31GQ, Local Langlands conjectures (statement)
History
- 2026-11-02: add by m2/dev
S0BR12FFGD S0BR12FFGD
| URI | m2://inv/S0BR12FFGD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#example-10 (example). In RZP28ERRZV, example, section 28.5
History
- 2026-11-01: add by m2/v0.6.13
S0C3QX1NSW S0C3QX1NSW
| URI | m2://inv/S0C3QX1NSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04993#BF7Z (statement). In JQBWZPXKAV/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
Borel suffices, and $\Theta$ is an isomorphism S0C4YF8R0X
| URI | m2://inv/S0C4YF8R0X |
|---|---|
| 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.26270#9415, Borel suffices, and $\Theta$ is an isomorphism (statement)
History
- 2026-11-01: add by m2/v0.6.15
Turing pattern S0C5YX3D11
| URI | m2://inv/S0C5YX3D11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turing pattern, Turing pattern (definition). Also Wikidata Q56273850
History
- 2026-11-02: add by m2/dev
Peng Shige S0C7E15GR6
| URI | m2://inv/S0C7E15GR6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peng Shige, Peng Shige (topic). Also Wikidata Q573812
History
- 2026-11-02: add by m2/dev
Bernstein S0CB30T4M2
| URI | m2://inv/S0CB30T4M2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15432#XRCA, Bernstein (statement). In D1DFM4WYEW/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
S0CBV65G4B S0CBV65G4B
| URI | m2://inv/S0CBV65G4B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06310#QO5E (definition). In WR5S1V9V8J/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
A norm inequality S0CD7EGEX2
| URI | m2://inv/S0CD7EGEX2 |
|---|---|
| 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#I57L, A norm inequality (statement). In 9D2N76AJAT/e1, lemma D.7
History
- 2026-10-29: add by m2/v0.4.10
Key stretching S0CFSRF4XY
| URI | m2://inv/S0CFSRF4XY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key stretching, Key stretching (definition). Also Wikidata Q6398189
History
- 2026-11-02: add by m2/dev
S0CGDPBW3X S0CGDPBW3X
| URI | m2://inv/S0CGDPBW3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#BL0X (statement). In 47WN78VDDF/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
S0CH5KVNT6 S0CH5KVNT6
| URI | m2://inv/S0CH5KVNT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.03746#QJ6R (statement). In 4E1D0NS89S/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
S0CKRZQPTR S0CKRZQPTR
| URI | m2://inv/S0CKRZQPTR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#PFUY (definition). In 3KTZ6Z615H/e1, definition 4.6
History
- 2026-10-30: add by m2/v0.4.12
Quotient MDP S0CN1C8YPQ
| URI | m2://inv/S0CN1C8YPQ |
|---|---|
| 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.36421#R16X, Quotient MDP (statement). In E0ZRSZ0YHT/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
S0CT37YBNV S0CT37YBNV
| URI | m2://inv/S0CT37YBNV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ex:reals-into-surreals (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Analytic Fredholm theorem S0CTGZFHJ7
| URI | m2://inv/S0CTGZFHJ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OC21, Analytic Fredholm theorem (statement)
History
- 2026-11-02: add by m2/dev
Karl Marx S0CV095213
| URI | m2://inv/S0CV095213 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#BMGE, Karl Marx (unknown)
History
- 2026-11-02: add by m2/dev
Germinal Pierre Dandelin S0CWTAAVQW
| URI | m2://inv/S0CWTAAVQW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q983354, Germinal Pierre Dandelin (unknown). Also ProofWiki Mathematician:Germinal_Pierre_Dandelin
- wikipedia: Wikipedia Germinal Pierre Dandelin, Germinal Pierre Dandelin (topic). Also Wikidata Q983354
History
- 2026-10-26: add by m2/dev
Examples S0CYHXD968
| URI | m2://inv/S0CYHXD968 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variety (universal algebra)#C3DO, Examples (example)
History
- 2026-11-02: add by m2/dev
S0D0EWZEJ9 S0D0EWZEJ9
| URI | m2://inv/S0D0EWZEJ9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#problem-5 (exercise). In RZP28ERRZV, problem, section 101.9
History
- 2026-11-01: add by m2/v0.6.13
S0D40R63YB S0D40R63YB
| URI | m2://inv/S0D40R63YB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25190#ALKM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications S0D87EPSFB
| URI | m2://inv/S0D87EPSFB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov property#20LQ, Applications (example)
History
- 2026-11-02: add by m2/dev
harmonic analysis S0D8JR2KDX
| URI | m2://inv/S0D8JR2KDX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Harmonic analysis 7QNRC9SJVV |
Mentions
- wikidata: Wikidata Q876215, harmonic analysis (topic). Also EoM Harmonic_analysis, MathWorld HarmonicAnalysis, nLab harmonic analysis, ProofWiki Definition:Harmonic_Analysis
- wikipedia: Wikipedia Harmonic analysis, Harmonic analysis (topic). Also Wikidata Q876215
History
- 2026-10-26: add by m2/dev
McGee graph S0DC4SYDX1
| URI | m2://inv/S0DC4SYDX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q926016, McGee graph (unknown). Also House of Graphs 1223, MathWorld McGeeGraph
- wikipedia: Wikipedia McGee graph, McGee graph (definition). Also Wikidata Q926016
History
- 2026-10-26: add by m2/dev
Explicit formulas for the remainder S0DGECB83Q
| URI | m2://inv/S0DGECB83Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor's theorem#JF4F, Explicit formulas for the remainder (statement)
History
- 2026-11-02: add by m2/dev
S0DWCJF8H4 S0DWCJF8H4
| URI | m2://inv/S0DWCJF8H4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#KLJY (statement). In Q5Z178SAHP/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
S0DX2R91MY S0DX2R91MY
| URI | m2://inv/S0DX2R91MY |
|---|---|
| Kind | example |
| 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.19590#W1GI (example). In AZFARX0CXG/e1, example 1.9
History
- 2026-10-28: add by m2/v0.4.2
Indistinguishable particles S0E9KZMHSN
| URI | m2://inv/S0E9KZMHSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indistinguishable particles, Indistinguishable particles (definition). Also Wikidata Q898351
History
- 2026-11-02: add by m2/dev
S0EBBJB6JX S0EBBJB6JX
| URI | m2://inv/S0EBBJB6JX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#RYA6 (statement). In VN084GGZGK/e1, lemma 2.32
History
- 2026-10-28: add by m2/v0.4.3
isomorphic S0ECDXZ5ZB
| URI | m2://inv/S0ECDXZ5ZB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/isomorphic, isomorphic (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
S0ECM581G5 S0ECM581G5
| URI | m2://inv/S0ECM581G5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#theorem-5 (statement). In E9HS8K3A52, theorem, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Compact Lie group S0ENJRX22Y
| URI | m2://inv/S0ENJRX22Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact group#QD0N, Compact Lie group (unknown)
History
- 2026-11-02: add by m2/dev
Medication package insert S0EQHAAMWC
| URI | m2://inv/S0EQHAAMWC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#BOIM, Medication package insert (unknown)
History
- 2026-11-02: add by m2/dev
S0ER198PH5 S0ER198PH5
| URI | m2://inv/S0ER198PH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#defn-14 (definition). In E59CDZA4DP, defn, section 11.9.5
History
- 2026-11-01: add by m2/v0.6.13
S0F2ETWZC7 S0F2ETWZC7
| URI | m2://inv/S0F2ETWZC7 |
|---|---|
| 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.03327#TOZ4 (statement). In EBNXA84CPM/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
Karin Reich S0F8Q92VAW
| URI | m2://inv/S0F8Q92VAW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karin Reich, Karin Reich (topic). Also Wikidata Q90576
History
- 2026-11-02: add by m2/dev
Poulet number S0FKWDQCA7
| URI | m2://inv/S0FKWDQCA7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5484528, Poulet number (concept). Also MathWorld PouletNumber, OEIS A001567, ProofWiki Definition:Poulet_Number
History
- 2026-10-26: add by m2/dev
S0FQXQBNW2 S0FQXQBNW2
| URI | m2://inv/S0FQXQBNW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19214#G53P (statement). In WZPD7TNNY9/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Applications S0FXJWQXRM
| URI | m2://inv/S0FXJWQXRM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler angles#L82S, Applications (example)
History
- 2026-11-02: add by m2/dev
Sharp one-sided rounding bounds S0FYETSDGT
| URI | m2://inv/S0FYETSDGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19461#A030, Sharp one-sided rounding bounds (statement). In D5X5P2QD6A/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
S0FZS2S115 S0FZS2S115
| URI | m2://inv/S0FZS2S115 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12531#QL61 (statement). In D6RAQZ2DSK/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
S0G5WJ5ZYP S0G5WJ5ZYP
| URI | m2://inv/S0G5WJ5ZYP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#SA9C (definition). In BDN507RN7J/e1, definition 2.1.6
History
- 2026-10-30: add by m2/v0.4.12
Statement S0GC7XQ3QM
| URI | m2://inv/S0GC7XQ3QM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mabinogion sheep problem#9P1U, Statement (statement)
History
- 2026-11-02: add by m2/dev
Quantum geometry S0GJEGTMDB
| URI | m2://inv/S0GJEGTMDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#5T3G, Quantum geometry (definition)
History
- 2026-11-02: add by m2/dev
S0GP2CQH7R S0GP2CQH7R
| URI | m2://inv/S0GP2CQH7R |
|---|---|
| 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 2610.09300#PQY8 (definition). In JP589KS01S/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
superabundant number S0H3SWR45S
| URI | m2://inv/S0H3SWR45S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3280976, superabundant number (definition). Also MathWorld SuperabundantNumber, OEIS A004394, ProofWiki Definition:Superabundant_Number
- wikipedia: Wikipedia Superabundant number, Superabundant number (definition). Also Wikidata Q3280976
History
- 2026-10-26: add by m2/dev
vertical bundle S0H51XGER6
| URI | m2://inv/S0H51XGER6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7922821, vertical bundle (definition). Also ProofWiki Definition:Vertical_Tangent_Space
- wikipedia: Wikipedia Vertical and horizontal bundles, Vertical and horizontal bundles (definition). Also Wikidata Q7922821
History
- 2026-10-26: add by m2/dev
S0HACY9QG0 S0HACY9QG0
| URI | m2://inv/S0HACY9QG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#739Z (statement). In RTE2C0PH4S/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
S0HDHXHD0D S0HDHXHD0D
| URI | m2://inv/S0HDHXHD0D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25801#K873 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition S0HEGMJ7X0
| URI | m2://inv/S0HEGMJ7X0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computable ordinal#42OP, Definition (definition)
History
- 2026-11-02: add by m2/dev
S0HEX6Y92H S0HEX6Y92H
| URI | m2://inv/S0HEX6Y92H |
|---|---|
| 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 1709.01658#VGG9 (statement). In 90A5Q9HRQK/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
S0HM2X6XYF S0HM2X6XYF
| URI | m2://inv/S0HM2X6XYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-4.xml#definition-1 (definition). In 649HGZKE96, definition, section 1.4.1
History
- 2026-11-01: add by m2/v0.6.13
List of publications in mathematics S0HPZRNESH
| URI | m2://inv/S0HPZRNESH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#5HGW, List of publications in mathematics (topic)
History
- 2026-11-02: add by m2/dev
Extensions S0J2F5M9R0
| URI | m2://inv/S0J2F5M9R0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burnett equations#E68U, Extensions (statement)
History
- 2026-11-02: add by m2/dev
S0J818ZDQV S0J818ZDQV
| URI | m2://inv/S0J818ZDQV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#3ECX (example). In F3BKXXPR3K/e1, example B.6
History
- 2026-10-27: add by m2/v0.4.2
S0JBFGRA0M S0JBFGRA0M
| URI | m2://inv/S0JBFGRA0M |
|---|---|
| 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#YC2M (definition). In 5350Q52F6P/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
cf.\ S0JHPQYF15
| URI | m2://inv/S0JHPQYF15 |
|---|---|
| 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.20656#WKGP, cf.\ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hypothermia S0JQMH51VN
| URI | m2://inv/S0JQMH51VN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#67ZP, Hypothermia (unknown)
History
- 2026-11-02: add by m2/dev
Variational Bayesian methods S0JSK93G6X
| URI | m2://inv/S0JSK93G6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q4PJ, Variational Bayesian methods (definition)
History
- 2026-11-02: add by m2/dev
Kepler orbit S0K4XSC25A
| URI | m2://inv/S0K4XSC25A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kepler orbit, Kepler orbit (definition). Also Wikidata Q2946193
History
- 2026-11-02: add by m2/dev
S0K4ZD1448 S0K4ZD1448
| URI | m2://inv/S0K4ZD1448 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#4Y1D (statement). In VN084GGZGK/e1, proposition 3.21
History
- 2026-10-28: add by m2/v0.4.3
Corollary S0K84AFST0
| URI | m2://inv/S0K84AFST0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noether normalization lemma#ETMD, Corollary (statement)
History
- 2026-11-02: add by m2/dev
S0KCQJFYKP S0KCQJFYKP
| URI | m2://inv/S0KCQJFYKP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#21ZS (statement)
History
- 2026-11-02: add by m2/v0.6.17
S0KH1Q2DJ6 S0KH1Q2DJ6
| URI | m2://inv/S0KH1Q2DJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29023#2YBE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hypatia S0KKYGEMA2
| URI | m2://inv/S0KKYGEMA2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11903, Hypatia (unknown). Also ProofWiki Mathematician:Hypatia_of_Alexandria
- wikipedia: Wikipedia Hypatia, Hypatia (topic). Also Wikidata Q11903
History
- 2026-10-26: add by m2/dev
S0KMSA1RB5 S0KMSA1RB5
| URI | m2://inv/S0KMSA1RB5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Malfatti points S0KZ1YRMZ3
| URI | m2://inv/S0KZ1YRMZ3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3925795, Malfatti points (concept). Also MathWorld Ajima-MalfattiPoints
History
- 2026-10-26: add by m2/dev
Paula Roberson S0KZNHS9GE
| URI | m2://inv/S0KZNHS9GE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paula Roberson, Paula Roberson (topic). Also Wikidata Q59938339
History
- 2026-11-02: add by m2/dev
S0MFK0S4R6 S0MFK0S4R6
| URI | m2://inv/S0MFK0S4R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#ZVIT (statement). In DZ12XTTJSM/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Chiba prefecture S0MHZBS7SW
| URI | m2://inv/S0MHZBS7SW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KIJ7, Chiba prefecture (unknown)
History
- 2026-11-02: add by m2/dev
S0MSVSJ2ZN S0MSVSJ2ZN
| URI | m2://inv/S0MSVSJ2ZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#1EUP (statement). In 8SVVEVGMNE/e1, corollary 4.28
History
- 2026-10-27: add by m2/v0.3.5
Applications S0MYEFN6RS
| URI | m2://inv/S0MYEFN6RS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coprime integers#Z8GP, Applications (example)
History
- 2026-11-02: add by m2/dev
S0MYKYTSJE S0MYKYTSJE
| URI | m2://inv/S0MYKYTSJE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#XPW8 (example). In PF5JJ9DS8Q/e1, example 2.3.1
History
- 2026-10-28: add by m2/v0.4.2
Minimal unrestricted decompositions S0NG9BVSQP
| URI | m2://inv/S0NG9BVSQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20922#7HP3, Minimal unrestricted decompositions (statement). In BYG6MRRYA1/e1, corollary 2.4
History
- 2026-10-27: add by m2/v0.4.2
S0NGNS9RQN S0NGNS9RQN
| URI | m2://inv/S0NGNS9RQN |
|---|---|
| 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.30097#8LPI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Random geometric graph S0NGTW3HRS
| URI | m2://inv/S0NGTW3HRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random geometric graph, Random geometric graph (definition). Also Wikidata Q7291969
History
- 2026-11-02: add by m2/dev
Strong law of large numbers S0NKP51C9X
| URI | m2://inv/S0NKP51C9X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic theory (statistics)#JZLR, Strong law of large numbers (statement)
History
- 2026-11-02: add by m2/dev
Nikita A. Nekrasov S0NM1D6S0T
| URI | m2://inv/S0NM1D6S0T |
|---|---|
| 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#SQDU, Nikita A. Nekrasov (unknown)
History
- 2026-11-02: add by m2/dev
Dominance of the flat direction S0NRRJAD5W
| URI | m2://inv/S0NRRJAD5W |
|---|---|
| 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.30957#JIOM, Dominance of the flat direction (statement). In P5YB6R0RK3/e1, lemma C.4
History
- 2026-10-31: add by m2/v0.5.6
Loss and tangent Gram matrix S0NS3PQTBE
| URI | m2://inv/S0NS3PQTBE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#JWAP, Loss and tangent Gram matrix (definition). In 6FY8BVP1F3/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Mathematical constants and functions S0NT1J10AY
| URI | m2://inv/S0NT1J10AY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#Y66H, Mathematical constants and functions (topic)
History
- 2026-11-02: add by m2/dev
S0P3Z911CT S0P3Z911CT
| URI | m2://inv/S0P3Z911CT |
|---|---|
| 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 2609.35600#1ICF (statement). In ET8GYMMDQM/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
S0P6TGFDVK S0P6TGFDVK
| URI | m2://inv/S0P6TGFDVK |
|---|---|
| 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.22551#7JFM (statement)
History
- 2026-11-02: add by m2/v0.6.17
Orbit triple system S0P9257J46
| URI | m2://inv/S0P9257J46 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#L3VC, Orbit triple system (definition). In 9NVKKW8HDH/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Applications of the theorem S0PC7BFJ51
| URI | m2://inv/S0PC7BFJ51 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van Cittert–Zernike theorem#RCFC, Applications of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Proposition S0PF24DJC5
| URI | m2://inv/S0PF24DJC5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive linear operator#IQ23, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Dual dimension defect S0PJ5Q0X9Y
| URI | m2://inv/S0PJ5Q0X9Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-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.06739#WWWI, Dual dimension defect (definition). In HA9B7PD0YV/e1, definition 32
History
- 2026-10-29: add by m2/v0.4.10
S0PNNQBPC5 S0PNNQBPC5
| URI | m2://inv/S0PNNQBPC5 |
|---|---|
| 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 2212.05398#CXR1 (statement). In WQKQ8438M7/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
S0PR9NFZZ5 S0PR9NFZZ5
| URI | m2://inv/S0PR9NFZZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16514#0OMI (statement). In 7RSA1AZ4XK/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
The exact formula S0PT3Z3KPV
| URI | m2://inv/S0PT3Z3KPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev function#R9AL, The exact formula (statement)
History
- 2026-11-02: add by m2/dev
Optimization problems in economics S0PY1RRBPZ
| URI | m2://inv/S0PY1RRBPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical optimization#2PCQ, Optimization problems in economics (unknown)
History
- 2026-11-02: add by m2/dev
S0PZK22S2Q S0PZK22S2Q
| URI | m2://inv/S0PZK22S2Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#problem-7 (exercise). In P1C114YBXG, problem, section G
History
- 2026-11-01: add by m2/v0.6.13
S0Q08WZ1Q3 S0Q08WZ1Q3
| URI | m2://inv/S0Q08WZ1Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#4YKO (statement). In XYCBKM4WKY/e1, theorem 36
History
- 2026-10-27: add by m2/v0.3.5
S0Q4Y6941Z S0Q4Y6941Z
| URI | m2://inv/S0Q4Y6941Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/soundness.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 15.11
History
- 2026-11-01: add by m2/v0.6.13
S0QCEJA6QV S0QCEJA6QV
| URI | m2://inv/S0QCEJA6QV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#prop:jordanintadd (statement). In E59CDZA4DP, prop, section 5.5.2
History
- 2026-11-01: add by m2/v0.6.13
1891 United Kingdom census S0QCH8ATJM
| URI | m2://inv/S0QCH8ATJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1891 United Kingdom census, 1891 United Kingdom census (definition). Also Wikidata Q21279764
History
- 2026-11-02: add by m2/dev
Statistical model specification S0QFA1TT7X
| URI | m2://inv/S0QFA1TT7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical model specification, Statistical model specification (definition). Also Wikidata Q7575010
History
- 2026-11-02: add by m2/dev
S0QMX55SPT S0QMX55SPT
| URI | m2://inv/S0QMX55SPT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:nestedunions (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
S0QS397AZZ S0QS397AZZ
| URI | m2://inv/S0QS397AZZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.10178#TGJF (example). In 8T90H89HNB/e1, example 1.2
History
- 2026-10-27: add by m2/v0.3.5
Djairo Guedes de Figueiredo S0QWGZ5BXJ
| URI | m2://inv/S0QWGZ5BXJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Djairo Guedes de Figueiredo, Djairo Guedes de Figueiredo (topic). Also Wikidata Q16337358
History
- 2026-11-02: add by m2/dev
J. Hyam Rubinstein S0QY8VA5S9
| URI | m2://inv/S0QY8VA5S9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T5B0, J. Hyam Rubinstein (topic)
History
- 2026-11-02: add by m2/dev
Consistency of \texorpdfstring{\(\widehat\xi\)}{xi-hat S0QYX9G6A1
| URI | m2://inv/S0QYX9G6A1 |
|---|---|
| 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.08766#BQ82, Consistency of \texorpdfstring{\(\widehat\xi\)}{xi-hat (statement). In QA4JM9SHPA/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
S0R1YADVB9 S0R1YADVB9
| URI | m2://inv/S0R1YADVB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20128#O32P (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sharpened size bound S0R4DKZNWY
| URI | m2://inv/S0R4DKZNWY |
|---|---|
| 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.11007#MGS1, Sharpened size bound (statement). In MF0H78XZXC/e1, proposition A.7
History
- 2026-10-28: add by m2/v0.4.3
Linear complementarity problem S0R8CT6VGT
| URI | m2://inv/S0R8CT6VGT |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear complementarity problem, Linear complementarity problem (problem). Also Wikidata Q783105
History
- 2026-11-02: add by m2/dev
S0R8TM5WKY S0R8TM5WKY
| URI | m2://inv/S0R8TM5WKY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06529#ADC9 (definition). In JFQY4CYHKP/e1, definition 2.13
History
- 2026-10-29: add by m2/v0.4.10
S0RBN03F81 S0RBN03F81
| URI | m2://inv/S0RBN03F81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#V4KS (statement). In H3FDP8S1Z7/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
Quantum teleportation S0RCSAY8SV
| URI | m2://inv/S0RCSAY8SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum teleportation, Quantum teleportation (definition). Also Wikidata Q1135332
History
- 2026-11-02: add by m2/dev
Uniform weight bounds S0RHBFFJR5
| URI | m2://inv/S0RHBFFJR5 |
|---|---|
| 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#9A9K, Uniform weight bounds (statement). In 44EQ0MZE8G/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
S0RMXHD7ZW S0RMXHD7ZW
| URI | m2://inv/S0RMXHD7ZW |
|---|---|
| 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.05646#20EF (statement). In K7Z6TZDFYK/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Euler's first law S0RN6YN4BR
| URI | m2://inv/S0RN6YN4BR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#5Z5N, Euler's first law (statement)
History
- 2026-11-02: add by m2/dev
Projective version of the Kong--Tamo bound S0RQQ058SH
| URI | m2://inv/S0RQQ058SH |
|---|---|
| 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.33365#A1YH, Projective version of the Kong--Tamo bound (statement). In MCXCMR7V0T/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
S0RV1KFKEZ S0RV1KFKEZ
| URI | m2://inv/S0RV1KFKEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#YL5W (statement). In TB1294GY5X/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.4.2
Algebraic properties S0RVSJW4MP
| URI | m2://inv/S0RVSJW4MP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental pair of periods#W113, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Carl Feynman S0S8E7AZ1T
| URI | m2://inv/S0S8E7AZ1T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Feynman#RZUJ, Carl Feynman (unknown)
History
- 2026-11-02: add by m2/dev
Persistence of a zero S0S8VE34H0
| URI | m2://inv/S0S8VE34H0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38013#DELE, Persistence of a zero (statement). In DQ6P0P6N78/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
BRS-inequality S0SBSE2K1N
| URI | m2://inv/S0SBSE2K1N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#YAT2, BRS-inequality (statement)
History
- 2026-11-02: add by m2/dev
S0SEXESG5P S0SEXESG5P
| URI | m2://inv/S0SEXESG5P |
|---|---|
| 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.22469#H2IC (statement)
History
- 2026-11-02: add by m2/v0.6.17
S0SNKRXX62 S0SNKRXX62
| URI | m2://inv/S0SNKRXX62 |
|---|---|
| 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.36668#KN5J (statement). In RD729BY377/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
Commuting sum with kernel inclusion S0SPX7ME19
| URI | m2://inv/S0SPX7ME19 |
|---|---|
| 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.36016#QWYJ, Commuting sum with kernel inclusion (statement). In NAM9ZMPHZ9/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
S0SPYE1WC3 S0SPYE1WC3
| URI | m2://inv/S0SPYE1WC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10481#IIHW (statement). In ETV3D93XYD/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
Construction S0SQ7ZN25Z
| URI | m2://inv/S0SQ7ZN25Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyroelongated square pyramid#Y5QF, Construction (definition)
History
- 2026-11-02: add by m2/dev
S0TA834E13 S0TA834E13
| URI | m2://inv/S0TA834E13 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-34 (exercise). In VNMV985MXX, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Kim Gordon S0TAR3DB69
| URI | m2://inv/S0TAR3DB69 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#0T8R, Kim Gordon (unknown)
History
- 2026-11-02: add by m2/dev
Antinomy S0TC4Z2Y6Q
| URI | m2://inv/S0TC4Z2Y6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antinomy, Antinomy (definition). Also Wikidata Q262759
History
- 2026-11-02: add by m2/dev
S0THSHD5DA S0THSHD5DA
| URI | m2://inv/S0THSHD5DA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11056#3PI5 (definition). In 1NDB3SAG7K/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.3
S0TJKJPP50 S0TJKJPP50
| URI | m2://inv/S0TJKJPP50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24593#ITSU (statement)
History
- 2026-11-01: add by m2/v0.6.15
S0TNDWRTQK S0TNDWRTQK
| URI | m2://inv/S0TNDWRTQK |
|---|---|
| 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 1909.03896#G2CN (statement). In CX9RVPQVBM/e1, theorem 20
History
- 2026-10-27: add by m2/v0.3.5
S0TNW0WC6S S0TNW0WC6S
| URI | m2://inv/S0TNW0WC6S |
|---|---|
| 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.10330#RJMF (statement). In CDXQHNX1P8/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
Theorem of Kahn S0TRSG2PBD
| URI | m2://inv/S0TRSG2PBD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bundle theorem#YVWO, Theorem of Kahn (statement)
History
- 2026-11-02: add by m2/dev
S0TSDYCVJF S0TSDYCVJF
| URI | m2://inv/S0TSDYCVJF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/composition-representable.tex#prop:rep-composition (statement). In PKGMM3P5QY, prop, section 29.8
History
- 2026-11-01: add by m2/v0.6.13
Negation introduction S0V16FG0A5
| URI | m2://inv/S0V16FG0A5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negation introduction#9YAY, Negation introduction (statement)
History
- 2026-11-02: add by m2/dev
Riesz potentials of the spectral weights S0V8X29EP4
| URI | m2://inv/S0V8X29EP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13753#423R, Riesz potentials of the spectral weights (statement). In AHM0PBKZZN/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
W type S0VEEXDPPJ
| URI | m2://inv/S0VEEXDPPJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > Trees > W type, W type (unknown). Also Mathlib WType
History
- 2026-10-26: add by m2/dev
S0VNFXVB4W S0VNFXVB4W
| URI | m2://inv/S0VNFXVB4W |
|---|---|
| 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.14803#NJ7D (statement). In VAEVDTBD3B/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.2
Pythagorean expectation S0VPY5J7VV
| URI | m2://inv/S0VPY5J7VV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#85ZU, Pythagorean expectation (definition)
History
- 2026-11-02: add by m2/dev
Ramachandran Balasubramanian S0VRADVBW2
| URI | m2://inv/S0VRADVBW2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramachandran Balasubramanian, Ramachandran Balasubramanian (topic). Also Wikidata Q2129894
History
- 2026-11-02: add by m2/dev
Glyn Harman S0W0N7KRF5
| URI | m2://inv/S0W0N7KRF5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XAUP, Glyn Harman (unknown)
History
- 2026-11-02: add by m2/dev
Properties S0W1WF37KQ
| URI | m2://inv/S0W1WF37KQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary element#5V2F, Properties (statement)
History
- 2026-11-02: add by m2/dev
Appell series S0W32TS5S8
| URI | m2://inv/S0W32TS5S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appell series, Appell series (definition). Also Wikidata Q4780998
History
- 2026-11-02: add by m2/dev
S0W3JD8TES S0W3JD8TES
| URI | m2://inv/S0W3JD8TES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#3594 (statement). In 6M5WR7KB80/e1, proposition 3.11
History
- 2026-10-28: add by m2/v0.4.3
free algebra of a commutative ring S0WF9RXC1J
| URI | m2://inv/S0WF9RXC1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Algebras over a ring > free algebra of a commutative ring, free algebra of a commutative ring (unknown). Also Mathlib FreeAlgebra
History
- 2026-10-26: add by m2/dev
Notation S0WYN922A8
| URI | m2://inv/S0WYN922A8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negation#76HN, Notation (definition)
History
- 2026-11-02: add by m2/dev
Second proof S0WZZ8XJNP
| URI | m2://inv/S0WZZ8XJNP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-18, Second proof (proof). In N54F33XE07, proof, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
geometric Langlands correspondence S0X77Q81DV
| URI | m2://inv/S0X77Q81DV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20967904, geometric Langlands correspondence (topic). Also nLab geometric Langlands correspondence
- wikipedia: Wikipedia Geometric Langlands correspondence, Geometric Langlands correspondence (definition). Also Wikidata Q20967904
History
- 2026-10-26: add by m2/dev
Oded Goldreich S0X7YEEV09
| URI | m2://inv/S0X7YEEV09 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DFOS, Oded Goldreich (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XUSG, Oded Goldreich (unknown)
History
- 2026-11-02: add by m2/dev
Tetrakis square tiling S0X9VRXG39
| URI | m2://inv/S0X9VRXG39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrakis square tiling, Tetrakis square tiling (definition). Also Wikidata Q12070803
History
- 2026-11-02: add by m2/dev
Apeirogonal hosohedron S0XC1R40SH
| URI | m2://inv/S0XC1R40SH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#KU2N, Apeirogonal hosohedron (object)
History
- 2026-11-02: add by m2/dev
George G. Lorentz S0XDH3CCB5
| URI | m2://inv/S0XDH3CCB5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George G. Lorentz, George G. Lorentz (topic). Also Wikidata Q15438814
History
- 2026-11-02: add by m2/dev
Curvature form S0XEEKZPPK
| URI | m2://inv/S0XEEKZPPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#UCLF, Curvature form (definition)
History
- 2026-11-02: add by m2/dev
Richard Dalitz S0XQ7YCZEW
| URI | m2://inv/S0XQ7YCZEW |
|---|---|
| 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 Q354856, Richard Dalitz (unknown). Also nLab Richard Dalitz
History
- 2026-10-26: add by m2/dev
August Löwe S0XQVKW1CZ
| URI | m2://inv/S0XQVKW1CZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia August Löwe, August Löwe (topic). Also Wikidata Q99960279
History
- 2026-11-02: add by m2/dev
S0XT67YJS3 S0XT67YJS3
| URI | m2://inv/S0XT67YJS3 |
|---|---|
| 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.26401#C8YZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
S0XWN0TCVK S0XWN0TCVK
| URI | m2://inv/S0XWN0TCVK |
|---|---|
| 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.12012#63ER (statement). In 1RXGXBQAHS/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
Eaton's inequality S0XX0FGHGK
| URI | m2://inv/S0XX0FGHGK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T7T3, Eaton's inequality (statement)
History
- 2026-11-02: add by m2/dev
Liouville’s Theorem and the Construction of Transcendental Numbers S0Y41K1BM1
| URI | m2://inv/S0Y41K1BM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 18, Liouville’s Theorem and the Construction of Transcendental Numbers (statement). Also Mathlib Liouville.transcendental
History
- 2026-10-26: add by m2/dev
Link S0YATHRT85
| URI | m2://inv/S0YATHRT85 |
|---|---|
| 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 2610.00525#8HOM, Link (definition). In JN34PDDXH8/e1, definition 2.13
History
- 2026-10-30: add by m2/v0.4.12
Oscillating Points with One Move per Robot per Phase S0YHBVRBKB
| URI | m2://inv/S0YHBVRBKB |
|---|---|
| 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 2610.17677#E3RY, Oscillating Points with One Move per Robot per Phase (definition). In 5E9G06XJKC/e1, definition D.12
History
- 2026-10-28: add by m2/v0.4.2
Delaunay triangulation S0YM1C1S2F
| URI | m2://inv/S0YM1C1S2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Delaunay triangulation 259Y10BYJC |
Mentions
- wikidata: Wikidata Q192445, Delaunay triangulation (unknown). Also EoM Delaunay_triangulation, MathWorld DelaunayTriangulation
- wikipedia: Wikipedia Delaunay triangulation, Delaunay triangulation (definition). Also Wikidata Q192445
History
- 2026-10-26: add by m2/dev
Alexander Richardson S0YPR4VH0X
| URI | m2://inv/S0YPR4VH0X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Richardson (Puritan intellectual), Alexander Richardson (topic). Also Wikidata Q116548165
History
- 2026-11-02: add by m2/dev
CR Paneitz operator S0YRD32BJ7
| URI | m2://inv/S0YRD32BJ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paneitz operator#MOQE, CR Paneitz operator (unknown)
History
- 2026-11-02: add by m2/dev
S0Z4Y10AAE S0Z4Y10AAE
| URI | m2://inv/S0Z4Y10AAE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29683#WDIU (definition)
History
- 2026-11-01: add by m2/v0.6.15
non-commutative logic S0Z7KHE0KC
| URI | m2://inv/S0Z7KHE0KC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#FXRN, non-commutative logic (definition)
History
- 2026-11-02: add by m2/dev
Properties S0ZGX59EX3
| URI | m2://inv/S0ZGX59EX3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean curvature flow#ZTPR, Properties (statement)
History
- 2026-11-02: add by m2/dev
S0ZH111SSC S0ZH111SSC
| URI | m2://inv/S0ZH111SSC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/overspill.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 46.4
History
- 2026-11-01: add by m2/v0.6.13
S0ZH598RX7 S0ZH598RX7
| URI | m2://inv/S0ZH598RX7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#VZAW (example). In X3RFXWN6FW/e1, example 5.3
History
- 2026-10-27: add by m2/v0.3.6
S. Lynne Stokes S0ZK9HKDRK
| URI | m2://inv/S0ZK9HKDRK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S. Lynne Stokes, S. Lynne Stokes (topic). Also Wikidata Q42297112
History
- 2026-11-02: add by m2/dev
Sturm phase identities S0ZN8TDNE4
| URI | m2://inv/S0ZN8TDNE4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21268#V6EJ, Sturm phase identities (statement). In 9W2YX5X4AX/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
Uniform correction tail S0ZR4WJ912
| URI | m2://inv/S0ZR4WJ912 |
|---|---|
| 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.28503#NMIC, Uniform correction tail (statement)
History
- 2026-11-01: add by m2/v0.6.15
S0ZSP0DQ79 S0ZSP0DQ79
| URI | m2://inv/S0ZSP0DQ79 |
|---|---|
| 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 2510.12502#DTID (definition). In 3A4K47Y9F2/e1, definition 5.12
History
- 2026-10-27: add by m2/v0.4.0