Unconditional Primality Certificates for the Hexagonal 3-smooth Family p = 3m(m+1) + 1: Deterministic Pocklington Witnesses and Arithmetic Filters EVRAASXEDY
| URI | m2://res/EVRAASXEDY |
|---|---|
| Kind | preprint |
| Creators | Hassane Bakkaoui |
| Date | 2026-06-17 |
| MSC | 00-XX |
| Subjects | arxiv math.GM |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-06-17 |
| Ids | arXiv 2606.18859 |
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 |
|---|---|---|---|
| $(-3)$-sieve; quadratic reciprocity | statement | theorem 3.2 | arxiv |
| Explicit factorisation | statement | lemma 2.2 | arxiv |
| Cubic character of $7$, general family | statement | proposition 4.7 | arxiv |
| Forbidden classes mod $7$ | statement | theorem 3.4 | arxiv |
| GH7MQ33547 | statement | corollary 2.4 | arxiv |
| K8GZ84A3H3 | statement | corollary 3.3 | arxiv |
| M7ERWTF704 | definition | definition 2.1 | arxiv |
| $w_2=5$; rigorous | statement | theorem 4.1 | arxiv |
| $w_3=7$; rigorous | statement | theorem 4.5 | arxiv |
| PF1EVC0BPS | statement | corollary 4.9 | arxiv |
| Cubic character of $7$ | statement | proposition 4.4 | arxiv |
| mod $6$ | statement | theorem 3.1 | arxiv |
| VASHPBH896 | statement | lemma 4.3 | arxiv |
| Pocklington--Lehmer certificate | statement | theorem 2.3 | arxiv |
Catalogue records
- arxiv: 2606.18859 (work)
- arxiv_text: 2606.18859 (work)