Engineering↗
Atkin-Morain Elliptic Curve Primality Proving
ECPP: using complex multiplication to construct curves of known order, avoiding point counting entirely.
Tag
certificate
Every page in the KEVOS library tagged certificate. 5 pages.
Engineering↗
Primality Certificates and Independent Verification
What a primality certificate is, why verification is cheaper than production, and what a certificate does and does not guarantee.
Engineering↗
Primality Versus Factoring: Framing the Problems
Why proving compositeness is easy, proving primality is harder, and factoring is harder still — and what this asymmetry means in practice.
Engineering↗
The Goldwasser-Kilian Primality Test
Primality proving by elliptic curves with known point counts, its recursive certificate, and the point-counting bottleneck.
Engineering↗
The Pocklington-Lehmer N-1 Primality Test
Proving primality from a partial factorisation of one less than the candidate, and the certificate this produces.
Related
Other tags in the library.
mathematics 387
abstract algebra 252
Machine Design 184
business 179
project management 158
Computational Number Theory 123
algebra handbook 85
graduate mathematics 85
handbook 79
templates and examples 78
History of Engineering 77
Manufacturing 76
algebra and trigonometry 74
universal algebra 62
algebra 60
project delivery 60
principles of project management 58
advanced algebra 53
Fasteners and Joints 53
Civil Engineering 48
CAD 42
Context and scope 42
Machine Elements 40
Threading and Gaging 37
Mechanical Engineering 35
Power Transmission 34
template 34
Operational Excellence 32
example 31
project leadership 31
project teams 31
strategy 31
Business Expansion 29
Metrology 29
project management research 29
Sales & Marketing 29
personal development 27
behaviour change 26
habits 26
systems 26