The Primitive Generalized Fermat Equation x^3+y^5=z^7: A computer-assisted proof FP7Z8PJ4AW
| URI | m2://res/FP7Z8PJ4AW |
|---|---|
| Kind | preprint |
| Creators | Peter Chocian |
| Date | 2026-09-22 |
| MSC | 11-XX, 14-XX |
| Subjects | arxiv math.NT, arxiv math.AG |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-09-22 |
| Ids | arXiv 2609.26996, zbl_id 903179179 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 30YFTW827X | statement | proposition 4.1 | arxiv |
| AK0H20K6WY | statement | proposition 4.2 | arxiv |
| F413RNW5CX | statement | proposition 6.2 | arxiv |
| JGGS5D5F2X | statement | theorem 1.1 | arxiv |
| Local completeness | statement | lemma D.1 | arxiv |
| ST5528FKF9 | statement | proposition 5.1 | arxiv |
| SXQEMVN7C5 | statement | lemma D.2 | arxiv |
| TJY00QWZHA | statement | proposition 3.1 | arxiv |
| rational-parameter theorem | statement | theorem 6.1 | arxiv |
| XH3S9C17DM | statement | proposition D.3 | arxiv |
Catalogue records
- arxiv: 2609.26996 (work)
- arxiv_text: 2609.26996 (work)
- zbmath_search: 903179179 (work)