Elliptic Curves, Group Law, and Efficient Computation