An abstract model of an elliptic curve is designed as a Java-based application. In this abstract model we implement two distinct elliptic curve types: the Weierstrass curve and the twisted Edwards curve. This model will be used in the algorithm for elliptic curve construction with complex multiplication, in short the CM-method. We implement the elliptic curve primality proving algorithm (ECPP) developed by Atkin/Morain as an application of the CM-method. Instead of using pseudocode, the algorithms are represented explicitly as source code simultaneously with the underlying theory. Finally, we...
An abstract model of an elliptic curve is designed as a Java-based application. In this abstract model we implement two distinct elliptic curve types:...
