TY - RPRT TI - The Group Law for Edwards Curves AU - Thomas Hales PY - 2016 UR - https://arxiv.org/abs/1610.05278 ID - 1610.05278 ER -