Mean Value Formulas for Twisted Edwards Curves

Created November 03, 2011, Updated February 19, 2017