An elementary proof of the group law for elliptic curves (Q1676248)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An elementary proof of the group law for elliptic curves |
scientific article |
Statements
An elementary proof of the group law for elliptic curves (English)
0 references
6 November 2017
0 references
The author presents a computational (formal) proof of the existence of a group structure for an elliptic curve \(E:y^2=x^3+ax+b\) (i.e., basically, of the associativity of the group law). The various cases for the equality \(A+(B+C)=(A+B)+C\) (i.e., \(A=B\), \(A+B=C\), etc...) are treated separately and explicitly: many of them require long and hard computations which were performed using the algebraic computational system CoCoA.
0 references
elliptic curves
0 references
group structure
0 references
associativity
0 references